软件抽象：逻辑、语言和分析

因此，在编写一个类时，应该仔细检查每个属性的类型（也不是说public不对，如果public的是不可变类型，那么也依旧不会导致错误，不会破坏表示独立）以及每个方法返回值的类型。R空间指的是由若干个对象（可能不止一个，通常是多个）组成的实现A空间的值的空间。②每个操作对应的是较为普遍的用法，而不是特殊情况，各个操作的应该处理相近类型的事情。表示独立意味着外部代码不依赖于其调用的类的内部实现方式，即如果外部代码调用了这个类的方法，同时类的该方法发生改变，但只要该改变仍然符合规约，那么对于外部代码调用无影响。