软件构造之不变量

不变量

一个好的抽象数据类型最重要的属性是它保留了它自己的不变量。对于程序的每种可能的运行状态,不变量都是程序中永远为真的属性。不变性是我们遇到的第一个至关重要的不变量:不可变对象一旦创建,在整个程序的生命周期内,他都应该保持相同的值。当抽象数据类型保留自己的不变量时,推理代码变得容易很多。如果我们可以确认字符串永远不变,那么当我们调试使用了字符串的代码时,就可以排除字符串发生改变的可能性

不变性

让我们看下边一个例子
我们应该如何保证这些Tweet对象是不可变的,即一旦创建了一个Tweet对象,其作者,消息和日期永远不会变?
对不变性的第一个威胁是客户可以直接访问类中的字段,当我们编写下边这样的代码时,我们可以直接对该对象进行修改。
这是表示外泄的一个简单例子,这意味着类外部的代码可以直接修改内部的表示。像这样的表示外泄不仅会威胁到不变量,而且对表示独立性也是一个威胁。但幸运的是,Java中提供了语言机制来处理这种表示外泄。
  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值