我们曾经用 C# 实现过几个函数式不可变数据类型，比如 FuncList 或元组。在 C# 中，是通过以特殊方式写类来实现的，最重要的是，所有属性必须是不可变的，这是通过使用只读字段，或者通过声明的属性具有私有的 setter，且只在类的构造函数中设置来实现。在清单 7.3 中，我们使用第一种方法实现似于类清单 7.1 中 Rect 类型的类。
清单 7.3 不可变 Rect 类型 (C#)
public sealed class Rect {
private readonly float left, top,width, height;
public float Left { get { returnleft; } } | 返回只读属性的值
public float Top { get { return top;} } |
public float Width { get { returnwidth; } } |
public float Height { get { returnheight; } } |
public Rect(float left, float top,float width, float height) { <-- 构造矩形
this.left = left;this.top = top;
this.width = width;this.height = height;
}
public Rect WithLeft(float left){ [1]
return new Rect(left,this.Top, this.Width, this.Height); <-- 创建对象的副本
}
// TODO: WithTop, WithWidth andWithHeight
}
这个类包含的字段，在构造函数中初始化时，使用了只读修饰符进行标记。这是用 C# 实现真正不可变类或值的正确方法；在 C# 3.0中，也可以使用自动属性与私有的 setter，代码更简短，那样的话，我们的责任是确保仅在构造函数中设置属性。
WithLeft 方法[1]中更有意义的部分是，它能够用修改后的 Left 属性值创建对象的副本。我们省略掉其他属性，因为，类似的方法很容易实现；这些方法对应于我们前面看过的 F# 记录的 with 关键字。可以看到相似性：
let moved = { rc with Left = 10.0f }
var moved = rc.WithLeft(10.0f);
最重要的一点是，我们不必显式读取 Rect 类的所有属性，只要列出更改过的属性。这种语法非常优雅，即使我们想要修改属性不止一个：
var moved =rc.WithLeft(10.0f).WithTop(10.0f);
正如我们在此示例中所看到的，我们经常需要同时设置两个相关的属性。如果经常发生这种情况，更方便的方法是，添加新的方法以创建一个副本，并修改所有相关的属性。在我们的示例中，我们也可以添加方法WithPosition 和 WithSize，因为，它们表示的操作很常用；如果每次单独改变创建的对象不是正确的状态，而只有组合的操作才表示有效的状态变化，这种情况下也是必需创建的。
对于 F# 的记录类型，我们现在就需要了解这些，在第九章我们还要再讨论 .NET 中的函数式数据类型。在下一节，我们将开始讨论一个大型示例程序，这是本章的重点，会涉及表示程序数据的通常方法。