C# 语言规范--1.13 版本控制

　　版本控制是一个过程，它以兼容的方式对组件进行不断的改进。如果依赖于早期版本的代码重新编译后可以适用于新版本，则组件的新版本与早期版本源代码兼容。相反，如果依赖于早期版本的应用程序不用重新编译即可适用于新版本，则组件的新版本为二进制兼容。

　　大多数语言根本不支持二进制兼容性，而且许多语言对促进源代码兼容性所做甚少。实际上，某些语言所含的缺陷使得用它开发出来的组件在不断的改进过程中，一般至少会使依赖于该组件的某些客户端代码失效。

　　例如，请看一个发布名为 base 的类的基类作者的情况。在第一个版本中，base 不包含任何 f 方法。名为 derived 的组件从 base 派生，并引入 f。此 derived 类与它所依赖的 base 类一起发布给客户，客户又部署到众多客户端和服务器。

// author a
namespace a
{
   public class base      // version 1
   {
   }
}
// author b
namespace b
{
   class derived: a.base
   {
      public virtual void f() {
         system.console.writeline("derived.f");
      }
   }
}

　　从这时起，开始产生版本问题。base 的作者生成了一个拥有自己的 f 方法的新版本。

// author a
namespace a
{
   public class base      // version 2
   {
      public virtual void f() {      // added in version 2
         system.console.writeline("base.f");
      }
   }
}

　　这个新版本的 base 在源代码和二进制方面都应该与初始版本兼容。（如果仅添加一个新的方法就会产兼容性问题，则基类可能就永远不能改进了。）不幸的是，base 中的新 f 使 derived 的 f 的含义不清。derived 是指重写 base 的 f 吗？这看上去不太可能，因为编译 derived 时，base 还没有 f！此外，如果 derived 的 f 的确是重写了 base 的 f，则它必须遵守由 base 指定的协定（此协定在编写 derived 时尚未指定）！在某些情况下，这是不可能的。例如，base 的 f 可能要求它的重写始终调用基方法。derived 的 f 不可能遵守这样的协定。

　　c# 通过要求开发人员明确声明它们的意图来解决此版本问题。在原始的代码示例中，代码很清楚，因为 base 甚至没有 f。很明显，由于不存在名为 f 的基方法，因此 derived 的 f 是一个新方法而不是对基方法的一个重写。

　　如果 base 添加 f 并发布新版本，则在 derived 的二进制版本中对“derived 的 f”是什么仍很清楚：它语义上与重写无关，不应将它视为重写。

　　然而，当重新编译 derived 时，其含义仍是不清楚的：derived 的作者可能打算让它的 f 重写 base 的 f 或者隐藏它。由于意图不清，编译器生成一个警告，并在默认情况下使 derived 的 f 隐藏 base 的 f。此编译过程造成了语义上的二义性（与重新编译 derived 前相比较）。生成的警告提醒 derived 的作者 base 中存在 f 方法。

　　如果 derived 的 f 在语义上与 base 的 f 无关，则 derived 的作者可以通过在 f 的声明中使用 new 关键字来表示此意图（并且有效地关闭警告）。

// author a
namespace a
{
   public class base         // version 2
   {
      public virtual void f() { // added in version 2
         system.console.writeline("base.f");
      }
   }
}
// author b
namespace b
{
   class derived: a.base   // version 2a: new
   {
      new public virtual void f() {
         system.console.writeline("derived.f");
      }
   }
}

　　另一方面，derived 的作者经过进一步考虑，可能决定 derived 的 f 应重写 base 的 f。可以通过使用 override 关键字来指定此意图，如下所示。

// author a
namespace a
{
   public class base               // version 2
   {
      public virtual void f() { // added in version 2
         system.console.writeline("base.f");
      }
   }
}
// author b
namespace b
{
   class derived: a.base   // version 2b: override
   {
      public override void f() {
         base.f();
         system.console.writeline("derived.f");
      }
   }
}

　　derived 的作者还有另一种选择，就是更改 f 的名称，从而彻底避免名称冲突。尽管此更改会破坏 derived 的源代码和二进制兼容性，但这种兼容性的重要性因方案而异。如果不向其他程序公开 derived，则更改 f 的名称很可能是个好主意，因为这会提高程序的可读性，就是说 f 的含义不会再有任何混淆。