版本控制是一個過程，它以兼容的方式對組件進行不斷的改進。如果依賴於早期版本的代碼重新編譯後可以適用於新版本，則組件的新版本與早期版本源代碼兼容。相反，如果依賴於早期版本的應用程序不用重新編譯即可適用於新版本，則組件的新版本為二進制兼容。
大多數語言根本不支持二進制兼容性，而且許多語言對促進源代碼兼容性所做甚少。實際上，某些語言所含的缺陷使得用它開發出來的組件在不斷的改進過程中，一般至少會使依賴於該組件的某些客戶端代碼失效。
例如，請看一個發布名為 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
[1] [2] 下一頁
的
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 的含義不會再有任何混淆。
上一頁 [1] [2]
