软件构造课程--可变性

Mutability

Java语言中有immutable和mutable变量。immutable指变量创建后，不可改变，即永远表示一个定值。String类型就是一个immutable类型。在你对String进行修改时，他会创建一个新的String变量，将变量重新绑定。比如将一个String s进行+=操作，则会创建一个新的String然后将s绑定到新的String上。所以在程序中需要大量进行String的增添操作时，尽量不要使用+=，效率很低。StringBuilder就是一个mutable类型，即创建后，可以改变。StringBuilder在执行append函数时，效果和String的+=操作相同，但是不会创建新的StringBuilder类型，效率会更高。

可变变量的风险

上文提到mutable变量在增添操作时候效率更高，因为immutable变量增添时，会产生临时复制变量，大量操作时，不断的执行copy函数，肯定效率低下。但是mutable变量也有风险。

1. 在传递mutable变量时，可能对mutable变量进行改变，那如果后续程序没有考虑到这些改变，就很有可能产生bug。
2. 返回一个mutable变量，它可能是封装在程序内部的一个变量，但返回值给了用户一个在外部对它进行改变的机会，对于程序内部可能发生一些预料之外的改变。比如返回一个List，而用户在调用类时把List中元素全部删了，那在类内部再次调用时，就可能会出现bug。
   解决方式：
   强化specs，注明是否对mutable变量进行改变。
   返回一个mutable的复制
   使用等效的immutable变量
   注：final变量修饰并不能有效解决问题，final保证了地址的不变性，但是mutable类型中的变量是可能被改变的。

常用的immutable变量

BigInteger，BigDecimal
Collections.unmodifiableList
Collections.unmodifiableSet
Collections.unmodifiableMap

总结

虽然mutable变量充满风险，但是基于它的效率以及其他因素，我们会经常使用这些mutable变量，在调用、传递、返回时，需要格外注意这些mutable变量，对它进行限制，做到Safe from bugs。