1. 三大特性到底在解決什么問(wèn)題從代碼越寫(xiě)越亂說(shuō)起封裝、繼承、多態(tài)是C面向?qū)ο缶幊痰娜笾е彩撬蠧學(xué)習(xí)者繞不開(kāi)的第一道坎。我見(jiàn)過(guò)太多人把這三個(gè)詞背得滾瓜爛熟一到寫(xiě)項(xiàng)目就原形畢露——成員變量全public、繼承層次隨手搭三層、虛函數(shù)該加不加最后代碼改一處崩三處。這不是語(yǔ)法問(wèn)題而是沒(méi)搞清楚這三大特性究竟在為誰(shuí)服務(wù)。C的封裝、繼承、多態(tài)本質(zhì)上是三把控制復(fù)雜度的刀。程序規(guī)模小的時(shí)候用C寫(xiě)幾百行過(guò)程式代碼完全夠用可當(dāng)項(xiàng)目膨脹到幾萬(wàn)行、十幾個(gè)人協(xié)作時(shí)問(wèn)題就變了誰(shuí)都能改的全局變量、改了A模塊導(dǎo)致B模塊異常、新增一種類(lèi)型要改遍所有switch分支。三大特性正是針對(duì)這三種失控場(chǎng)景開(kāi)出的藥方。封裝處理數(shù)據(jù)被亂改繼承處理重復(fù)代碼到處抄多態(tài)處理類(lèi)型一多就寫(xiě)不完的if-else。理解這三句話(huà)比記住概念定義重要一百倍。這篇文章面向的是已經(jīng)寫(xiě)過(guò)一些C或C代碼、但還沒(méi)建立起面向?qū)ο笤O(shè)計(jì)直覺(jué)的開(kāi)發(fā)者。你會(huì)看到每一特性背后的動(dòng)機(jī)、可直接抄走的代碼結(jié)構(gòu)、編譯期和運(yùn)行期的真實(shí)行為以及我在實(shí)際項(xiàng)目里踩過(guò)的坑。不講空理論只講怎么用、為什么這么用、什么時(shí)候不該用。2. 封裝把數(shù)據(jù)和操作捆在一起順手把門(mén)關(guān)好2.1 public、protected、private到底怎么選封裝的核心動(dòng)作只有兩個(gè)把相關(guān)的數(shù)據(jù)和行為放進(jìn)同一個(gè)類(lèi)然后限制外部對(duì)內(nèi)部細(xì)節(jié)的直接訪(fǎng)問(wèn)。訪(fǎng)問(wèn)修飾符就是那把鎖。private只允許本類(lèi)內(nèi)部訪(fǎng)問(wèn)派生類(lèi)和外部都碰不到。絕大多數(shù)成員變量都該是它。protected本類(lèi)和派生類(lèi)能訪(fǎng)問(wèn)外部不行。適合那些確實(shí)需要子類(lèi)參與維護(hù)、但不想暴露給外部的成員。public誰(shuí)都能用。只放真正穩(wěn)定的對(duì)外接口。新手最容易犯的錯(cuò)是為了省事全寫(xiě)public。我早期寫(xiě)一個(gè)玩家類(lèi)坐標(biāo)x、y直接public結(jié)果團(tuán)隊(duì)里有人繞過(guò)邊界檢測(cè)邏輯直接把坐標(biāo)設(shè)成(99999, 99999)角色飛出地圖。后來(lái)把所有字段改成private只暴露moveTo(x, y)和getPosition()越界判斷統(tǒng)一在內(nèi)部處理這類(lèi)bug直接歸零。這就是封裝的真實(shí)價(jià)值它把規(guī)則關(guān)進(jìn)類(lèi)里誰(shuí)都不能繞過(guò)。選protected要格外謹(jǐn)慎。它比private更開(kāi)放一旦有派生類(lèi)依賴(lài)了某個(gè)protected成員你后續(xù)想重構(gòu)它就得多考慮一層。我的經(jīng)驗(yàn)是默認(rèn)private確實(shí)需要子類(lèi)訪(fǎng)問(wèn)再升到protected幾乎沒(méi)有理由用public成員變量。2.2 接口與實(shí)現(xiàn)分離封裝的真正目的很多人以為封裝就是加個(gè)getter/setter其實(shí)方向反了。給每個(gè)private字段配一對(duì)get/set等于把字段變相公開(kāi)封裝形同虛設(shè)。真正的封裝是對(duì)外暴露意圖不暴露數(shù)據(jù)。對(duì)比一下// 反面教材偽封裝 class Account { public: double getBalance() const { return balance_; } void setBalance(double b) { balance_ b; } // 外部可以隨意改余額 private: double balance_ 0; };// 正確做法暴露行為不暴露數(shù)據(jù) class Account { public: bool deposit(double amount) { if (amount 0) return false; balance_ amount; return true; } bool withdraw(double amount) { if (amount 0 || amount balance_) return false; balance_ - amount; return true; } double balance() const { return balance_; } private: double balance_ 0; };第二種寫(xiě)法里外部無(wú)法直接把余額改成任意值所有資金變動(dòng)都必須經(jīng)過(guò)deposit和withdraw規(guī)則集中在一處。以后要加單筆不能超過(guò)5萬(wàn)的限制只改withdraw一個(gè)函數(shù)即可。這就是封裝帶來(lái)的可維護(hù)性也是它真正值錢(qián)的地方。2.3 實(shí)操提醒const成員函數(shù)、友元和內(nèi)存布局的坑封裝的邊界細(xì)節(jié)里有三個(gè)點(diǎn)值得單獨(dú)拎出來(lái)說(shuō)。第一const成員函數(shù)。在函數(shù)聲明末尾加const表示這個(gè)函數(shù)不修改對(duì)象狀態(tài)。double balance() const這樣的只讀接口必須加const否則const對(duì)象和const引用調(diào)不了它。這是封裝的一部分——用類(lèi)型系統(tǒng)強(qiáng)制讀操作不改數(shù)據(jù)。第二友元(friend)。友元會(huì)打破封裝讓外部類(lèi)或函數(shù)直接訪(fǎng)問(wèn)private成員。它偶爾用在對(duì)等類(lèi)協(xié)作上比如矩陣和向量但絕大多數(shù)情況下能通過(guò)public接口解決就別用friend。我維護(hù)過(guò)一個(gè)項(xiàng)目friend聲明滿(mǎn)天飛重構(gòu)時(shí)根本不敢動(dòng)任何private字段因?yàn)椴恢勒l(shuí)會(huì)從背后捅一刀。第三內(nèi)存布局差異。加了private/public并不改變對(duì)象大小但給字段排序會(huì)影響內(nèi)存對(duì)齊。比如class A { // 通常是 8 字節(jié)char 3 padding int char c; int i; }; class B { // 8 字節(jié)三個(gè)char 1 padding int char a, b, c; int i; };注意封裝的目的是隱藏實(shí)現(xiàn)不是炫技。類(lèi)的大小、內(nèi)部字段順序都屬于實(shí)現(xiàn)細(xì)節(jié)外部代碼絕不應(yīng)該依賴(lài)它們否則布局一變就崩。3. 繼承代碼復(fù)用的雙刃劍怎么用才不翻車(chē)3.1 三種繼承方式與基類(lèi)成員的可見(jiàn)性變化繼承讓派生類(lèi)自動(dòng)擁有基類(lèi)的成員減少重復(fù)代碼。C有public、protected、private三種繼承方式它們決定基類(lèi)成員在派生類(lèi)中的可見(jiàn)性檔位?；?lèi)成員 \ 繼承方式public繼承protected繼承private繼承publicpublicprotectedprivateprotectedprotectedprotectedprivateprivate不可訪(fǎng)問(wèn)不可訪(fǎng)問(wèn)不可訪(fǎng)問(wèn)public繼承表達(dá)是一個(gè)(is-a)關(guān)系是99%場(chǎng)景的選擇。protected和private繼承會(huì)把基類(lèi)的public接口降級(jí)使得派生類(lèi)的對(duì)象不能再被當(dāng)作基類(lèi)對(duì)象使用通常只用在實(shí)現(xiàn)復(fù)用的特殊場(chǎng)景實(shí)踐中很少見(jiàn)。一個(gè)關(guān)鍵點(diǎn)是無(wú)論哪種繼承基類(lèi)的private成員在派生類(lèi)里都不可直接訪(fǎng)問(wèn)只能通過(guò)基類(lèi)提供的public或protected接口去操作。這正好呼應(yīng)了封裝——派生類(lèi)也需要被規(guī)矩約束。class Base { public: void open() { std::cout open\n; } protected: int internal_ 1; private: int secret_ 42; }; class Derived : public Base { public: void test() { open(); // OKpublic繼承后仍是public internal_; // OKprotected可被派生類(lèi)訪(fǎng)問(wèn) // secret_ 0; // 編譯錯(cuò)誤private無(wú)論如何都碰不到 } };3.2 構(gòu)造與析構(gòu)順序初始化列表和虛析構(gòu)函數(shù)繼承鏈上的構(gòu)造順序是嚴(yán)格的基類(lèi)構(gòu)造 → 成員對(duì)象構(gòu)造按聲明順序不是初始化列表順序→ 派生類(lèi)構(gòu)造函數(shù)體。析構(gòu)順序完全相反。class Member { public: Member() { std::cout Member 構(gòu)造\n; } ~Member() { std::cout Member 析構(gòu)\n; } }; class Base { public: Base() { std::cout Base 構(gòu)造\n; } ~Base() { std::cout Base 析構(gòu)\n; } }; class Derived : public Base { public: Derived() { std::cout Derived 構(gòu)造\n; } ~Derived() { std::cout Derived 析構(gòu)\n; } private: Member m_; }; // 輸出Base 構(gòu)造 → Member 構(gòu)造 → Derived 構(gòu)造 → Derived 析構(gòu) → Member 析構(gòu) → Base 析構(gòu)構(gòu)造函數(shù)初始化列表的順序也很容易踩坑成員的初始化順序取決于它們?cè)陬?lèi)里的聲明順序而不是你在初始化列表里寫(xiě)的順序。class Bad { int b_; int a_; public: Bad(int x) : a_(x), b_(a_) {} // 實(shí)際先初始化 b_(a_)此時(shí) a_ 還沒(méi)初始化 };注意寫(xiě)初始化列表時(shí)務(wù)必讓它和成員聲明順序保持一致否則會(huì)出現(xiàn)讀到未初始化值的隱蔽bug。開(kāi)啟-Wall -Wextra可以讓編譯器幫你報(bào)警。另一個(gè)必須記牢的規(guī)則只要類(lèi)有可能被繼承析構(gòu)函數(shù)就應(yīng)該聲明為virtual。否則通過(guò)基類(lèi)指針delete一個(gè)派生類(lèi)對(duì)象時(shí)派生類(lèi)的析構(gòu)函數(shù)不會(huì)執(zhí)行直接導(dǎo)致資源泄漏。struct Base { ~Base() {} }; struct Derived : Base { ~Derived() { /* 釋放資源 */ } }; Base* p new Derived; delete p; // 只調(diào)用了 Base::~BaseDerived 的資源沒(méi)釋放3.3 該用繼承還是組合一條判斷清單繼承是強(qiáng)耦合關(guān)系派生類(lèi)和基類(lèi)綁定得非常緊。改基類(lèi)接口往往牽動(dòng)所有派生類(lèi)。設(shè)計(jì)上有句老話(huà)叫優(yōu)先考慮組合而非繼承用前的三個(gè)自測(cè)問(wèn)題派生類(lèi)真的是一個(gè)基類(lèi)嗎圓是形狀屬于繼承汽車(chē)有發(fā)動(dòng)機(jī)屬于組合?；?lèi)的所有接口對(duì)派生類(lèi)都成立嗎如果有一半接口派生類(lèi)用不上或者要拋異常那就別繼承。我需要的是復(fù)用代碼還是被統(tǒng)一處理只圖復(fù)用代碼就用組合或工具函數(shù)。// 組合引擎是發(fā)動(dòng)機(jī)的成員而不是汽車(chē)?yán)^承發(fā)動(dòng)機(jī) class Car { public: Car() : engine_(300) {} void start() { engine_.ignite(); } private: Engine engine_; };繼承描述的是接口契約組合描述的是擁有。我在實(shí)際項(xiàng)目里的判斷標(biāo)準(zhǔn)很簡(jiǎn)單需要用基類(lèi)指針做多態(tài)分發(fā)時(shí)用繼承只想要?jiǎng)e人寫(xiě)好的功能時(shí)用組合或抽成獨(dú)立函數(shù)。這個(gè)標(biāo)準(zhǔn)幫我避開(kāi)了大量繼承層級(jí)失控的重構(gòu)。4. 多態(tài)同一個(gè)調(diào)用產(chǎn)生不同行為4.1 靜態(tài)多態(tài)與動(dòng)態(tài)多態(tài)先分清對(duì)象C里的多態(tài)分兩類(lèi)靜態(tài)多態(tài)編譯期確定。函數(shù)重載、運(yùn)算符重載、模板都屬于這一類(lèi)。動(dòng)態(tài)多態(tài)運(yùn)行期確定。通過(guò)虛函數(shù) 基類(lèi)指針/引用調(diào)用實(shí)現(xiàn)。函數(shù)重載靠參數(shù)列表簽名區(qū)分編譯器在編譯時(shí)就能挑出正確版本void print(int x); void print(const std::string s); void print(double x, int digits);模板把類(lèi)型當(dāng)作參數(shù)編譯期生成具體代碼運(yùn)行時(shí)沒(méi)有額外開(kāi)銷(xiāo)。這類(lèi)多態(tài)效率高、無(wú)虛函數(shù)表成本代價(jià)是編譯時(shí)間變長(zhǎng)、錯(cuò)誤信息難讀。動(dòng)態(tài)多態(tài)靠虛函數(shù)表實(shí)現(xiàn)通過(guò)基類(lèi)指針或引用調(diào)用虛函數(shù)時(shí)實(shí)際執(zhí)行哪個(gè)函數(shù)在運(yùn)行時(shí)才確定。兩者共同的判斷點(diǎn)是調(diào)用者和被調(diào)用者之間是否存在運(yùn)行時(shí)才知道的類(lèi)型關(guān)系。不需要運(yùn)行時(shí)判斷就用靜態(tài)多態(tài)需要根據(jù)實(shí)際對(duì)象類(lèi)型走不同邏輯就用動(dòng)態(tài)多態(tài)。4.2 虛函數(shù)表機(jī)制對(duì)象里到底存了什么動(dòng)態(tài)多態(tài)的實(shí)現(xiàn)依賴(lài)虛函數(shù)表(vtable)和虛表指針(vptr)。規(guī)則是一個(gè)類(lèi)只要含有虛函數(shù)含繼承來(lái)的編譯器就會(huì)為它生成一張?zhí)摵瘮?shù)表。該類(lèi)的每個(gè)對(duì)象里會(huì)隱藏一個(gè)指針(vptr)指向所屬類(lèi)的虛函數(shù)表。vtable里按順序存放該類(lèi)虛函數(shù)的入口地址。調(diào)用shape-area()時(shí)編譯器生成的大致邏輯是取出shape指向?qū)ο罄锏膙ptr → 在vtable中定位area的槽位 → 取出地址并調(diào)用。這個(gè)間接尋址過(guò)程就是多態(tài)運(yùn)行期才確定調(diào)用哪個(gè)函數(shù)的底層機(jī)制。對(duì)象內(nèi)存里首地址通常是vptr單繼承、無(wú)虛基類(lèi)的情況下。一個(gè)含虛函數(shù)的空類(lèi)在64位平臺(tái)上大小通常是8字節(jié)一個(gè)指針。多個(gè)繼承分支時(shí)對(duì)象內(nèi)可能出現(xiàn)多個(gè)vptr這也是為什么多重繼承布局比單繼承復(fù)雜。class Shape { public: virtual double area() const { return 0.0; } virtual ~Shape() default; }; class Rectangle : public Shape { public: double area() const override { return w_ * h_; } private: double w_ 0, h_ 0; }; Shape* s new Rectangle; // 運(yùn)行期實(shí)際指向 Rectangle 對(duì)象 double a s-area(); // 走 vtable調(diào)用 Rectangle::area注意不要試圖手動(dòng)解析vptr去驗(yàn)證多態(tài)。對(duì)象布局是編譯器實(shí)現(xiàn)細(xì)節(jié)不同編譯器、不同優(yōu)化等級(jí)下都可能不同生產(chǎn)代碼里絕不能依賴(lài)它。4.3 純虛函數(shù)、抽象類(lèi)與 override/final 的正確用法純虛函數(shù)用 0聲明告訴編譯器基類(lèi)不提供實(shí)現(xiàn)由派生類(lèi)負(fù)責(zé)。含純虛函數(shù)的類(lèi)叫抽象類(lèi)無(wú)法實(shí)例化。它常用來(lái)定義接口契約class Drawable { public: virtual void draw() const 0; // 純虛接口 virtual ~Drawable() default; }; class Button : public Drawable { public: void draw() const override { /* 畫(huà)按鈕 */ } };C11引入的override和final幾乎應(yīng)該成為默認(rèn)習(xí)慣。override讓編譯器驗(yàn)證你在重寫(xiě)基類(lèi)虛函數(shù)簽名不小心寫(xiě)錯(cuò)時(shí)比如漏了const會(huì)直接報(bào)錯(cuò)而不是悄悄變成一個(gè)新函數(shù)。class Wrong : public Shape { public: // 假設(shè) Shape::area 是 const 的這里漏了 const double area() { return 1.0; } // 編譯錯(cuò)誤沒(méi)有可覆蓋的虛函數(shù) };final則表示到此為止不許再被繼承或重寫(xiě)適合那些經(jīng)過(guò)驗(yàn)證、不希望被改變的實(shí)現(xiàn)。還有一個(gè)坑基類(lèi)虛函數(shù)被派生類(lèi)同名函數(shù)隱藏。如果派生類(lèi)定義了同名但參數(shù)不同的函數(shù)基類(lèi)所有同名重載都會(huì)被名字隱藏需要using Base::foo;顯式引入。我見(jiàn)過(guò)有人重載了print卻按基類(lèi)指針調(diào)用不到排查半天就是這個(gè)問(wèn)題。5. 三者協(xié)同一個(gè)可以照著抄的形狀計(jì)算小項(xiàng)目5.1 需求拆解與類(lèi)結(jié)構(gòu)設(shè)計(jì)光看概念容易飄我們把封裝、繼承、多態(tài)塞進(jìn)一個(gè)真實(shí)小需求里支持多種形狀計(jì)算各自面積并統(tǒng)一打印。設(shè)計(jì)思路用抽象基類(lèi)Shape定義契約多態(tài)的錨點(diǎn)。用private成員 public接口保存形狀數(shù)據(jù)封裝。用Rectangle、Circle派生類(lèi)復(fù)用接口并各自實(shí)現(xiàn)繼承。用基類(lèi)指針容器統(tǒng)一處理避免寫(xiě)一堆if (類(lèi)型 ...)多態(tài)落地點(diǎn)。這個(gè)結(jié)構(gòu)最大的收益在于擴(kuò)展性。以后要加三角形、橢圓只需新增一個(gè)派生類(lèi)主循環(huán)一行都不用改。這就是對(duì)擴(kuò)展開(kāi)放對(duì)修改關(guān)閉在實(shí)際代碼里的樣子。5.2 完整代碼實(shí)現(xiàn)與逐段解析#include iostream #include memory #include vector class Shape { // 抽象基類(lèi)定義契約 public: virtual ~Shape() default; // 虛析構(gòu)保證派生類(lèi)資源正確釋放 virtual double area() const 0; virtual const char* name() const 0; void describe() const { // 非虛所有派生類(lèi)共用同一套描述邏輯 std::cout name() 面積 area() \n; } }; class Rectangle : public Shape { public: Rectangle(double w, double h) : w_(w), h_(h) {} // 封裝外部只傳參數(shù) double area() const override { return w_ * h_; } const char* name() const override { return 矩形; } private: double w_, h_; // 封裝外部改不了 }; class Circle : public Shape { public: explicit Circle(double r) : r_(r) {} double area() const override { return 3.141592653589793 * r_ * r_; } const char* name() const override { return 圓; } private: double r_; }; int main() { std::vectorstd::unique_ptrShape shapes; shapes.emplace_back(new Rectangle(3.0, 4.0)); shapes.emplace_back(new Circle(2.0)); for (const auto s : shapes) { s-describe(); // 同一個(gè)調(diào)用運(yùn)行期走不同實(shí)現(xiàn) } // 輸出矩形 面積 12 / 圓 面積 12.5664 }逐段看Shape里的area和name是純虛接口強(qiáng)制派生類(lèi)必須實(shí)現(xiàn)describe是普通成員函數(shù)調(diào)用虛函數(shù)完成描述體現(xiàn)了模板方法的思路。Rectangle和Circle把數(shù)據(jù)私有化只能在構(gòu)造時(shí)注入避免了外部篡改。main里用vectorunique_ptrShape持有對(duì)象注意不能放值類(lèi)型vectorShape因?yàn)槌橄箢?lèi)不能被實(shí)例化就算放具體類(lèi)也會(huì)發(fā)生對(duì)象切片派生類(lèi)部分被截?cái)喽鄳B(tài)失效。5.3 編譯運(yùn)行與結(jié)果驗(yàn)證用g編譯g -stdc17 -Wall -Wextra -O2 shape.cpp -o shape ./shape預(yù)期輸出矩形 面積 12 圓 面積 12.5664如果忘了給Shape加虛析構(gòu)用unique_ptrShape釋放Rectangle對(duì)象時(shí)會(huì)只調(diào)基類(lèi)析構(gòu)。我們可以做個(gè)小驗(yàn)證給基類(lèi)和派生類(lèi)析構(gòu)都加打印看看順序是否符合派生類(lèi)先析構(gòu)。實(shí)測(cè)下來(lái)加上virtual后輸出順序正確去掉后派生類(lèi)析構(gòu)不執(zhí)行——這個(gè)實(shí)驗(yàn)比看十遍書(shū)都管用。提示把編譯警告開(kāi)到-Wall -Wextra然后把override故意刪掉你會(huì)看到編譯器提醒你這個(gè)函數(shù)隱藏/沒(méi)有覆蓋基類(lèi)虛函數(shù)這正是override存在的意義。6. 常見(jiàn)問(wèn)題與排查技巧實(shí)錄6.1 常見(jiàn)問(wèn)題速查表現(xiàn)象根本原因解決方式基類(lèi)指針delete派生類(lèi)對(duì)象派生類(lèi)資源沒(méi)釋放析構(gòu)函數(shù)不是virtual基類(lèi)析構(gòu)聲明為virtual多態(tài)調(diào)用沒(méi)生效走的還是基類(lèi)實(shí)現(xiàn)缺virtual或按值傳參導(dǎo)致對(duì)象切片加virtual改用指針/引用派生類(lèi)函數(shù)寫(xiě)了但沒(méi)被調(diào)用簽名不一致漏const等變成了隱藏加override讓編譯器報(bào)錯(cuò)派生類(lèi)同名函數(shù)讓基類(lèi)重載全部不可見(jiàn)名字隱藏(name hiding)用using Base::foo;引入初始化列表順序和預(yù)期不符初始化順序取決于成員聲明順序保持聲明與列表順序一致一個(gè)類(lèi)改成含虛函數(shù)后對(duì)象變大對(duì)象里多了vptr正常現(xiàn)象注意接口設(shè)計(jì)穩(wěn)定性6.2 我踩過(guò)的坑和幾個(gè)實(shí)用習(xí)慣第一個(gè)坑來(lái)自濫用繼承。我早期寫(xiě)過(guò)一個(gè)Player類(lèi)繼承Character后來(lái)發(fā)現(xiàn)玩家和NPC只是數(shù)據(jù)不同、行為高度相似硬拆成繼承后NPC被迫實(shí)現(xiàn)了一堆只有玩家才有的接口。改回組合策略模式后代碼量少了一半。繼承描述的是穩(wěn)定的is-a關(guān)系需求還在變的時(shí)候先用組合。第二個(gè)坑是虛函數(shù)在構(gòu)造/析構(gòu)函數(shù)里調(diào)用?；?lèi)構(gòu)造期間派生類(lèi)還沒(méi)初始化完此時(shí)調(diào)用虛函數(shù)只會(huì)執(zhí)行基類(lèi)版本不會(huì)多態(tài)。這個(gè)行為坑過(guò)我不止一次排查時(shí)一度以為是編譯器bug。記住不要在構(gòu)造函數(shù)和析構(gòu)函數(shù)里調(diào)用虛函數(shù)。第三個(gè)習(xí)慣是堅(jiān)持用override和final。它們沒(méi)有任何運(yùn)行時(shí)開(kāi)銷(xiāo)純粹是讓編譯器替你把關(guān)。團(tuán)隊(duì)協(xié)作里這兩個(gè)關(guān)鍵字能擋掉大量改了基類(lèi)簽名但忘了同步派生類(lèi)的低級(jí)錯(cuò)誤。工具方面推薦開(kāi)啟編譯器的全部警告gcc/clang的-Wall -WextraMSVC的/W4再配合靜態(tài)分析。很多封裝、繼承的問(wèn)題在編譯期就能暴露不用等到運(yùn)行時(shí)崩潰才發(fā)現(xiàn)。我個(gè)人在實(shí)際項(xiàng)目里的體會(huì)是三大特性本身不難難的是克制——忍住不把成員寫(xiě)成public忍住不為了復(fù)用代碼亂加繼承層級(jí)忍住不為了炫技堆虛函數(shù)。寫(xiě)代碼時(shí)多想一步以后要改這里改動(dòng)會(huì)擴(kuò)散到多大范圍封裝的邊界、繼承的深度、多態(tài)的取舍基本就有答案了。