摘要： 注重实效的偏执 按合约设计 Bertrand Meyer 为 Eiffel 语言发展了按合约设计的概念，这是一种简单而强大的技术，关注用文档记载并约定软件模块的权利与责任，以确保程序正确性。通过明确前条件、后条件和类不变项等合约要素，让程序的行为更加可预测和可理解，同时迫使需求与保证的问题走到前台， 阅读全文

摘要： 一、从猫类到对象:1.创建一个对象2.实例化一个对象3.把类实例化... 上面的猫也可以是鱼、狗、人...java最大的特点就是面向对象 把猫的特性取出来-->猫类Cat：属性、行为... 自定义数据类型 二、类与对象的关系 类是抽象的，概念的，代表一类事物,比如人类,猫类.., 即它是数据类型. 阅读全文