问“不变”属性是抽象定义的一部分吗？

EN

我最喜欢的抽象定义之一是罗伯特·C·马丁(RobertC.Martin)的“敏捷原则、模式和实践”一书

抽象是对不相关事物的消除，是对本质的放大。

基于这一定义，抽象可以在许多不同的层次上采取多种形式：

• 可以是一个完整的系统
• 它可以是一个子系统
• 它可以是消息格式的定义(类似于协议)。
• 它可以是一个函数(如函数式编程)。
• 它可以是一个抽象基类。
• 它可以是一个接口
• 它可以是一个具体的类
• 等。

在面向对象的软件建设中，Bertrand将类描述为抽象数据类型。本书的思想是抽象数据类型的描述包括前后条件。在埃菲尔(书中使用的语言)中，这些被称为断言，但我们也知道它们是不变量。

Meyer关于面向对象设计的观点包括不变式.在一个详细的(类/对象/函数)级别上，我同意将不变量视为描述的一种抽象方式是有意义的。

另一方面，如果抽象是对高级体系结构的描述，那么这种不变量就没有意义。尽管如此，即使在较高的水平上，定义前和后条件也是很有价值的。“系统A必须响应才能使系统B正确工作”)，因此考虑不变量与抽象有关是有意义的。