Eiffel与契约式设计
文章平均质量分 78
降龙
一切都会过去!
展开
-
Eiffel Introduction(一)
1. 为什么用Eiffel?1.1 为什么用Eiffel?l Eiffel是一种非常简单的语言。类似于 Pascal,但关键字比 Pascal 少,读起来好像伪码。l 我们正是想要/需要一种面向对象语言。Booch说:“Eiffel 是市面上设计得最好的面向对象语言。(Eiffel is the best designed OO language on the market.)”l 允许以一种既直接又合理的方式来对类别(classes)或模块(modules)转载 2010-10-01 13:51:00 · 899 阅读 · 0 评论 -
初探Eiffel
<br />摘要:<br /> 当前面向对象领域存在着众多的方法和语言。它们或高举统一建模方法的大旗,在软件开发的高端领域呼风唤雨;或在设计思想上独辟蹊径,拥有一大批狂热的社区信徒;或已经根深蒂固,用户群广泛,尤在吐故纳新,不断吸取众家之长。在这些方法和语言之中,由瑞士理工大学教授、计算机科学家Bertrand Meryer发明的Eiffel语言被誉为是最纯粹、理论性最强的面向对象语言,而Eiffel方法以严格而有灵活的Design By Contract™作为理论核心,提出了很多独特的基本思想和转载 2010-10-01 13:48:00 · 3658 阅读 · 1 评论 -
Eiffel Introduction(二)
4.1 Hello(示例)class HELLOcreation makefeature make is -- say hello to the significant people in the world. do io.putstring( “Hello, OOPers%N” ) endend变量io是一个引用,指向一个型别为STANDARD_FILES的对象。后面我们将看到类别HELLO如何访问这个变量。4.2 Eiffel 系统[译注3/转载 2010-10-01 13:57:00 · 612 阅读 · 0 评论 -
从Eiffel谈契约式设计
<br />注:本文转自孟岩的博客(http://blog.csdn.net/myan)<br /> <br />假设你现在正在面试,主考不紧不慢地给出下一道题目:“请用C语言写一个类似strcpy的函数。要考虑可能发生的异常情况。” 你会怎么做呢?很明显,对方不是在考察你的编程能力,因为复制字符串实在太容易了。对方是在考察你的编程风格(习惯),或者说,要看看你编码的质量。<br /> 下面是多种可能的做法:<br /> void<br /> string_copy1(ch转载 2010-10-14 22:25:00 · 972 阅读 · 0 评论