将值类型尽可能实现为具有常量性和原子性的类型.docVIP

将值类型尽可能实现为具有常量性和原子性的类型 具有常量性的类型很简单，它们自创建后便保持不变。如果在构造的时候就验证了参数的有效性，我们就可以确保从此之后它都处于有效的状态。因为我们不可能再更改其内部状态。通过禁止在构建对象之后更改对 象状态，我们实际上可以省却许多必要的错误检查。具有常量性的类型同时也是线程安全的：多个reader可以访问同样的内容。因为如果内部状态不可能改 变，那么不同线程也就没有机会获得同一数据的不同值。具有常量性的类型也可以安全地暴露给外界，因为调用者不可能改变对象的内部状态。具有常量性的类型在 基于散列（hash）的集合中也表现得很好，因为由Object.GetHashCode()方法返回的值必须是一个不变量（参见条款10），而具有常量 性的类型显然可以保证这一点。 然而，并非所有类型都可以为常量类型。如果那样的话，我们将需要克隆对象来改变程序的状态。这也就是为什么本条款同时针对具有常量性和原子性的值类型。我们应该将我们的类型分解为各种可以自然形成单个实 体的结构。比如，Address类型就是这样的例子。一个Address对象是由多个相关字段组成的单一实体。其中一个字段的更改可能意味着需要更改其他 字段。而Customer类型就不具有原子性。一个Customer类型可能包含许多信息：地址（address）、名称（name）以及一个或者多个电 话号码（phone number）。这些独立信息中的任何一个都可能更改。一个Customer对象可能要更改它的电话号码，但并不需要更改地址；也可能更改它的地址，而仍 然保留同样的电话号码；也可能更改它的名称，但保留同样的电话号码和地址。因此，Customer对象并不具有原子性。但它由各个不同的原子类型组成：一 个地址、一个名称或者一组电话号码/类型对[13]。具有原子性的类型都是单一的实体：我们通常会直接替换一个原子类型的整个内容。但有时候也有例外，比如更改构成它的几个字段。 下面是一个典型的可变类型Address的实现： // 可变结构Address。 public struct Address { private string _line1; private string _line2; private string _city; private string _state; private int _zipCode; // 依赖系统产生的默认构造器。 public string Line1 { get { return _line1; } set { _line1 = value; } } public string Line2 { get { return _line2; } set { _line2 = value; } } public string City { get { return _city; } set { _city= value; } } public string State { get { return _state; } set { ValidateState(value); _state = value; } } public int ZipCode { get { return _zipCode; } set { ValidateZip( value ); _zipCode = value; } } // 忽略其他细节。 } // 应用示例： Address a1 = new Address( ); a1.Line1 = 111 S. Main; a1.City = Anytown; a1.State = IL; a1.ZipCode = 61111 ; // 更改: a1.City = Ann Arbor; // ZipCode、State 现在无效。 a1.ZipCode = 48103; // State 现在仍然无效。 a1.State = MI; // 现在整个对象正常。 内部状态的改变意味着有可能违反对象的不变式 （invariant）——至少是临时性地违反。在我们将City字段更改之后，a1就处于无效的状态了。City更改后便不再与State或者 ZipCode匹配。上面的代码看起来好像没什么问题，但是假设这段代码是一个多线程程序的一部分，那么任何在City更改过程中的上下文切换都可能导致 另一个线程看到不一致的数据视图。 即使我们并不是在编写多线程应