22、Eiffel的类与对象

Eiffel的类与对象

1. 类的概念与定义

Eiffel是一种面向对象的编程语言，其中类是构建软件系统的基本模块。类描述了一组运行时对象，这些对象具有适用于它们的特征（操作）以及这些特征的形式属性。类是编译时的概念，而对象只存在于运行时。类的定义包括了类名、特征（属性和方法）以及类之间的关系（如继承）。类的设计应该独立于它们所属的系统，这样可以促进类的重用。

Eiffel类的定义如下：

class ACCOUNT
feature
    acc_balance: INTEGER
        -- 账户余额
    owner: PERSON
        -- 账户所有者
    deposit (amount: INTEGER)
        -- 存款操作
    withdraw (amount: INTEGER)
        -- 取款操作
end

在这个例子中， ACCOUNT 类有两个属性 acc_balance 和 owner ，以及两个方法 deposit 和 withdraw 。

2. 对象的创建与实例化

在Eiffel中，创建一个对象的过程称为实例化。对象是类的直接实例。要创建一个对象，可以使用 create 指令，该指令负责创建一个新的直接实例，并将其初始化为默认值。