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 的含義不會再有任何混淆。