from : https://www.devbean.net/2012/05/cpp11-override-final/
2012 年 3 月 22 日，GCC 4.7.0 正式發布。從這個版本開始，GCC 增加了許多新的 C++ 11 的特性。今天我們要介紹的是其中的一個特性：顯式的使用 final和override關鍵字。先來看下面的例子：
struct B1 final { };struct D1 : B1 { }; // 錯誤！不能從 final 類繼承！上面的代碼是錯誤的，因為 D1 試圖繼承 B1，而 B1 則聲明為 final。當然！還有另外的用法：
struct B2{ virtual void f() final {} // final 函數};struct D2 : B2{ virtual void f() {}};這段代碼又會出錯，因為D2::f重寫了B2::f，但是B2::f卻被聲明為 final 的！
下面再看另外一段代碼：
struct B3{ virtual void f() {}};struct D3 : B3{ void f() {}};開發 D3 的程序員真的想重寫B3::f函數嗎？還是說，他只是不小心寫了個與父類同名的函數，卻在不經意間導致了覆蓋？為了避免這種錯誤，C++ 11 引入了override關鍵字（多么像 C# 啊！）。于是，我們會發現，下面的一段代碼是會出錯的：
struct B4{ virtual void g(int) {}};struct D4 : B4{ virtual void g(int) override {} // OK virtual void g(double) override {} // Error};多虧了override關鍵字，我們可以讓編譯器幫我們檢測到這個很難發現的程序錯誤。這段代碼的錯誤在于，override關鍵字表明，g(double)雖然想要進行override的操作，但實際父類并沒有這么個函數。
值得注意的是，這些并不是一些語法糖，而是能確確實實地避免很多程序錯誤，并且暗示編譯器可以作出一些優化。調用標記了final的virtual函數，例如上面的B2::f，GNU C++ 前端會識別出，這個函數不能被覆蓋，因此會將其從類的虛表中刪除。而標記為final的類，例如上面的 B1，編譯器則根本不會生成虛表。這樣的代碼顯然更有效率。
新聞熱點
疑難解答
圖片精選
