1. 多態(tài)從“是什么”到“為什么”的深度拆解如果你寫(xiě)過(guò)一些C的面向?qū)ο蟠a大概率聽(tīng)過(guò)“封裝、繼承、多態(tài)”這三大特性。封裝和繼承相對(duì)直觀但多態(tài)Polymorphism這個(gè)詞聽(tīng)起來(lái)就有點(diǎn)抽象像是某種高深的理論。其實(shí)不然它恰恰是讓面向?qū)ο缶幊虖摹澳苡谩钡健昂糜谩钡年P(guān)鍵一躍。簡(jiǎn)單來(lái)說(shuō)多態(tài)就是“一個(gè)接口多種形態(tài)”。它允許你通過(guò)一個(gè)基類的指針或引用去調(diào)用不同派生類的同名函數(shù)而實(shí)際執(zhí)行的是派生類自己的版本。這聽(tīng)起來(lái)可能有點(diǎn)繞但想象一下現(xiàn)實(shí)中的場(chǎng)景你手里有一個(gè)通用的“繪圖工具”接口基類當(dāng)你用它去“畫(huà)”時(shí)如果它指向的是圓形對(duì)象就畫(huà)出圓如果指向的是矩形對(duì)象就畫(huà)出矩形。你不需要關(guān)心具體是圓還是方你只需要調(diào)用“畫(huà)”這個(gè)動(dòng)作。這就是多態(tài)帶來(lái)的魔力——它極大地提升了代碼的靈活性、可擴(kuò)展性和可維護(hù)性。為什么我們需要多態(tài)假設(shè)你在開(kāi)發(fā)一個(gè)圖形編輯器有Circle、Rectangle、Triangle等多個(gè)圖形類。如果沒(méi)有多態(tài)當(dāng)你需要把所有圖形都畫(huà)出來(lái)時(shí)你可能需要寫(xiě)一堆if-else或者switch-case語(yǔ)句來(lái)判斷對(duì)象類型然后調(diào)用對(duì)應(yīng)的DrawCircle(),DrawRectangle()等函數(shù)。每增加一種新圖形你都要修改這個(gè)集中處理的地方。代碼會(huì)變得冗長(zhǎng)、脆弱且難以維護(hù)。而多態(tài)通過(guò)將“做什么”調(diào)用Draw和“怎么做”每個(gè)圖形具體的繪制邏輯解耦讓你可以寫(xiě)出像shape-Draw()這樣的通用代碼。無(wú)論shape實(shí)際指向哪種圖形都能正確調(diào)用其自身的繪制方法。這種設(shè)計(jì)使得新增圖形類型時(shí)原有代碼幾乎無(wú)需改動(dòng)符合“開(kāi)閉原則”對(duì)擴(kuò)展開(kāi)放對(duì)修改關(guān)閉。在C中多態(tài)的實(shí)現(xiàn)核心是虛函數(shù)Virtual Function和動(dòng)態(tài)綁定Dynamic Binding也叫晚期綁定。這背后是編譯器為我們建立的一張“虛函數(shù)表”vtable和每個(gè)對(duì)象中一個(gè)隱藏的“虛函數(shù)表指針”vptr。當(dāng)你通過(guò)基類指針或引用調(diào)用一個(gè)虛函數(shù)時(shí)程序會(huì)在運(yùn)行時(shí)根據(jù)vptr找到對(duì)象實(shí)際類型對(duì)應(yīng)的vtable再?gòu)膙table中找到正確的函數(shù)地址進(jìn)行調(diào)用。這個(gè)過(guò)程是動(dòng)態(tài)的取決于運(yùn)行時(shí)對(duì)象的實(shí)際類型而非編譯時(shí)指針的聲明類型。理解這個(gè)機(jī)制是深入掌握C多態(tài)乃至面向?qū)ο笤O(shè)計(jì)精髓的必經(jīng)之路。2. 虛函數(shù)與動(dòng)態(tài)綁定的實(shí)現(xiàn)原理要玩轉(zhuǎn)多態(tài)必須吃透虛函數(shù)。在C中通過(guò)在基類的成員函數(shù)聲明前加上virtual關(guān)鍵字就將其聲明為虛函數(shù)。派生類可以但不是必須用相同的函數(shù)簽名函數(shù)名、參數(shù)列表、常量性對(duì)其進(jìn)行重寫(xiě)Override。這里的關(guān)鍵是“重寫(xiě)”而非“重載”O(jiān)verload重載發(fā)生在同一作用域內(nèi)函數(shù)名相同但參數(shù)不同而重寫(xiě)是派生類對(duì)基類虛函數(shù)的新實(shí)現(xiàn)。class Shape { public: virtual void Draw() const { // 基類虛函數(shù) std::cout Drawing a generic shape. std::endl; } virtual ~Shape() {} // 虛析構(gòu)函數(shù)至關(guān)重要 }; class Circle : public Shape { public: void Draw() const override { // 派生類重寫(xiě)虛函數(shù)override關(guān)鍵字是C11的好幫手用于顯式聲明意圖讓編譯器幫你檢查簽名是否正確。 std::cout Drawing a circle. std::endl; } }; class Rectangle : public Shape { public: void Draw() const override { std::cout Drawing a rectangle. std::endl; } };現(xiàn)在我們可以這樣使用void DrawShape(const Shape shape) { // 參數(shù)是基類引用 shape.Draw(); // 多態(tài)調(diào)用點(diǎn) } int main() { Circle c; Rectangle r; DrawShape(c); // 輸出Drawing a circle. DrawShape(r); // 輸出Drawing a rectangle. return 0; }函數(shù)DrawShape完全不知道傳入的是Circle還是Rectangle它只認(rèn)Shape。但實(shí)際調(diào)用時(shí)卻能正確執(zhí)行各自版本的Draw。這就是動(dòng)態(tài)綁定的效果。2.1 虛函數(shù)表vtable與虛函數(shù)表指針vptr這是C實(shí)現(xiàn)多態(tài)的底層機(jī)制。編譯器會(huì)為每一個(gè)包含虛函數(shù)的類或者從包含虛函數(shù)的類派生而來(lái)的類生成一個(gè)虛函數(shù)表。這個(gè)表本質(zhì)上是一個(gè)函數(shù)指針數(shù)組按順序存放了該類所有虛函數(shù)的地址。對(duì)于上面的例子Shape類的vtable包含Shape::Draw,Shape::~Shape。Circle類的vtable包含Circle::Draw,Circle::~Circle如果Circle定義了析構(gòu)函數(shù)否則是Shape::~Shape。Rectangle類的vtable類似。同時(shí)編譯器會(huì)在每個(gè)該類對(duì)象的布局中隱式地添加一個(gè)指針成員通常放在對(duì)象內(nèi)存的起始位置這就是虛函數(shù)表指針vptr。在對(duì)象構(gòu)造時(shí)它的vptr會(huì)被初始化為指向其所屬類的vtable。當(dāng)我們寫(xiě)下shape.Draw()這句代碼時(shí)假設(shè)shape是基類引用編譯器生成的代碼大致會(huì)做以下事情通過(guò)shape對(duì)象找到其vptr。通過(guò)vptr找到對(duì)應(yīng)的vtable。在vtable中找到Draw函數(shù)對(duì)應(yīng)的槽位偏移量在編譯時(shí)確定。通過(guò)該槽位中的函數(shù)指針調(diào)用真正的函數(shù)。這個(gè)過(guò)程發(fā)生在程序運(yùn)行時(shí)因此稱為“動(dòng)態(tài)綁定”或“晚期綁定”。與之相對(duì)的是“靜態(tài)綁定”或“早期綁定”即普通成員函數(shù)的調(diào)用在編譯時(shí)就已經(jīng)確定了具體的函數(shù)地址。注意動(dòng)態(tài)綁定只發(fā)生在通過(guò)指針或引用調(diào)用虛函數(shù)時(shí)。如果通過(guò)對(duì)象本身而非指針/引用調(diào)用虛函數(shù)則不會(huì)發(fā)生多態(tài)調(diào)用在編譯期就確定了是靜態(tài)綁定。例如Circle c; c.Draw();肯定是調(diào)用Circle::Draw。2.2 虛析構(gòu)函數(shù)多態(tài)內(nèi)存管理的基石這是一個(gè)極其重要且容易出錯(cuò)的點(diǎn)?？聪旅娴拇aclass Base { public: ~Base() { std::cout Base destructor std::endl; } // 非虛析構(gòu)函數(shù) }; class Derived : public Base { public: ~Derived() { std::cout Derived destructor std::endl; } }; int main() { Base* ptr new Derived(); delete ptr; // 問(wèn)題所在 return 0; }輸出只有Base destructor。Derived對(duì)象的析構(gòu)函數(shù)沒(méi)有被調(diào)用如果Derived在構(gòu)造函數(shù)中分配了內(nèi)存或在析構(gòu)函數(shù)中有重要的清理邏輯如關(guān)閉文件、釋放網(wǎng)絡(luò)連接就會(huì)導(dǎo)致資源泄漏。為什么因?yàn)閐elete一個(gè)基類指針時(shí)如果基類的析構(gòu)函數(shù)不是虛函數(shù)那么就會(huì)發(fā)生靜態(tài)綁定。編譯器看到ptr的類型是Base*就調(diào)用Base::~Base()。這會(huì)導(dǎo)致派生類對(duì)象的部分沒(méi)有被正確析構(gòu)即發(fā)生了“對(duì)象切片”式的析構(gòu)只析構(gòu)了基類子對(duì)象。如何解決將基類的析構(gòu)函數(shù)聲明為虛函數(shù)。class Base { public: virtual ~Base() { std::cout Base destructor std::endl; } // 虛析構(gòu)函數(shù) };現(xiàn)在再運(yùn)行輸出為Derived destructor Base destructor因?yàn)閐elete ptr時(shí)由于~Base()是虛函數(shù)會(huì)進(jìn)行動(dòng)態(tài)綁定通過(guò)ptr指向的Derived對(duì)象的vtable找到Derived::~Derived()并調(diào)用而Derived的析構(gòu)函數(shù)會(huì)自動(dòng)調(diào)用其基類的析構(gòu)函數(shù)從而完成完整的析構(gòu)鏈。實(shí)操心得如果一個(gè)類有可能被繼承并且會(huì)通過(guò)基類指針來(lái)刪除派生類對(duì)象那么它的析構(gòu)函數(shù)必須是虛的。這是一個(gè)黃金法則。即使這個(gè)類當(dāng)前看起來(lái)不會(huì)被繼承作為良好的設(shè)計(jì)習(xí)慣如果它定義了其他虛函數(shù)通常也意味著它被設(shè)計(jì)為基類其析構(gòu)函數(shù)就應(yīng)該聲明為虛的。反之如果一個(gè)類不是設(shè)計(jì)用來(lái)作為基類例如值語(yǔ)義的類如std::complex則不應(yīng)包含虛函數(shù)也不應(yīng)有虛析構(gòu)函數(shù)以避免不必要的vptr開(kāi)銷。3. 純虛函數(shù)、抽象類與接口設(shè)計(jì)有時(shí)基類中的某個(gè)虛函數(shù)無(wú)法給出一個(gè)有意義的默認(rèn)實(shí)現(xiàn)。例如我們的Shape類一個(gè)“形狀”的“繪制”操作本身是抽象的無(wú)法具體實(shí)現(xiàn)。這時(shí)我們可以將其聲明為純虛函數(shù)Pure Virtual Function。class Shape { public: virtual void Draw() const 0; // 純虛函數(shù)用 0 標(biāo)識(shí) virtual ~Shape() default; // 虛析構(gòu)函數(shù) };包含至少一個(gè)純虛函數(shù)的類被稱為抽象類Abstract Class。抽象類不能被實(shí)例化即你不能創(chuàng)建Shape shape;這樣的對(duì)象。它的存在就是為了被繼承為派生類提供一個(gè)統(tǒng)一的接口規(guī)范。派生類必須重寫(xiě)實(shí)現(xiàn)基類中的所有純虛函數(shù)否則該派生類也會(huì)成為抽象類同樣無(wú)法實(shí)例化。class Circle : public Shape { public: void Draw() const override { // 必須實(shí)現(xiàn)Draw否則Circle也是抽象類 std::cout Drawing a circle. std::endl; } // 如果沒(méi)有其他純虛函數(shù)Circle就是具體類可以實(shí)例化 }; // class IncompleteShape : public Shape {}; // 錯(cuò)誤沒(méi)有實(shí)現(xiàn)Draw仍是抽象類無(wú)法創(chuàng)建對(duì)象。3.1 接口類Interface Class在C中并沒(méi)有像Java或C#那樣的interface關(guān)鍵字。我們通常通過(guò)一個(gè)所有成員函數(shù)都是純虛函數(shù)且沒(méi)有數(shù)據(jù)成員的抽象類來(lái)模擬“接口”。class IDrawable { // 接口類習(xí)慣以‘I’開(kāi)頭 public: virtual void Draw() const 0; virtual ~IDrawable() default; // 接口的析構(gòu)函數(shù)也必須是虛的 }; class ILoggable { public: virtual void Log(const std::string message) const 0; virtual ~ILoggable() default; }; class Circle : public IDrawable, public ILoggable { // 多重繼承實(shí)現(xiàn)多個(gè)接口 public: void Draw() const override { /* ... */ } void Log(const std::string msg) const override { /* ... */ } };這種設(shè)計(jì)實(shí)現(xiàn)了完全的接口與實(shí)現(xiàn)分離是構(gòu)建靈活、可插拔系統(tǒng)架構(gòu)的常用手段。它強(qiáng)制派生類遵守特定的契約同時(shí)允許一個(gè)類具備多種能力通過(guò)實(shí)現(xiàn)多個(gè)接口。注意事項(xiàng)使用純虛函數(shù)時(shí)雖然你不能為純虛函數(shù)提供定義但C允許你為純虛函數(shù)提供一份實(shí)現(xiàn)。這份實(shí)現(xiàn)只能通過(guò)基類名顯式調(diào)用如Shape::Draw()通常用于提供一些公共的、可選的默認(rèn)行為片段但派生類仍然必須重寫(xiě)該函數(shù)。這個(gè)技巧使用場(chǎng)景較少需謹(jǐn)慎。4. 多態(tài)的高級(jí)應(yīng)用與設(shè)計(jì)模式初窺掌握了基礎(chǔ)我們可以看看多態(tài)在更復(fù)雜場(chǎng)景下的威力它與一些經(jīng)典的設(shè)計(jì)模式緊密相關(guān)。4.1 工廠方法模式Factory Method當(dāng)你需要?jiǎng)?chuàng)建對(duì)象但又不希望將具體的類名硬編碼在客戶端代碼中時(shí)工廠方法就派上用場(chǎng)了。它定義一個(gè)用于創(chuàng)建對(duì)象的接口虛函數(shù)讓子類決定實(shí)例化哪一個(gè)類。// 產(chǎn)品接口 class Document { public: virtual void Open() 0; virtual void Save() 0; virtual ~Document() default; }; // 具體產(chǎn)品 class TextDocument : public Document { public: void Open() override { std::cout Open Text Doc std::endl; } void Save() override { std::cout Save Text Doc std::endl; } }; class SpreadsheetDocument : public Document { /* ... */ }; // 創(chuàng)建者Creator基類 class Application { public: virtual ~Application() default; // 工廠方法 virtual std::unique_ptrDocument CreateDocument() 0; void NewDocument() { auto doc CreateDocument(); // 多態(tài)調(diào)用創(chuàng)建哪種文檔由子類決定 doc-Open(); // ... 將doc加入文檔列表等操作 } }; // 具體創(chuàng)建者 class TextApplication : public Application { public: std::unique_ptrDocument CreateDocument() override { return std::make_uniqueTextDocument(); } }; class SpreadsheetApplication : public Application { public: std::unique_ptrDocument CreateDocument() override { return std::make_uniqueSpreadsheetDocument(); } };Application::NewDocument()完全不知道要?jiǎng)?chuàng)建TextDocument還是SpreadsheetDocument它只調(diào)用CreateDocument()這個(gè)虛函數(shù)。具體的應(yīng)用子類TextApplication負(fù)責(zé)決定創(chuàng)建什么類型的文檔。這使得新增一種文檔類型時(shí)只需要添加新的Document和Application派生類無(wú)需修改已有的NewDocument等業(yè)務(wù)邏輯。4.2 策略模式Strategy定義一系列算法將每個(gè)算法封裝起來(lái)并使它們可以互相替換。策略模式讓算法的變化獨(dú)立于使用算法的客戶。// 策略接口 class CompressionStrategy { public: virtual std::vectorchar Compress(const std::vectorchar data) 0; virtual ~CompressionStrategy() default; }; // 具體策略 class ZipCompression : public CompressionStrategy { public: std::vectorchar Compress(const std::vectorchar data) override { std::cout Compressing with ZIP std::endl; // ... 實(shí)現(xiàn)ZIP壓縮算法 return data; // 簡(jiǎn)化返回 } }; class RarCompression : public CompressionStrategy { /* ... */ }; // 上下文Context class FileArchiver { private: std::unique_ptrCompressionStrategy strategy_; public: explicit FileArchiver(std::unique_ptrCompressionStrategy strategy) : strategy_(std::move(strategy)) {} void SetStrategy(std::unique_ptrCompressionStrategy strategy) { strategy_ std::move(strategy); } void Archive(const std::string filename, const std::vectorchar data) { auto compressed strategy_-Compress(data); // 多態(tài)調(diào)用 // ... 將compressed數(shù)據(jù)寫(xiě)入文件等 std::cout File archived using current strategy. std::endl; } }; // 使用 int main() { FileArchiver archiver(std::make_uniqueZipCompression()); archiver.Archive(data.txt, {...}); // 運(yùn)行時(shí)動(dòng)態(tài)切換策略 archiver.SetStrategy(std::make_uniqueRarCompression()); archiver.Archive(data2.txt, {...}); return 0; }FileArchiver不需要知道壓縮的具體細(xì)節(jié)它只依賴CompressionStrategy接口。我們可以隨時(shí)注入不同的壓縮策略Zip, Rar, 7z等甚至可以在運(yùn)行時(shí)切換而FileArchiver的代碼無(wú)需任何改動(dòng)。這完美體現(xiàn)了“對(duì)修改關(guān)閉對(duì)擴(kuò)展開(kāi)放”的原則。5. 多態(tài)實(shí)踐中的常見(jiàn)陷阱與性能考量多態(tài)雖好但使用不當(dāng)也會(huì)帶來(lái)問(wèn)題。下面是一些實(shí)戰(zhàn)中容易踩的坑和需要注意的地方。5.1 對(duì)象切片Object Slicing這是C特有且非常危險(xiǎn)的一個(gè)問(wèn)題。當(dāng)派生類對(duì)象被按值傳遞給一個(gè)接受基類對(duì)象的函數(shù)或者用派生類對(duì)象賦值給基類對(duì)象時(shí)會(huì)發(fā)生對(duì)象切片。class Base { public: int base_data 10; virtual void Print() const { std::cout Base: base_data std::endl; } }; class Derived : public Base { public: int derived_data 20; void Print() const override { std::cout Derived: base_data , derived_data std::endl; } }; void FuncByValue(Base b) { // 按值傳遞 b.Print(); } void FuncByRef(const Base b) { // 按引用傳遞 b.Print(); } int main() { Derived d; FuncByValue(d); // 輸出Base: 10 FuncByRef(d); // 輸出Derived: 10, 20 Base b d; // 對(duì)象切片賦值 b.Print(); // 輸出Base: 10 return 0; }FuncByValue(d)調(diào)用時(shí)發(fā)生了拷貝構(gòu)造參數(shù)b是一個(gè)全新的Base對(duì)象它只復(fù)制了d中的Base子對(duì)象部分base_dataderived_data和Derived的vptr指向Derived的vtable都丟失了。因此多態(tài)失效且數(shù)據(jù)不完整。而按引用傳遞則沒(méi)有這個(gè)問(wèn)題。避坑指南在面向?qū)ο蠛投鄳B(tài)場(chǎng)景下應(yīng)盡量避免按值傳遞對(duì)象尤其是基類對(duì)象。優(yōu)先使用指針智能指針更佳或引用。這能有效避免意外的對(duì)象切片和額外的拷貝開(kāi)銷。5.2 重寫(xiě)Override的常見(jiàn)錯(cuò)誤簽名不匹配派生類函數(shù)與基類虛函數(shù)的簽名參數(shù)類型、常量性、引用限定符必須嚴(yán)格一致否則會(huì)被視為新的重載函數(shù)而非重寫(xiě)。class Base { virtual void foo(int); virtual void bar() const; }; class Derived : public Base { void foo(double); // 錯(cuò)誤參數(shù)不同是重載不是重寫(xiě)。編譯通過(guò)但多態(tài)失效。 void bar(); // 錯(cuò)誤常量性不同不是重寫(xiě)。編譯通過(guò)但多態(tài)失效。 };解決方案始終使用C11引入的override關(guān)鍵字。編譯器會(huì)幫你檢查是否成功重寫(xiě)了基類的虛函數(shù)。class Derived : public Base { void foo(double) override; // 編譯錯(cuò)誤提示沒(méi)有匹配的虛函數(shù)可重寫(xiě)。 void bar() override; // 編譯錯(cuò)誤常量性不匹配。 void foo(int) override; // 正確 void bar() const override; // 正確 };默認(rèn)參數(shù)不同虛函數(shù)的重寫(xiě)只關(guān)注函數(shù)體默認(rèn)參數(shù)是靜態(tài)綁定的取決于調(diào)用時(shí)使用的指針/引用的靜態(tài)類型。class Base { public: virtual void print(int x 10) { std::cout Base: x std::endl; } }; class Derived : public Base { public: void print(int x 20) override { std::cout Derived: x std::endl; } }; int main() { Derived d; Base* bp d; bp-print(); // 輸出Derived: 10 函數(shù)體是Derived的默認(rèn)參數(shù)是Base的 return 0; }解決方案避免在虛函數(shù)中使用默認(rèn)參數(shù)或者確?；惡退信缮愂褂孟嗤哪J(rèn)參數(shù)值。這通常意味著默認(rèn)參數(shù)只應(yīng)在基類中指定一次。5.3 多態(tài)與性能動(dòng)態(tài)綁定會(huì)帶來(lái)一些運(yùn)行時(shí)開(kāi)銷間接調(diào)用開(kāi)銷通過(guò)vptr和vtable查找函數(shù)地址比直接調(diào)用函數(shù)多一次間接尋址?？臻g開(kāi)銷每個(gè)包含虛函數(shù)的對(duì)象都需要一個(gè)額外的vptr通常4或8字節(jié)。每個(gè)類需要一個(gè)vtable。編譯器優(yōu)化受限虛函數(shù)調(diào)用是間接調(diào)用阻礙了內(nèi)聯(lián)等優(yōu)化。性能優(yōu)化建議不要濫用虛函數(shù)只在需要多態(tài)行為的地方使用虛函數(shù)。對(duì)于不會(huì)被重寫(xiě)或不需要通過(guò)基類接口調(diào)用的函數(shù)不要聲明為virtual。關(guān)注調(diào)用頻率在性能關(guān)鍵的循環(huán)或熱路徑中頻繁調(diào)用的虛函數(shù)可能成為瓶頸。可以考慮使用“CRTP”奇異遞歸模板模式等靜態(tài)多態(tài)技術(shù)來(lái)消除運(yùn)行時(shí)開(kāi)銷但這會(huì)犧牲一些動(dòng)態(tài)靈活性。權(quán)衡設(shè)計(jì)在大多數(shù)應(yīng)用中多態(tài)帶來(lái)的設(shè)計(jì)優(yōu)勢(shì)和可維護(hù)性提升遠(yuǎn)大于其微小的性能開(kāi)銷。除非性能分析Profiling明確顯示虛函數(shù)調(diào)用是瓶頸否則應(yīng)以清晰的面向?qū)ο笤O(shè)計(jì)為首要目標(biāo)。5.4 構(gòu)造函數(shù)和析構(gòu)函數(shù)中的虛函數(shù)調(diào)用在構(gòu)造函數(shù)和析構(gòu)函數(shù)中調(diào)用虛函數(shù)不會(huì)發(fā)生多態(tài)行為。class Base { public: Base() { print(); } // 在構(gòu)造函數(shù)中調(diào)用虛函數(shù) virtual void print() { std::cout Base std::endl; } }; class Derived : public Base { public: Derived() default; void print() override { std::cout Derived std::endl; } }; int main() { Derived d; // 輸出Base return 0; }在構(gòu)造Derived對(duì)象時(shí)先調(diào)用Base的構(gòu)造函數(shù)。此時(shí)Derived對(duì)象尚未完全構(gòu)造其vptr指向的是Base的vtable在進(jìn)入Base構(gòu)造函數(shù)體時(shí)已被初始化。因此在Base構(gòu)造函數(shù)中調(diào)用的print()是Base::print()而不是Derived::print()。析構(gòu)函數(shù)同理在析構(gòu)過(guò)程中對(duì)象的vptr會(huì)逐層調(diào)整回基類的vtable。重要原則避免在構(gòu)造函數(shù)和析構(gòu)函數(shù)中調(diào)用虛函數(shù)因?yàn)槟銦o(wú)法獲得預(yù)期的多態(tài)行為。如果需要在對(duì)象初始化或清理時(shí)執(zhí)行特定于派生類的操作可以考慮在構(gòu)造函數(shù)參數(shù)中傳遞信息或者使用“初始化函數(shù)”模式在構(gòu)造完成后顯式調(diào)用一個(gè)虛函數(shù)。6. 現(xiàn)代C中的多態(tài)新特性與最佳實(shí)踐C11/14/17/20標(biāo)準(zhǔn)為多態(tài)編程帶來(lái)了更多安全和便利的工具。6.1final與override關(guān)鍵字override如前所述明確指示該函數(shù)旨在重寫(xiě)基類虛函數(shù)讓編譯器進(jìn)行嚴(yán)格檢查。final用于類或虛函數(shù)。用于類表示該類不能被繼承。class Derived final : public Base {};用于虛函數(shù)表示該虛函數(shù)在派生類中不能被進(jìn)一步重寫(xiě)。class Base { virtual void foo(); }; class Derived : public Base { void foo() final override; // Derived::foo 是最終版本 }; class FurtherDerived : public Derived { void foo() override; // 編譯錯(cuò)誤不能重寫(xiě)final函數(shù) };使用final可以防止意外的繼承或重寫(xiě)增強(qiáng)設(shè)計(jì)意圖的表達(dá)和代碼的穩(wěn)定性。6.2 智能指針與多態(tài)使用原始指針管理多態(tài)對(duì)象的內(nèi)存容易出錯(cuò)忘記delete?，F(xiàn)代C強(qiáng)烈推薦使用智能指針。#include memory #include vector class Shape { /* ... 有虛析構(gòu)函數(shù) ... */ }; class Circle : public Shape {}; class Rectangle : public Shape {}; int main() { // 使用 unique_ptr擁有獨(dú)占所有權(quán) std::unique_ptrShape shape std::make_uniqueCircle(); // 使用 shared_ptr共享所有權(quán) std::vectorstd::shared_ptrShape shapes; shapes.push_back(std::make_sharedCircle()); shapes.push_back(std::make_sharedRectangle()); for (const auto s : shapes) { s-Draw(); // 多態(tài)調(diào)用 } // 離開(kāi)作用域shared_ptr自動(dòng)管理內(nèi)存釋放會(huì)正確調(diào)用派生類析構(gòu)函數(shù)前提是基類析構(gòu)函數(shù)為虛 return 0; }智能指針尤其是std::unique_ptr和std::shared_ptr能正確調(diào)用派生類的析構(gòu)函數(shù)只要基類的析構(gòu)函數(shù)是虛的。這徹底解決了手動(dòng)管理多態(tài)對(duì)象內(nèi)存的難題。6.3 類型安全的向下轉(zhuǎn)型dynamic_cast有時(shí)我們需要在基類指針/引用上執(zhí)行特定于派生類的操作。使用C風(fēng)格強(qiáng)制轉(zhuǎn)換(Derived*)是危險(xiǎn)且不安全的。應(yīng)該使用dynamic_cast。Base* ptr /* ... 可能指向Derived對(duì)象也可能指向其他... */; // 不安全的方式 // Derived* dptr (Derived*)ptr; // 如果ptr實(shí)際不是Derived行為未定義 // 安全的方式 Derived* dptr dynamic_castDerived*(ptr); if (dptr ! nullptr) { // 轉(zhuǎn)換成功ptr確實(shí)指向一個(gè)Derived或其派生類對(duì)象 dptr-DerivedSpecificMethod(); } else { // 轉(zhuǎn)換失敗ptr指向的不是Derived類型 // 處理錯(cuò)誤或執(zhí)行其他邏輯 }dynamic_cast在運(yùn)行時(shí)檢查轉(zhuǎn)換的安全性。如果指針實(shí)際指向的對(duì)象類型與目標(biāo)類型兼容是目標(biāo)類型或其公開(kāi)派生類則轉(zhuǎn)換成功否則返回nullptr對(duì)于指針或拋出std::bad_cast異常對(duì)于引用。注意dynamic_cast需要運(yùn)行時(shí)類型信息RTTI并且只能用于包含虛函數(shù)的類多態(tài)類型。它有一定的性能開(kāi)銷。過(guò)度使用dynamic_cast往往是設(shè)計(jì)有問(wèn)題的信號(hào)違反了“面向接口編程而非面向?qū)崿F(xiàn)編程”的原則應(yīng)優(yōu)先考慮通過(guò)虛函數(shù)將行為封裝在類內(nèi)部。6.4 使用std::variant和std::visit的另一種多態(tài)C17對(duì)于類型集合已知且有限的場(chǎng)景C17的std::variant一種類型安全的聯(lián)合配合std::visit訪問(wèn)者模式可以提供一種不依賴?yán)^承和虛函數(shù)的“多態(tài)”有時(shí)性能更好。#include variant #include iostream #include string struct Circle { double radius; }; struct Rectangle { double width, height; }; struct Triangle { double base, height; }; using Shape std::variantCircle, Rectangle, Triangle; // 形狀是這三種類型之一 // 訪問(wèn)者是一個(gè)可調(diào)用對(duì)象能處理variant中的所有類型 struct AreaVisitor { double operator()(const Circle c) const { return 3.14159 * c.radius * c.radius; } double operator()(const Rectangle r) const { return r.width * r.height; } double operator()(const Triangle t) const { return 0.5 * t.base * t.height; } }; int main() { Shape s1 Circle{2.0}; Shape s2 Rectangle{3.0, 4.0}; double area1 std::visit(AreaVisitor{}, s1); // 調(diào)用對(duì)應(yīng)類型的operator() double area2 std::visit(AreaVisitor{}, s2); std::cout Area1: area1 std::endl; // ~12.566 std::cout Area2: area2 std::endl; // 12 // 也可以使用泛型lambda auto PrintInfo [](const auto shape) { using T std::decay_tdecltype(shape); if constexpr (std::is_same_vT, Circle) { std::cout Circle with radius shape.radius std::endl; } else if constexpr (std::is_same_vT, Rectangle) { std::cout Rectangle shape.width x shape.height std::endl; } // ... 處理Triangle }; std::visit(PrintInfo, s1); return 0; }這種方式在編譯期就確定了所有可能的類型避免了虛函數(shù)調(diào)用的間接性并且內(nèi)存布局更緊湊不需要vptr。但它犧牲了運(yùn)行時(shí)的動(dòng)態(tài)擴(kuò)展性無(wú)法在運(yùn)行時(shí)添加新的形狀類型而不重新編譯。適用于類型固定、對(duì)性能要求極高的場(chǎng)景。多態(tài)是C面向?qū)ο缶幊痰撵`魂它連接了抽象與具體定義了清晰的接口契約。從理解虛函數(shù)表的工作原理到熟練運(yùn)用override/final等現(xiàn)代關(guān)鍵字再到規(guī)避對(duì)象切片、構(gòu)造函數(shù)中調(diào)用虛函數(shù)等陷阱每一步都需要在理論和實(shí)踐中反復(fù)錘煉。我個(gè)人在大型項(xiàng)目中最深的體會(huì)是良好的多態(tài)設(shè)計(jì)是代碼保持長(zhǎng)期可維護(hù)性和可擴(kuò)展性的基石。初期多花時(shí)間設(shè)計(jì)清晰的抽象接口和繼承體系遠(yuǎn)比后期在混亂的if-else類型判斷中掙扎要高效得多。最后記住Scott Meyers在《Effective C》中的忠告 polymorphic base classes should declare virtual destructors多態(tài)基類應(yīng)聲明虛析構(gòu)函數(shù)這是用好多態(tài)的第一條軍規(guī)。