7.1.2 C# 中的函数式数据结构

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 中的函数式数据类型。在下一节中，我们将开始继续一个更大的示例应用程序，这是这一章的核心，我们将讨论通常表示程序数据的方式。