7.1.2 C# 中的函数式数据结构
我们已经在 C# 中实现了几个函数式的不可变数据类型,比如 FuncList 或元组。在 C# 中,我们会通过写一类特定的方式实现。最重要的是,所有属性必须是不可变的。这可以通过使用只读字段,或者通过声明私有的 setter 属性,只在类的构造函数中设置。在清单 7.3 中,我们使用第一种方法来实现似于类清单 7.1 中的 Rect 类型的类。
Listing 7.3 Immutable Rect type (C#)
public sealed class Rect {
private readonly float left, top, width, height;
public float Left { get { return left; } }
public float Top { get { return top; } }
public float Width { get { return width; } }
public float Height { get { return height; } }
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) {
return new Rect(left, this.Top, this.Width, this.Height);
}
// TODO: WithTop, WithWidth and WithHeight
}
这个类包含的字段,在构造函数中使用只读修饰符标记进行初始化。这是在 C# 中实现真正不可变类或值的正确的方法。也可以使用 C# 3.0 的自动属性与私有的 setter。那样,你的责任是确保仅在构造函数中设置属性,它使代码稍短。
更有趣的地方是 WithLeft 方法,这可以用来创建修改后的 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# 的记录类型。我们将在第 9 章回到 .NET 中的函数式数据类型。在下一节中,我们将开始继续一个更大的示例应用程序,这是这一章的核心,我们将讨论通常表示程序数据的方式。