Eiffel 引介 Part V (1)

原创 2003年03月04日 08:56:00

5 杂项议题<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />

5.1 Eiffel 中的简单型别

l         Eiffel 中的简单型别包括 CHARACTERBOOLEANINTEGERREAL 以及 DOUBLE

l         简单型别之对象的赋值以及等同性(equality)检查与照常想象到的一样,即 a := b 的结果是将 b 的值拷贝给 a,而 a = b 则在 a b 所代表的值相等的时候为真值。

l         检查不等性时,使用 a /= b

l         简单型别的对象不需要予以显式的创建。

l         简而言之,简单型别采用值语义(value semantics)。

 

5.2 Class Types

l         简单型别以外的其它型别之对象是通过 references(引用;也称 pointers,指针)来实现的。这样的对象需要被显式的创建。

l         如果 b = Void 为真,那么 b 不指代任何引用对象。如果 b /= Void 为真,那么 b 指代一个已经创建的对象。

l         于是,a := b 使得 a,b 两者指代同一个对象(即成为同一个对象的引用)。这种情况下, a = b 的结果为真。

l         同样,我们使用 a /= b 来检查不等性。

l         还有一些方法(copyis_equal)可以实现将一个被引用对象的域(field)拷贝到另一个对象对应的中,并可以检查两各对象是否包含相同的值。

l         简而言之,class types 采用引用语义(reference semantics)。

 

5.3 GENERAL 类别

l         每一个类别都默认的继承自类别 ANY,而类别 ANY 则是继承自类别 GENERAL

l         Void 这个 feature 正是身居 GENERAL 中,因此每一个类别都可以使用它。

l         类别 GENERAL 的另一个重要的 feature ioio 被声明为 STD_FILES 型别,提供对输入/输出程序(routines)的便捷访问。

l         例如, io.readint 从标准输入读取一个整数。读取的结果被放在 io.lastint中。(可注意到,能改变状态的feature与只询访状态(即不能改变状态)的feature是分离开来的。)

 

5.4 变量与对象

l         要让变量 b 指代一个对象,有两种方法:

1.       显式创建 b 对象:!!b.make

2.    用已经创建的对象对 b 赋值:!!a.make; b := a

l         类似的,要使 b 脱离(detach)对一个对象的引用,也有两种方法:

1.    显式脱离(Explicit detachment):b := Void

2.    Void 引用赋值给 ba := Void; b := a

 

Eiffel 引介 Part V (1)

5 杂项议题5.1 Eiffel 中的简单型别l         Eiffel 中的简单型别包括 CHARACTER,BOOLEAN,INTEGER,REAL 以及 DOUBLE。l       ...
  • hejishan
  • hejishan
  • 2008年04月08日 23:34
  • 123

Eiffel 引介 Part V

Eiffel IntroductionEiffel 引介 Rensselaer, 2000James C. McKim, Jr, Rensselaer at Hartford K ][ N G o...
  • hejishan
  • hejishan
  • 2008年04月08日 23:33
  • 180

Eiffel 引介 Part V

Eiffel IntroductionEiffel 引介 Rensselaer, 2000James C. McKim, Jr, Rensselaer at Hartford K ][ N G of ...
  • kingofark
  • kingofark
  • 2003年03月04日 08:56
  • 1038

Eiffel 引介 Part V (2)

5.5 常量使用如下语法形式声明常量:constant_name : CLASS_NAME is value比如:pi : DOUBLE is 3.14159base : INTEGER is 10h...
  • kingofark
  • kingofark
  • 2003年03月04日 08:56
  • 1066

Eiffel 引介 Part V (2)

5.5 常量使用如下语法形式声明常量:constant_name : CLASS_NAME is value比如:pi : DOUBLE is 3.14159base : INTEGER is 1...
  • hejishan
  • hejishan
  • 2008年04月08日 23:34
  • 214

Eiffel 引介 Part IV (1)

Eiffel IntroductionEiffel 引介 Rensselaer, 2000James C. McKim, Jr, Rensselaer at Hartford K ][ N G o...
  • hejishan
  • hejishan
  • 2008年04月08日 23:32
  • 159

Eiffel 引介 Part III

Eiffel IntroductionEiffel 引介 Rensselaer, 2000James C. McKim, Jr, Rensselaer at Hartford K ][ N G o...
  • hejishan
  • hejishan
  • 2008年04月08日 23:35
  • 152

Eiffel 引介 Part IV (1)

Eiffel IntroductionEiffel 引介 Rensselaer, 2000James C. McKim, Jr, Rensselaer at Hartford K ][ N G of ...
  • kingofark
  • kingofark
  • 2003年03月04日 08:56
  • 1098

Eiffel 引介 Part III

Eiffel IntroductionEiffel 引介 Rensselaer, 2000James C. McKim, Jr, Rensselaer at Hartford K ][ N G of ...
  • kingofark
  • kingofark
  • 2003年03月03日 18:08
  • 1099

Eiffel 引介 Part IV

Eiffel IntroductionEiffel 引介 Rensselaer, 2000James C. McKim, Jr, Rensselaer at Hartford K ][ N G of ...
  • kingofark
  • kingofark
  • 2003年03月04日 08:56
  • 1233
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:Eiffel 引介 Part V (1)
举报原因:
原因补充:

(最多只允许输入30个字)