C++11新特性 - 多態和虛函數，override說明符

多態和虛函數

多態是C++的重要特徵之一，同時也是初學者比較難理解的特徵。先來看一個簡單的例子：

代碼很簡單，按照作者自己的話描述一下上述代碼中多態從定義到起作用的要點，應該不會再簡單了，從main函數看起：

1. 基類的指標

2. 指向衍生類別的對象

3. 衍生類別覆蓋了基類中定義的虛函數

這三點是必要條件，缺一不可。

上面的代碼還有另外一些有有意思的地方，雖然不影響結果，但還是瞭解一下為好。衍生類別中重新定義（覆蓋）基類中虛函數時：

1. virtual關鍵詞不是必須

2. 不必將函式宣告為public

覆蓋失敗的情況

虛函數的覆蓋要求兩個函數的簽名必須一致。例如下面的代碼:

由於sub2::f1的簽名和base::f1的簽名不一致，所以無法實現多態。

也許你會覺得這個錯誤太明顯了，根本不會發生。那是因為本例中的成員函數太簡單了。在實際的開發中隨著開發規模的擴大，類的繼承關係會變得越來越深，成員函數的參數也會越來越多，經常會遇到衍生類別中定義的成員函數的簽名和覆蓋對象的簽名不一致的而導致覆蓋失敗的情況。

而且要命的是，這種錯誤不會產生編譯錯誤，不容易被發現。

override說明符

為瞭解決這個問題，C++11中引入了一個方法：在聲明、定義衍生類別中的覆蓋函數時使用override說明符：

由於明確的函數的用意，所以當編譯器無法在基類中找到相同簽名的虛函數的時候，就會產生編譯錯誤。

作者感受

更好運用語言本身的功能，不放棄任何自動查出錯誤的機會，這應該成為C++程式員的習慣。也算是工匠精神的體現吧。

相關文章：

詳談c++11 final與override說明符

C++11新特性中auto 和 decltype 區別和聯絡

相關視頻：

Android6.0新特性