5.3.2.2 用 C# 模拟差别联合

5.3.2.2 用 C# 模拟差别联合

 

接下来，我们要看一下同样的功能用 C# 如何实现。我们早先已经提到所有相关的类，因此，假设它们已经实现，因此，只看使用的代码。在本章的后面，我们将讨论另一个有关可选值的示例，包括完整的 C# 实现，因此，将会看到如何写 C# 类层次结构，具有与 F# 差别联合相同的属性。

 

提示

 

如果想要查看这个示例完整的源代码，包括类声明，可以从本书的网站http://www.functional-programming.net，或出版商的网站http://www.manning.com/Real-WorldFunctionalProgramming下载。

 

在我们看清单 5.6 中 C# 版本的示例之前，有一件重要的事情需要注意。当我们已经有了表示计划实现的类层次结构（例如，在共享库中），但并不包含获取下一次发生时间的方法，我们需要在应用程序的模块中添加新的功能，因为在基类 Schedule 中添加虚方法并不方便；此外，还要保持功能放在代码中的一个地方，以及保持与这个计算相关的一切，同一个文件中的同一个地方。

 

清单 5.6 计算事件的下一次发生时间(C#)

DateTime GetNextOccurrence(Scheduleschedule) {

  switch(schedule.Tag){    [1]

  caseScheduleType.Never:

    returnDateTime.MaxValue;

  caseScheduleType.Once:

    varonce = (Once)schedule;

    returnonce.EventDate > DateTime.Now ?

     once.EventDate : DateTime.MaxValue;

  caseScheduleType.Repeatedly:

    varrp = (Repeatedly)schedule;     <-- 重复事件的访问属性

    varsecondsFromFirst = (DateTime.Now - rp.StartDate).TotalSeconds;

    doubleq = secondsFromFirst / rp.Interval.TotalSeconds;

    q= Math.Max(q, 0.0);

    returnrp.StartDate.AddSeconds

     (rp.Interval.TotalSeconds * (Math.Floor(q) + 1.0));

  default:

    thrownew InvalidOperationException();  <-- 处理不可到达的情况

  }

}

 

C# 版本中所使用的算法与 F# 版本是一样的，那么，唯一的区别是如何识别选项，以及如何读取保存在选项中的值。F# 是用模式匹配实现的；在 C# 版本中，我们使用 switch，它类似于 F# 的 match 结构。这是可能的，因为已在基类中有 Tag 属性，有一个枚举，它告诉我们对象表示什么种类的计划[1]。否则，我们必须使用if 语句对序列进行动态类型检查。另外，读取值在 F# 中自动完成的，这里就有点困难，必须强制把计划转换成具体的类，才能读取它的属性。

实际上，这一段C# 版本的代码是非常接近于F# 编译器所使用的 .NET 表示差别联合的代码。因此，前面的两个示例编译后实质上是相同的。不过，函数编程更强调这种数据类型，这就是为什么用 F# 写此代码更容易。