当微软携手 HP 与 Intel 于 2000 年向 ECMA 提交 C# Standard 时,人们认为这是对传统的一次冲击。那时微软开发的所有编程语言都由其自己独自掌控。虽然微软提供了文档,但一般的开发人员不可能真正深入到语言的底层,更不用说编写自己的编译器了。
标准的一个副作用就是它看起来像是一个人写的。标准通常会说编译器可以做某些事情但不强制这样去做。在概念层次上这没什么问题,但对于我们理解微软的 C#编译器实际是怎么做的来说没有任何帮助。
这就是 Jagger、Perry 及 Sestoft 编写的书所发挥作用的地方。他们采取了 C# 2.0 标准并填补了空白。这本书充满了微软是如何实现其 C#编译器的细节信息。它还包含了 Mono 的 C#编译器的信息,虽然这可能有点过时了。
这本书真正的价值在于它对边缘情况的一些讨论。例如,标准中有一章谈到了 FGAB 问题。比如 F(G<A, B>(7)) 应该被解释成 F 具有参数 G<A, B> 和 7 还是 (G<A) 和 (B>7) 呢。在 C# 2.0 中这不算什么大问题,但由于我们经常把函数传递到其他函数中,因此它现在变得越来越重要了。作者主要通过两种方式来阐述标准:澄清非常深奥的文字以及描述编译器是如何对其进行处理的(在这种情况下微软和 Mono 的编译器都无法成功地对其进行解析)。
如果对这本书有什么抱怨的话,那肯定是抱怨太枯燥、技术性太强了。虽然他们确实谈到了关于语言是如何形成的大量背景信息,但却没有采取 Framework Design Guidelines 中所用的那种浅显的话语。由 Jon Jagger、Nigel Perry 及 Peter Sestoft 所著的 Annotated C# Standard 现已出版,你还可以通过 Google Book Search 来找到它。
查看英文原文: Review: C# Annotated Standard
评论