1. 多態(tài)從“是什么”到“為什么”的深度拆解如果你寫過一些C的面向?qū)ο蟠a大概率聽過“封裝、繼承、多態(tài)”這三大特性。封裝和繼承相對直觀但多態(tài)Polymorphism這個(gè)詞聽起來就有點(diǎn)抽象像是某種高深的理論。其實(shí)不然它恰恰是讓面向?qū)ο缶幊虖摹澳苡谩钡健昂糜谩钡年P(guān)鍵一躍。簡單來說多態(tài)就是“一個(gè)接口多種形態(tài)”。它允許你通過一個(gè)基類的指針或引用去調(diào)用不同派生類的同名函數(shù)而實(shí)際執(zhí)行的是派生類自己的版本。這聽起來可能有點(diǎn)繞但想象一下現(xiàn)實(shí)中的場景你手里有一個(gè)通用的“繪圖工具”接口基類當(dāng)你用它去“畫”時(shí)如果它指向的是圓形對象就畫出圓如果指向的是矩形對象就畫出矩形。你不需要關(guān)心具體是圓還是方你只需要調(diào)用“畫”這個(gè)動(dòng)作。這就是多態(tài)帶來的魔力——它極大地提升了代碼的靈活性、可擴(kuò)展性和可維護(hù)性。為什么我們需要多態(tài)假設(shè)你在開發(fā)一個(gè)圖形編輯器有Circle、Rectangle、Triangle等多個(gè)圖形類。如果沒有多態(tài)當(dāng)你需要把所有圖形都畫出來時(shí)你可能需要寫一堆if-else或者switch-case語句來判斷對象類型然后調(diào)用對應(yīng)的DrawCircle(),DrawRectangle()等函數(shù)。每增加一種新圖形你都要修改這個(gè)集中處理的地方。代碼會(huì)變得冗長、脆弱且難以維護(hù)。而多態(tài)通過將“做什么”調(diào)用Draw和“怎么做”每個(gè)圖形具體的繪制邏輯解耦讓你可以寫出像shape-Draw()這樣的通用代碼。無論shape實(shí)際指向哪種圖形都能正確調(diào)用其自身的繪制方法。這種設(shè)計(jì)使得新增圖形類型時(shí)原有代碼幾乎無需改動(dòng)符合“開閉原則”對擴(kuò)展開放對修改關(guān)閉。在C中多態(tài)的實(shí)現(xiàn)核心是虛函數(shù)Virtual Function和動(dòng)態(tài)綁定Dynamic Binding也叫晚期綁定。這背后是編譯器為我們建立的一張“虛函數(shù)表”vtable和每個(gè)對象中一個(gè)隱藏的“虛函數(shù)表指針”vptr。當(dāng)你通過基類指針或引用調(diào)用一個(gè)虛函數(shù)時(shí)程序會(huì)在運(yùn)行時(shí)根據(jù)vptr找到對象實(shí)際類型對應(yīng)的vtable再從vtable中找到正確的函數(shù)地址進(jìn)行調(diào)用。這個(gè)過程是動(dòng)態(tài)的取決于運(yùn)行時(shí)對象的實(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中通過在基類的成員函數(shù)聲明前加上virtual關(guān)鍵字就將其聲明為虛函數(shù)。派生類可以但不是必須用相同的函數(shù)簽名函數(shù)名、參數(shù)列表、常量性對其進(jìn)行重寫Override。這里的關(guān)鍵是“重寫”而非“重載”O(jiān)verload重載發(fā)生在同一作用域內(nèi)函數(shù)名相同但參數(shù)不同而重寫是派生類對基類虛函數(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 { // 派生類重寫虛函數(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ù)的類派生而來的類生成一個(gè)虛函數(shù)表。這個(gè)表本質(zhì)上是一個(gè)函數(shù)指針數(shù)組按順序存放了該類所有虛函數(shù)的地址。對于上面的例子Shape類的vtable包含Shape::Draw,Shape::~Shape。Circle類的vtable包含Circle::Draw,Circle::~Circle如果Circle定義了析構(gòu)函數(shù)否則是Shape::~Shape。Rectangle類的vtable類似。同時(shí)編譯器會(huì)在每個(gè)該類對象的布局中隱式地添加一個(gè)指針成員通常放在對象內(nèi)存的起始位置這就是虛函數(shù)表指針vptr。在對象構(gòu)造時(shí)它的vptr會(huì)被初始化為指向其所屬類的vtable。當(dāng)我們寫下shape.Draw()這句代碼時(shí)假設(shè)shape是基類引用編譯器生成的代碼大致會(huì)做以下事情通過shape對象找到其vptr。通過vptr找到對應(yīng)的vtable。在vtable中找到Draw函數(shù)對應(yīng)的槽位偏移量在編譯時(shí)確定。通過該槽位中的函數(shù)指針調(diào)用真正的函數(shù)。這個(gè)過程發(fā)生在程序運(yùn)行時(shí)因此稱為“動(dòng)態(tài)綁定”或“晚期綁定”。與之相對的是“靜態(tài)綁定”或“早期綁定”即普通成員函數(shù)的調(diào)用在編譯時(shí)就已經(jīng)確定了具體的函數(shù)地址。注意動(dòng)態(tài)綁定只發(fā)生在通過指針或引用調(diào)用虛函數(shù)時(shí)。如果通過對象本身而非指針/引用調(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; // 問題所在 return 0; }輸出只有Base destructor。Derived對象的析構(gòu)函數(shù)沒有被調(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)致派生類對象的部分沒有被正確析構(gòu)即發(fā)生了“對象切片”式的析構(gòu)只析構(gòu)了基類子對象。如何解決將基類的析構(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)綁定通過ptr指向的Derived對象的vtable找到Derived::~Derived()并調(diào)用而Derived的析構(gòu)函數(shù)會(huì)自動(dòng)調(diào)用其基類的析構(gòu)函數(shù)從而完成完整的析構(gòu)鏈。實(shí)操心得如果一個(gè)類有可能被繼承并且會(huì)通過基類指針來刪除派生類對象那么它的析構(gòu)函數(shù)必須是虛的。這是一個(gè)黃金法則。即使這個(gè)類當(dāng)前看起來不會(huì)被繼承作為良好的設(shè)計(jì)習(xí)慣如果它定義了其他虛函數(shù)通常也意味著它被設(shè)計(jì)為基類其析構(gòu)函數(shù)就應(yīng)該聲明為虛的。反之如果一個(gè)類不是設(shè)計(jì)用來作為基類例如值語義的類如std::complex則不應(yīng)包含虛函數(shù)也不應(yīng)有虛析構(gòu)函數(shù)以避免不必要的vptr開銷。3. 純虛函數(shù)、抽象類與接口設(shè)計(jì)有時(shí)基類中的某個(gè)虛函數(shù)無法給出一個(gè)有意義的默認(rèn)實(shí)現(xiàn)。例如我們的Shape類一個(gè)“形狀”的“繪制”操作本身是抽象的無法具體實(shí)現(xiàn)。這時(shí)我們可以將其聲明為純虛函數(shù)Pure Virtual Function。class Shape { public: virtual void Draw() const 0; // 純虛函數(shù)用 0 標(biāo)識 virtual ~Shape() default; // 虛析構(gòu)函數(shù) };包含至少一個(gè)純虛函數(shù)的類被稱為抽象類Abstract Class。抽象類不能被實(shí)例化即你不能創(chuàng)建Shape shape;這樣的對象。它的存在就是為了被繼承為派生類提供一個(gè)統(tǒng)一的接口規(guī)范。派生類必須重寫實(shí)現(xiàn)基類中的所有純虛函數(shù)否則該派生類也會(huì)成為抽象類同樣無法實(shí)例化。class Circle : public Shape { public: void Draw() const override { // 必須實(shí)現(xiàn)Draw否則Circle也是抽象類 std::cout Drawing a circle. std::endl; } // 如果沒有其他純虛函數(shù)Circle就是具體類可以實(shí)例化 }; // class IncompleteShape : public Shape {}; // 錯(cuò)誤沒有實(shí)現(xiàn)Draw仍是抽象類無法創(chuàng)建對象。3.1 接口類Interface Class在C中并沒有像Java或C#那樣的interface關(guān)鍵字。我們通常通過一個(gè)所有成員函數(shù)都是純虛函數(shù)且沒有數(shù)據(jù)成員的抽象類來模擬“接口”。class IDrawable { // 接口類習(xí)慣以‘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è)類具備多種能力通過實(shí)現(xiàn)多個(gè)接口。注意事項(xiàng)使用純虛函數(shù)時(shí)雖然你不能為純虛函數(shù)提供定義但C允許你為純虛函數(shù)提供一份實(shí)現(xiàn)。這份實(shí)現(xiàn)只能通過基類名顯式調(diào)用如Shape::Draw()通常用于提供一些公共的、可選的默認(rèn)行為片段但派生類仍然必須重寫該函數(shù)。這個(gè)技巧使用場景較少需謹(jǐn)慎。4. 多態(tài)的高級應(yīng)用與設(shè)計(jì)模式初窺掌握了基礎(chǔ)我們可以看看多態(tài)在更復(fù)雜場景下的威力它與一些經(jīng)典的設(shè)計(jì)模式緊密相關(guān)。4.1 工廠方法模式Factory Method當(dāng)你需要?jiǎng)?chuàng)建對象但又不希望將具體的類名硬編碼在客戶端代碼中時(shí)工廠方法就派上用場了。它定義一個(gè)用于創(chuàng)建對象的接口虛函數(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派生類無需修改已有的NewDocument等業(yè)務(wù)邏輯。4.2 策略模式Strategy定義一系列算法將每個(gè)算法封裝起來并使它們可以互相替換。策略模式讓算法的變化獨(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; // 簡化返回 } }; 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ù)寫入文件等 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的代碼無需任何改動(dòng)。這完美體現(xiàn)了“對修改關(guān)閉對擴(kuò)展開放”的原則。5. 多態(tài)實(shí)踐中的常見陷阱與性能考量多態(tài)雖好但使用不當(dāng)也會(huì)帶來問題。下面是一些實(shí)戰(zhàn)中容易踩的坑和需要注意的地方。5.1 對象切片Object Slicing這是C特有且非常危險(xiǎn)的一個(gè)問題。當(dāng)派生類對象被按值傳遞給一個(gè)接受基類對象的函數(shù)或者用派生類對象賦值給基類對象時(shí)會(huì)發(fā)生對象切片。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; // 對象切片賦值 b.Print(); // 輸出Base: 10 return 0; }FuncByValue(d)調(diào)用時(shí)發(fā)生了拷貝構(gòu)造參數(shù)b是一個(gè)全新的Base對象它只復(fù)制了d中的Base子對象部分base_dataderived_data和Derived的vptr指向Derived的vtable都丟失了。因此多態(tài)失效且數(shù)據(jù)不完整。而按引用傳遞則沒有這個(gè)問題。避坑指南在面向?qū)ο蠛投鄳B(tài)場景下應(yīng)盡量避免按值傳遞對象尤其是基類對象。優(yōu)先使用指針智能指針更佳或引用。這能有效避免意外的對象切片和額外的拷貝開銷。5.2 重寫Override的常見錯(cuò)誤簽名不匹配派生類函數(shù)與基類虛函數(shù)的簽名參數(shù)類型、常量性、引用限定符必須嚴(yán)格一致否則會(huì)被視為新的重載函數(shù)而非重寫。class Base { virtual void foo(int); virtual void bar() const; }; class Derived : public Base { void foo(double); // 錯(cuò)誤參數(shù)不同是重載不是重寫。編譯通過但多態(tài)失效。 void bar(); // 錯(cuò)誤常量性不同不是重寫。編譯通過但多態(tài)失效。 };解決方案始終使用C11引入的override關(guān)鍵字。編譯器會(huì)幫你檢查是否成功重寫了基類的虛函數(shù)。class Derived : public Base { void foo(double) override; // 編譯錯(cuò)誤提示沒有匹配的虛函數(shù)可重寫。 void bar() override; // 編譯錯(cuò)誤常量性不匹配。 void foo(int) override; // 正確 void bar() const override; // 正確 };默認(rèn)參數(shù)不同虛函數(shù)的重寫只關(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ì)帶來一些運(yùn)行時(shí)開銷間接調(diào)用開銷通過vptr和vtable查找函數(shù)地址比直接調(diào)用函數(shù)多一次間接尋址?？臻g開銷每個(gè)包含虛函數(shù)的對象都需要一個(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ù)。對于不會(huì)被重寫或不需要通過基類接口調(diào)用的函數(shù)不要聲明為virtual。關(guān)注調(diào)用頻率在性能關(guān)鍵的循環(huán)或熱路徑中頻繁調(diào)用的虛函數(shù)可能成為瓶頸?？梢钥紤]使用“CRTP”奇異遞歸模板模式等靜態(tài)多態(tài)技術(shù)來消除運(yùn)行時(shí)開銷但這會(huì)犧牲一些動(dòng)態(tài)靈活性。權(quán)衡設(shè)計(jì)在大多數(shù)應(yīng)用中多態(tài)帶來的設(shè)計(jì)優(yōu)勢和可維護(hù)性提升遠(yuǎn)大于其微小的性能開銷。除非性能分析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對象時(shí)先調(diào)用Base的構(gòu)造函數(shù)。此時(shí)Derived對象尚未完全構(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)過程中對象的vptr會(huì)逐層調(diào)整回基類的vtable。重要原則避免在構(gòu)造函數(shù)和析構(gòu)函數(shù)中調(diào)用虛函數(shù)因?yàn)槟銦o法獲得預(yù)期的多態(tài)行為。如果需要在對象初始化或清理時(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)編程帶來了更多安全和便利的工具。6.1final與override關(guān)鍵字override如前所述明確指示該函數(shù)旨在重寫基類虛函數(shù)讓編譯器進(jìn)行嚴(yán)格檢查。final用于類或虛函數(shù)。用于類表示該類不能被繼承。class Derived final : public Base {};用于虛函數(shù)表示該虛函數(shù)在派生類中不能被進(jìn)一步重寫。class Base { virtual void foo(); }; class Derived : public Base { void foo() final override; // Derived::foo 是最終版本 }; class FurtherDerived : public Derived { void foo() override; // 編譯錯(cuò)誤不能重寫final函數(shù) };使用final可以防止意外的繼承或重寫增強(qiáng)設(shè)計(jì)意圖的表達(dá)和代碼的穩(wěn)定性。6.2 智能指針與多態(tài)使用原始指針管理多態(tài)對象的內(nèi)存容易出錯(cuò)忘記delete。現(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)用 } // 離開作用域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)對象內(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對象也可能指向其他... */; // 不安全的方式 // Derived* dptr (Derived*)ptr; // 如果ptr實(shí)際不是Derived行為未定義 // 安全的方式 Derived* dptr dynamic_castDerived*(ptr); if (dptr ! nullptr) { // 轉(zhuǎn)換成功ptr確實(shí)指向一個(gè)Derived或其派生類對象 dptr-DerivedSpecificMethod(); } else { // 轉(zhuǎn)換失敗ptr指向的不是Derived類型 // 處理錯(cuò)誤或執(zhí)行其他邏輯 }dynamic_cast在運(yùn)行時(shí)檢查轉(zhuǎn)換的安全性。如果指針實(shí)際指向的對象類型與目標(biāo)類型兼容是目標(biāo)類型或其公開派生類則轉(zhuǎn)換成功否則返回nullptr對于指針或拋出std::bad_cast異常對于引用。注意dynamic_cast需要運(yùn)行時(shí)類型信息RTTI并且只能用于包含虛函數(shù)的類多態(tài)類型。它有一定的性能開銷。過度使用dynamic_cast往往是設(shè)計(jì)有問題的信號違反了“面向接口編程而非面向?qū)崿F(xiàn)編程”的原則應(yīng)優(yōu)先考慮通過虛函數(shù)將行為封裝在類內(nèi)部。6.4 使用std::variant和std::visit的另一種多態(tài)C17對于類型集合已知且有限的場景C17的std::variant一種類型安全的聯(lián)合配合std::visit訪問者模式可以提供一種不依賴?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; // 形狀是這三種類型之一 // 訪問者是一個(gè)可調(diào)用對象能處理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)用對應(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ò)展性無法在運(yùn)行時(shí)添加新的形狀類型而不重新編譯。適用于類型固定、對性能要求極高的場景。多態(tài)是C面向?qū)ο缶幊痰撵`魂它連接了抽象與具體定義了清晰的接口契約。從理解虛函數(shù)表的工作原理到熟練運(yùn)用override/final等現(xiàn)代關(guān)鍵字再到規(guī)避對象切片、構(gòu)造函數(shù)中調(diào)用虛函數(shù)等陷阱每一步都需要在理論和實(shí)踐中反復(fù)錘煉。我個(gè)人在大型項(xiàng)目中最深的體會(huì)是良好的多態(tài)設(shè)計(jì)是代碼保持長期可維護(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ī)。