深入淺出OOP（三）: 多態和繼承(動態綁定/運行時多態)

標籤：

在前面的文章中，我們介紹了編譯期多態、params關鍵字、執行個體化、base關鍵字等。本節我們來關注另外一種多態：運行時多態， 運行時多態也叫遲綁定。

 

運行時多態或遲綁定、動態綁定

在C#語音中，運行時多態也叫方法重寫（overriding），我們可以在子類中overriding基類的同簽名函數，使用“virtual & override”關鍵字即可。

 

C#的New、Override關鍵字

建立一個console 樣本工程，命名為InheritanceAndPolymorphism。在Program.cs基礎上，再添加2個類檔案，分別命名為ClassA.cs、ClassB.cs。拷貝如下代碼：

public class ClassA    {        public void AAA()        {            Console.WriteLine("ClassA AAA");        }        public void BBB()        {            Console.WriteLine("ClassA BBB");        }        public void CCC()        {            Console.WriteLine("ClassA CCC");        }    }

 

ClassB：

public class ClassB    {        public void AAA()        {            Console.WriteLine("ClassB AAA");        }        public void BBB()        {            Console.WriteLine("ClassB BBB");        }        public void CCC()        {            Console.WriteLine("ClassB CCC");        }    }

在上面的代碼中，我們可以看到ClassA、ClassB有同樣簽名的方法，可以在program.cs中直接使用。

我們對代碼再做休整，結構如下：

/// <summary>    /// ClassB, acting as a base class    /// </summary>    public class ClassB    {        public void AAA()        {            Console.WriteLine("ClassB AAA");        }        public void BBB()        {            Console.WriteLine("ClassB BBB");        }        public void CCC()        {            Console.WriteLine("ClassB CCC");        }    }    /// <summary>    /// Class A, acting as a derived class    /// </summary>    public class ClassA : ClassB    {        public void AAA()        {            Console.WriteLine("ClassA AAA");        }        public void BBB()        {            Console.WriteLine("ClassA BBB");        }        public void CCC()        {            Console.WriteLine("ClassA CCC");        }    }

 

Program.cs

              Main(= ==

F5，運行代碼，結果如下：

ClassA AAA

ClassA BBB

ClassA CCC

ClassB AAA

ClassB BBB

ClassB CCC

ClassB AAA

ClassB BBB

ClassB CCC

但同時，在VS的Output視窗，我們獲得了3個Warnings：

‘InheritanceAndPolymorphism.ClassA.AAA()‘ hides inherited member

‘InheritanceAndPolymorphism.ClassB.AAA()‘. Use the new keyword if hiding was intended.

‘InheritanceAndPolymorphism.ClassA.BBB()‘ hides inherited member

‘InheritanceAndPolymorphism.ClassB.BBB()‘. Use the new keyword if hiding was intended.

‘InheritanceAndPolymorphism.ClassA.CCC()‘ hides inherited member

‘InheritanceAndPolymorphism.ClassB.CCC()‘. Use the new keyword if hiding was intended.

這些Warnings的原因是因為子類和基類的AAA、BBB、CCC方法簽名相同，儘管從執行上看優先執行子類同簽名的方法，但是可能會有潛在的問題，故Warnings提出。

 

重構實驗

基於上面的Warning，我們手動修改代碼，看看如何消除這些Warnings。

先給子類添加new、override關鍵字試試：

/// <summary>    /// Class A, acting as a derived class    /// </summary>    public class ClassA : ClassB    {        public override void AAA()        {            Console.WriteLine("ClassA AAA");        }        public new void BBB()        {            Console.WriteLine("ClassA BBB");        }        public void CCC()        {            Console.WriteLine("ClassA CCC");        }    }

 

執行的結果是報錯了：

Error: ‘InheritanceAndPolymorphism.ClassA.AAA()‘: cannot override inherited member ‘InheritanceAndPolymorphism.ClassB.AAA()‘ because it is not marked virtual, abstract, or override

 

從這個錯誤提示資訊看，我們需要修改基類方法，如添加virtual關鍵字。

                                               Main(= = =

執行，則無Warning了，通過這個執行個體，我們得知通過在基類添加Virtual關鍵字授權其子類可override基類同簽名方法的許可權，方便了OOP的擴充。

 

3個類的運行時多態

在ClassA\ClassB基礎上，下面添加ClassC，看看3個類繼承關係的運行時多態：

                                                              Main(= = =

運行結果：

ClassB AAA

ClassB BBB

ClassA CCC

ClassB AAA

ClassB BBB

ClassA CCC

ClassC AAA

ClassA BBB

ClassA CCC

如果基類聲明了virtual 關鍵字，子類可使用override修飾符實現運行時多態：只有在編譯器動態決定是否被調用。

如果未標明virtual或非virtual，則方法是否被調用在編譯期就能決定。

 

 

再看看下面的例子：

internal class A    {        public virtual void X()        {        }    }    internal class B : A    {        public new void X()        {        }    }    internal class C : B    {        public override void X()        {        }    }

F5運行，結果報錯了：

Error: ‘InheritanceAndPolymorphism.C.X()‘: cannot override inherited member ‘InheritanceAndPolymorphism.B.X()‘ because it is not marked virtual, abstract, or override

錯誤的原因是A中定義了virtual的X函數，在B中用new關鍵字隱藏了A中的X函數。當C嘗試通過override關鍵字的時候，是獲得不了A中的virtual關鍵字X函數的，既在C中X函數為非Virtual的，故不能override。

 

切斷關係

                        Main(= =

執行結果如下：

Class: A ; Method XClass: C ; Method X

在這裡，我們通過在B類中添加new Virtual修飾符，然後在C中即可使用B中Virtual的X函數了。

 

4個類的運行時多態

在上面繼承上，在運行時多態中添加第四個類：ClassD。

                                                                   Main(= = ==

 

執行結果如下：

ClassB XXX

ClassB XXX

ClassD XXX

ClassD XXX

第一行輸出中，來自a.XXX（）函數 , 我們在 ClassA中定義了XXX函數，然後在ClassB中使用new關鍵字切斷了virtual關係--對子類而言。因此XXX函數從ClassC開始成為新的virtual函數，在這個代碼中a是ClassD的執行個體,但是聲明的為ClassA，故從下往上找，找到ClassB的XXX函數，列印並輸出結果。

 

永無止境的迴圈

 

                                        Main(=

運行報錯：

Error: {Cannot evaluate expression because the current thread is in a stack overflow state.}

在這個例子中，((ClassA)this).XXX(); 導致了迴圈調用，修改為base.XXX即可修複這個強轉導致的迴圈調用。

 

結論

• 在C#中，子類對象可賦值給一個基類對象；相反需要強轉。

• override關鍵字用於子類重寫同簽名的基類virtual函數

• 用new和override可重寫基類virtual的同簽名函數

• virtual修飾符的函數，只能在運行時決定是否被執行

• 函數未用virtual修飾，則在編譯期即可決定是否被調用

 

原文連結：Diving in OOP (Day 3): Polymorphism and Inheritance (Dynamic Binding/Run Time Polymorphism)

深入淺出OOP（三）: 多態和繼承(動態綁定/運行時多態)