3.2.2 用 C# 实现元组类型
System 命名空间中实际的 Tuple<T1,T2> 类型更复杂一点,但是,我们可以很容易实现在这一章中所需要的功能。我们对其命名与 .NET 类型相同,因此,如果不使用 .NET 4.0,在所有的示例中可以使用我们[这里]所实现的[元组]。清单 3.7 是完整的代码。
清单 3.7 实现清单类型 (C#)
public sealed class Tuple<T1, T2> {
privatereadonly T1 item1; | [1]
privatereadonly T2 item2; |
publicT1 Item1 { get { return item1; } }
publicT2 Item2 { get { return item2; } }
publicTuple(T1 item1, T2 item2) {
this.item1 = item1; | [2]
this.item2 = item2; |
}
}
最值得注意的是,这个类型是不可变的。我们在第一章已经看到过,如何在 C# 中创建不可变类。简单地说,用 readonly 限定符标记类型的所有字段[1],并只提供 getter 的属性。有趣的是,这与 F# 正好相反,F# 必须显式标记可变值。只读字段只能在构造函数的代码中进行设置[2],这就是说,元组一经创建,不仅存储在元组中的两个值不可变,而且元组的内部状态也不能改变。