Eiffel 引介 Part III
Eiffel Introduction
Eiffel 引介
Rensselaer, 2000
James C. McKim, Jr, Rensselaer at Hartford
K ][ N G of @ R K 译
3 Eiffel 中的类别（class）
3.1 类别（class）
l 每一个类别单独保存在一个文件中，实现一种抽象数据型别（Abstract Data Type）。
l 一个类别的使用者（clients）需要知道该类别的公共接口（public interface），这在 Eiffel 中被称为 short form（简略形式）。
l 一个类别的公共接口（public interface）包括该类别之公共特征（public features）的语法及语义，但不包括实现细节。
3.2 类别的结构
每个 Eiffel 类别有着相同的基本结构：
class
CLASS_NAME
creation
如果需要，这里写用于创建该类别实体的创建程序。
feature
该类别所有的attributes（属性；或称variables，变量）
及routines（[译注1/OOSC2e p89]）
end
l creation 子句包含了在创建该类别实体（instance；亦称object，对象）时需要调用的routines之名称。
l feature 子句可以有多个。我们将在后文中看到这种写法。
l 每一个 feature 子句既包含 attributes 也包含 routines。这里通常就是编写大量代码的地方。
3.3 Attributes（属性）
所谓一个 attribute，就是一个变量。
x : INTEGER
s : STRING
stack : STACK[ STRING ]
l 有些语言使用术语 instance variable（实体变量）来描述 attribute。
l Eiffel中的 public attributes（公共属性）对于本对象以外而言是唯读的（read-only）。
3.4 Routines（[译注1/OOSC2e p89]）
Routines 的形式为：
routine_name is
-- 这里是局部变量的声明
do
...
...
end
l Routines 既可以是 procedures（过程，没有返回值），也可以是 functions（函数，有返回值）。
l 当然，routines 可以带参数。
3.5 Procedures（过程）及 Functions（函数）示例
push( x : G ) is -- 这是一个过程
do
-- 让x成为栈顶元素
end
top : G is -- 这是一个函数
do
-- 向该函数的调用者返回栈顶元素
end
在上面这个函数的函数体中，保留字 Result 将会接受一个值。这个值正是返回给函数调用者的返回值。
3.6 Creation Routines（创建程序）
l 通常每个 Eiffel 类别都包含一个 creation 子句。该子句列出了“可用于初始化该类别对象的 features[译注2]”之名称。
l 当该类别的使用者（client）希望创建一个类别实体时，其必须调用这些 features。
[译注2：特征，即该类别的feature子句中所列的attributes或者routines]
如果 make 是 class C 的创建程序（creation routine），那么 class C 的使用者（client）必须使用下面的语法来为变量 c:C 创建一个实体：
!!c.make
或者
create c.make
!! (create)语法只在创建新对象的时候使用。
上述代码意味着：
1. 为型别 C 的实体（对象）分配空间，并使 c 成为指向该对象的一个 reference（引用；或称 pointer，指针）。
2. 给对象中每一个 attribute（属性）赋予缺省值（各种型别的缺省值分别为：整数，0；实数，0.0；字符，Null；Boolean（布尔型别），False；其它型别，Void）。
l 可注意到，这些缺省值是语言定义的一部分，不依赖于特定的编译器。
l 当 c 所指代的对象创建完毕，class C 的 make routine 即运行完毕。
l 注意，如果 make 是一个 public feature（公共特征），那么该类别的使用者可以在任何时候调用它，而不只是在对象创建的时候。另一方面，如果 make 是 private（私有的），那么其只能在对象的创建过程中被调用。
3.7 Feature 子句
Feature 子句分为两种情况：
l 关键字 feature 本身在句法上等同于 feature{ANY}。在这样的子句中定义的 features 可以被任何其它对象访问到。这样定义的 features 是一个类别的公共特征（public features）或称导出特征（exported features）。
l 在以 feature{NONE} 为启示的字句中定义的 features 无法被其它对象访问到。这样定义的 features 是一个类别的私有特征（private features）。
3.8 Eiffel 中的类别（续）
Eiffel 是对大小写不敏感的语言，然而为了提高可读性以便于Eiffel程序员交流，应该遵循一些约定：
1. 类别的名称全部采用大写。
2. 关键字以及用户自定义的名称全部采用小写。
3. 保留字（诸如 Result、True、False、Void 等）采用这里给出的写法。
l 用下划线来分割由多个词组成的 feature 名称或者类别名称（比如类别 LINKED_LIST）。
l 这样简单的一致性约定容易实行，主要有助于阅读代码。
（待续）
