1. 項(xiàng)目概述為什么我們需要深入理解const與運(yùn)算符重載在C的日常開發(fā)中尤其是涉及到自定義類型比如一個(gè)Matrix矩陣類、一個(gè)String字符串類或者一個(gè)Complex復(fù)數(shù)類時(shí)運(yùn)算符重載幾乎是繞不開的話題。它讓我們的代碼讀起來(lái)像數(shù)學(xué)公式一樣直觀a b、c d清晰明了。但當(dāng)你興致勃勃地開始重載、、[]這些運(yùn)算符時(shí)const這個(gè)關(guān)鍵字就像一位嚴(yán)格的考官時(shí)不時(shí)跳出來(lái)給你出難題。我見過(guò)不少開發(fā)者包括早期的我自己在寫運(yùn)算符重載時(shí)對(duì)const的使用相當(dāng)隨意。結(jié)果就是代碼要么編譯不過(guò)要么在運(yùn)行時(shí)出現(xiàn)一些難以理解的詭異行為比如對(duì)象狀態(tài)被意外修改或者臨時(shí)對(duì)象被錯(cuò)誤地綁定。更頭疼的是這些錯(cuò)誤往往和const的正確性緊密相關(guān)而編譯器給出的錯(cuò)誤信息對(duì)于新手來(lái)說(shuō)可能像天書一樣。所以今天我們不談大而全的運(yùn)算符重載教程就聚焦在const這個(gè)點(diǎn)上。我會(huì)結(jié)合我踩過(guò)的坑和項(xiàng)目里的實(shí)際案例把const在運(yùn)算符重載中的各種“戲份”——修飾成員函數(shù)、修飾參數(shù)、修飾返回值——掰開揉碎了講清楚。你會(huì)發(fā)現(xiàn)理解透了const你寫的運(yùn)算符重載不僅更安全、更高效還能更好地融入C的標(biāo)準(zhǔn)庫(kù)生態(tài)比如讓你的自定義類型也能和std::vector、std::sort愉快地玩耍。2. const在運(yùn)算符重載中的核心角色解析const在C里是“常量”的代言人但在運(yùn)算符重載的語(yǔ)境下它的含義和作用要豐富得多。它不僅僅是為了防止數(shù)值被改變更是定義了一種關(guān)于對(duì)象狀態(tài)的“契約”編譯器會(huì)幫你嚴(yán)格監(jiān)督這份契約是否被遵守。2.1 const成員函數(shù)承諾“不修改對(duì)象狀態(tài)”這是const在類成員函數(shù)中最經(jīng)典也最容易讓人困惑的用法。當(dāng)一個(gè)成員函數(shù)被聲明為const時(shí)比如int getValue() const;它向編譯器和使用者做出了一個(gè)莊嚴(yán)的承諾“我這個(gè)函數(shù)絕不會(huì)修改調(diào)用我的那個(gè)對(duì)象即*this的任何非靜態(tài)成員變量。”為什么這個(gè)承諾如此重要設(shè)想一下你有一個(gè)代表銀行賬戶的Account類里面有一個(gè)getBalance()函數(shù)來(lái)查詢余額。這個(gè)函數(shù)顯然不應(yīng)該也絕不能修改余額。如果你不把它聲明為const那么下面這個(gè)簡(jiǎn)單的場(chǎng)景就會(huì)出問(wèn)題class Account { private: double balance; public: Account(double b) : balance(b) {} // 錯(cuò)誤getBalance 不是 const 成員函數(shù) double getBalance() { return balance; } }; void printBalance(const Account acc) { // 編譯錯(cuò)誤acc是一個(gè)const對(duì)象不能調(diào)用非const成員函數(shù)getBalance std::cout acc.getBalance() std::endl; }printBalance函數(shù)接收一個(gè)const Account這是良好的習(xí)慣避免不必要的拷貝。但因?yàn)間etBalance沒有被聲明為const編譯器會(huì)認(rèn)為它“有可能”修改acc為了維護(hù)acc的常量性編譯器直接禁止了這次調(diào)用。這保護(hù)了acc在printBalance函數(shù)內(nèi)的不可變性。在運(yùn)算符重載中的應(yīng)用對(duì)于不改變對(duì)象狀態(tài)的運(yùn)算符必須將其重載為const成員函數(shù)。最典型的就是“取值”或“比較”類運(yùn)算符。下標(biāo)運(yùn)算符[]的const版本對(duì)于一個(gè)自定義的Array類我們經(jīng)常需要像內(nèi)置數(shù)組一樣通過(guò)下標(biāo)訪問(wèn)元素。但訪問(wèn)分兩種只讀訪問(wèn)和讀寫訪問(wèn)。class Array { private: int* data; size_t size; public: // const版本用于const對(duì)象返回const引用承諾不修改元素 const int operator[](size_t index) const { // 可以執(zhí)行邊界檢查... return data[index]; } // 非const版本用于非const對(duì)象返回普通引用允許修改元素 int operator[](size_t index) { // 同樣可以執(zhí)行邊界檢查... return data[index]; } };這里我們看到了重載兩個(gè)operator[]函數(shù)僅以const修飾符區(qū)分。當(dāng)對(duì)一個(gè)const Array對(duì)象使用[]時(shí)編譯器會(huì)自動(dòng)選擇const版本返回一個(gè)const int阻止你修改它。這完美模擬了內(nèi)置數(shù)組的行為const int arr[5];中的元素也是不可修改的。比較運(yùn)算符,!,等比較兩個(gè)對(duì)象是否相等或大小顯然不應(yīng)該修改任何一個(gè)對(duì)象。class Point { int x, y; public: bool operator(const Point other) const { // 注意結(jié)尾的const return x other.x y other.y; } bool operator(const Point other) const { return (x other.x) || (x other.x y other.y); } };這里的const承諾保證了p1 p2這樣的表達(dá)式絕不會(huì)意外改變p1或p2的狀態(tài)。實(shí)操心得一個(gè)簡(jiǎn)單的判斷原則是如果一個(gè)運(yùn)算符函數(shù)如,-,,[]用于訪問(wèn)在邏輯上不應(yīng)該改變左操作數(shù)即調(diào)用該運(yùn)算符的對(duì)象就把它聲明為const成員函數(shù)。這會(huì)讓你的類更容易被安全地用在const語(yǔ)境下。2.2 const引用參數(shù)避免拷貝承諾“不修改傳入對(duì)象”當(dāng)運(yùn)算符函數(shù)以值傳遞方式接收參數(shù)時(shí)會(huì)發(fā)生一次完整的對(duì)象拷貝。對(duì)于大型對(duì)象如包含動(dòng)態(tài)數(shù)組的String類這是巨大的性能開銷。因此我們幾乎總是使用const引用來(lái)傳遞參數(shù)。以重載二元運(yùn)算符為例class Complex { double real, imag; public: // 好的做法使用const引用傳遞參數(shù) Complex operator(const Complex rhs) const { return Complex(real rhs.real, imag rhs.imag); } // 糟糕的做法使用值傳遞 Complex operator(Complex rhs) const { // 這里會(huì)發(fā)生一次不必要的拷貝 return Complex(real rhs.real, imag rhs.imag); } };const Complex rhs這個(gè)參數(shù)聲明有兩層含義引用避免了對(duì)右操作數(shù)rhs的拷貝直接傳遞別名高效。const向調(diào)用者和編譯器承諾這個(gè)函數(shù)內(nèi)部不會(huì)修改rhs。這非常重要因?yàn)樗试S你將臨時(shí)對(duì)象或字面量作為右操作數(shù)。例如c1 Complex(2, 3)這里的Complex(2,3)是一個(gè)臨時(shí)對(duì)象右值通常只能綁定到const引用或右值引用上。為什么臨時(shí)對(duì)象喜歡const引用在C11之前沒有右值引用臨時(shí)對(duì)象右值只能綁定到const引用上。這是語(yǔ)言的規(guī)定目的是防止你修改一個(gè)即將銷毀的臨時(shí)對(duì)象那沒有任何意義。雖然C11引入了右值引用但為了保持廣泛的兼容性和代碼的清晰意圖在運(yùn)算符重載中對(duì)于不修改的參數(shù)堅(jiān)持使用const引用仍然是首選和最佳實(shí)踐。2.3 const返回值防止表達(dá)式結(jié)果被意外修改返回值是否用const修飾是一個(gè)更微妙、也更容易引發(fā)爭(zhēng)議的話題。在現(xiàn)代C中對(duì)于內(nèi)置類型和自定義類型規(guī)則有所不同。返回內(nèi)置類型int, double等給返回值加上const通常沒有意義因?yàn)閮?nèi)置類型本身拷貝成本極低返回const int并不能阻止別人用int接收它反而可能妨礙某些模板元編程或表達(dá)式優(yōu)化。const int getInt() { return 42; } int a getInt(); // 可以const被忽略 // getInt() 100; // 錯(cuò)誤不能給右值賦值即使沒有const也一樣所以對(duì)于返回內(nèi)置類型的運(yùn)算符比如operator int()轉(zhuǎn)換函數(shù)不要返回const。返回自定義類型對(duì)象值返回這是歷史爭(zhēng)議點(diǎn)?？紤]重載加法運(yùn)算符它返回一個(gè)新對(duì)象。class Matrix { public: // 返回 const Matrix 還是 Matrix const Matrix operator(const Matrix rhs) const; Matrix operator(const Matrix rhs) const; // 現(xiàn)代更推薦這種 };返回const Matrix的初衷是為了防止出現(xiàn)(a b) c;這樣荒謬的語(yǔ)句。因?yàn)閍b的結(jié)果是一個(gè)臨時(shí)對(duì)象給它賦值通常是個(gè)邏輯錯(cuò)誤。現(xiàn)代C的觀點(diǎn)返回非const對(duì)象更為靈活。首先(ab)c這種寫法本身就很奇怪有經(jīng)驗(yàn)的程序員不會(huì)這么寫。其次返回非const對(duì)象允許移動(dòng)語(yǔ)義C11發(fā)揮作用。如果返回const Matrix那么這個(gè)臨時(shí)對(duì)象就無(wú)法被移動(dòng)移動(dòng)操作通常會(huì)修改源對(duì)象可能會(huì)阻礙編譯器的優(yōu)化RVO/NRVO。因此現(xiàn)在普遍建議對(duì)于返回新對(duì)象的運(yùn)算符如,-,*返回非const對(duì)象。返回引用這是const大顯身手的地方。規(guī)則很清晰返回const引用當(dāng)你返回一個(gè)存在于別處的、不應(yīng)被調(diào)用者修改的對(duì)象的引用時(shí)。例如const版本的operator[]。返回非const引用當(dāng)你希望調(diào)用者通過(guò)返回值直接修改對(duì)象內(nèi)部狀態(tài)時(shí)。例如非const版本的operator[]或者賦值運(yùn)算符operator它通常返回*this的引用以支持鏈?zhǔn)劫x值a b c。注意事項(xiàng)關(guān)于返回值的const一個(gè)黃金法則是如果你返回的是一個(gè)全新的、獨(dú)立的對(duì)象值返回就不要加const如果你返回的是對(duì)現(xiàn)有數(shù)據(jù)的引用則根據(jù)你是否希望它被修改來(lái)決定是否加const。3. 五大核心運(yùn)算符的const實(shí)戰(zhàn)詳解理論說(shuō)再多不如看代碼。我們通過(guò)幾個(gè)最常被重載的運(yùn)算符來(lái)具體分析const應(yīng)該如何應(yīng)用。3.1 賦值運(yùn)算符operator賦值運(yùn)算符是成員函數(shù)它修改左操作數(shù)*this因此它絕對(duì)不能是const成員函數(shù)。class MyString { char* str; public: // 正確賦值運(yùn)算符修改*this因此不是const MyString operator(const MyString other) { // 參數(shù)是const引用 if (this ! other) { // 自賦值檢查 delete[] str; str new char[strlen(other.str) 1]; strcpy(str, other.str); } return *this; // 返回非const引用支持鏈?zhǔn)劫x值 } // 錯(cuò)誤如果聲明為const則無(wú)法修改*this // MyString operator(const MyString other) const; // 編譯錯(cuò)誤或邏輯錯(cuò)誤 };關(guān)鍵點(diǎn)參數(shù)幾乎總是const MyString避免拷貝且承諾不修改源對(duì)象。成員函數(shù)非const因?yàn)橐薷?this。返回值MyString非const引用返回*this以支持a b c這樣的鏈?zhǔn)讲僮鳌?.2 復(fù)合賦值運(yùn)算符operator,operator-這些運(yùn)算符也修改左操作數(shù)所以同樣不是const成員函數(shù)。但它們與簡(jiǎn)單賦值不同有時(shí)也可以返回const引用不過(guò)返回非const引用更為常見和一致。class Complex { public: // 修改自身并返回自身的引用 Complex operator(const Complex rhs) { // 非const成員函數(shù) real rhs.real; imag rhs.imag; return *this; } };為什么也返回引用為了支持(a b) c這樣的表達(dá)式。雖然這種寫法不常見但為了與內(nèi)置類型的行為保持一致內(nèi)置類型的復(fù)合賦值運(yùn)算符返回左值引用我們通常也這樣實(shí)現(xiàn)。3.3 算術(shù)運(yùn)算符operator,operator-這些運(yùn)算符不修改操作數(shù)而是返回一個(gè)新對(duì)象。通常實(shí)現(xiàn)為非成員函數(shù)或**const成員函數(shù)**以支持左操作數(shù)不是類對(duì)象的情況如3 myComplex。方案一實(shí)現(xiàn)為const成員函數(shù)class Complex { public: // const成員函數(shù)不修改*this Complex operator(const Complex rhs) const { return Complex(real rhs.real, imag rhs.imag); } }; // 使用c1 c2 等價(jià)于 c1.operator(c2)這種方案很直觀但它有一個(gè)局限它要求左操作數(shù)必須是Complex對(duì)象。3 c1這樣的表達(dá)式無(wú)法工作因?yàn)檎麛?shù)3無(wú)法調(diào)用Complex的成員函數(shù)operator。方案二實(shí)現(xiàn)為非成員函數(shù)推薦class Complex { // 為了非成員函數(shù)能訪問(wèn)私有成員通常聲明為友元 friend Complex operator(const Complex lhs, const Complex rhs); public: // ... 其他成員 }; // 非成員函數(shù) Complex operator(const Complex lhs, const Complex rhs) { return Complex(lhs.real rhs.real, lhs.imag rhs.imag); }這是更靈活、更通用的做法。兩個(gè)參數(shù)都是const引用高效且安全。非成員函數(shù)允許左操作數(shù)為其他類型前提是定義了相應(yīng)的轉(zhuǎn)換或重載。雖然3 c1仍然需要額外的處理比如Complex的轉(zhuǎn)換構(gòu)造函數(shù)或?yàn)閕nt重載operator但架構(gòu)上更開放。返回值是新的Complex對(duì)象非const允許移動(dòng)優(yōu)化。3.4 下標(biāo)運(yùn)算符operator[]我們之前已經(jīng)提到下標(biāo)運(yùn)算符通常需要兩個(gè)版本const版本和非const版本。這是一個(gè)展示const重載威力的完美例子。class Vector { private: double* elems; size_t sz; public: // const版本用于const Vector對(duì)象返回const引用 const double operator[](size_t i) const { assert(i sz); return elems[i]; // 返回const引用防止修改 } // 非const版本用于非const Vector對(duì)象返回普通引用 double operator[](size_t i) { assert(i sz); return elems[i]; // 返回引用允許修改 } };編譯器如何選擇當(dāng)你寫v[5]時(shí)編譯器會(huì)檢查v的類型如果v是const Vector則調(diào)用const版本返回const doublev[5] 10.0;會(huì)導(dǎo)致編譯錯(cuò)誤。如果v是Vector非const則調(diào)用非const版本返回doublev[5] 10.0;是合法的。這種設(shè)計(jì)完美地同時(shí)提供了安全性和靈活性。3.5 函數(shù)調(diào)用運(yùn)算符operator()當(dāng)operator()被重載時(shí)這個(gè)類的對(duì)象就變成了“函數(shù)對(duì)象”或“仿函數(shù)”。const在這里同樣重要它決定了這個(gè)“函數(shù)”調(diào)用是否會(huì)修改對(duì)象的狀態(tài)。class Accumulator { int sum; public: Accumulator() : sum(0) {} // 非const版本調(diào)用會(huì)修改內(nèi)部狀態(tài) void operator()(int value) { sum value; } // const版本調(diào)用不會(huì)修改內(nèi)部狀態(tài)用于獲取當(dāng)前和 int getSum() const { return sum; } }; class Printer { public: // const版本打印操作不修改對(duì)象本身 void operator()(const std::string msg) const { std::cout msg std::endl; } };Accumulator的operator()用于累加必須是非const的。Printer的operator()只是打印可以是const的。如果一個(gè)函數(shù)對(duì)象要被用在const語(yǔ)境下比如作為const對(duì)象的成員或被std::for_each以const引用形式使用那么它的operator()就必須是const的。4. 從編譯錯(cuò)誤中學(xué)習(xí)const相關(guān)的典型問(wèn)題排查理解了規(guī)則我們來(lái)看看實(shí)戰(zhàn)中常犯的錯(cuò)誤。編譯器是最好的老師它的錯(cuò)誤信息直接指向問(wèn)題的核心。4.1 錯(cuò)誤在const對(duì)象上調(diào)用非const成員函數(shù)這是最常見的錯(cuò)誤。class Data { int value; public: int getValue() { return value; } // 錯(cuò)誤應(yīng)該是 const 成員函數(shù) }; void process(const Data d) { int x d.getValue(); // 編譯錯(cuò)誤d是const但getValue不是const成員函數(shù) }編譯器報(bào)錯(cuò)GCC風(fēng)格error: passing ‘const Data’ as ‘this’ argument discards qualifiers排查思路立刻檢查被調(diào)用的成員函數(shù)這里是getValue。如果這個(gè)函數(shù)在邏輯上不應(yīng)該修改對(duì)象就給它加上const修飾符。4.2 錯(cuò)誤const成員函數(shù)試圖修改成員變量這是違反了const承諾。class Counter { mutable int count; // 使用mutable修飾允許在const函數(shù)中修改 int total; public: int getCount() const { // count; // 如果count不是mutable這里會(huì)編譯錯(cuò)誤 count; // 正確因?yàn)閏ount被聲明為mutable // total 10; // 錯(cuò)誤不能修改非mutable成員 return count; } };編譯器報(bào)錯(cuò)error: assignment of member ‘Counter::total’ in read-only object排查思路檢查函數(shù)邏輯這個(gè)函數(shù)真的需要修改成員變量嗎如果不需要修正邏輯。如果需要修改那么這個(gè)變量是否屬于對(duì)象的“邏輯狀態(tài)”如果不是比如它是一個(gè)緩存、一個(gè)互斥鎖、一個(gè)引用計(jì)數(shù)可以考慮用mutable關(guān)鍵字修飾它。mutable表示“可變的”即使是在const成員函數(shù)中也可以修改mutable成員。4.3 錯(cuò)誤返回局部變量的引用或指針這不是const特有的錯(cuò)誤但在返回const引用時(shí)更容易被忽視以為加了const就安全了。const std::string getBadString() { std::string localStr Hello; return localStr; // 災(zāi)難返回了局部變量的引用 }問(wèn)題localStr在函數(shù)結(jié)束時(shí)被銷毀返回的引用變成了“懸垂引用”使用它會(huì)導(dǎo)致未定義行為程序崩潰或輸出亂碼。正確做法如果對(duì)象是在函數(shù)內(nèi)部創(chuàng)建的必須返回值而不是引用。std::string getGoodString() { // 返回對(duì)象而不是引用 std::string localStr Hello; return localStr; // 正確發(fā)生返回值優(yōu)化RVO可能沒有拷貝開銷 }4.4 混淆重載決議失敗缺失const版本當(dāng)你有一個(gè)const對(duì)象但類只提供了非const版本的某個(gè)運(yùn)算符如operator[]時(shí)。class SimpleArray { int arr[10]; public: int operator[](size_t i) { return arr[i]; } // 缺少 const int operator[](size_t i) const 版本 }; void readArray(const SimpleArray sa) { int x sa[0]; // 編譯錯(cuò)誤sa是const但找不到const版本的operator[] }排查思路檢查你是否需要為const對(duì)象提供訪問(wèn)接口。對(duì)于operator[]、operator*解引用等訪問(wèn)器幾乎總是需要成對(duì)的const和非const版本。5. 高級(jí)話題與最佳實(shí)踐5.1 mutable成員在const函數(shù)中修改狀態(tài)的例外我們之前提到了mutable。它的存在是為了解決一些特殊情況即對(duì)象的一部分狀態(tài)從“邏輯上”看是常量但從“物理實(shí)現(xiàn)”上看需要改變。典型用例1緩存Memoizationclass ExpensiveCalculation { private: mutable std::optionaldouble cachedResult; // mutable mutable bool cacheValid{false}; // mutable // ... 其他用于計(jì)算的數(shù)據(jù)成員 public: double getResult() const { if (!cacheValid) { // 執(zhí)行非常耗時(shí)的計(jì)算... cachedResult someHeavyComputation(); cacheValid true; } return *cachedResult; } };getResult是const函數(shù)因?yàn)樗粦?yīng)該改變對(duì)象的“邏輯值”。但為了性能它需要更新緩存。mutable允許這種物理上的修改而不違反邏輯上的常量性。典型用例2線程安全鎖class ThreadSafeData { private: mutable std::mutex mtx; // mutable Data data; public: Data getData() const { std::lock_guardstd::mutex lock(mtx); // 鎖需要修改鎖定/解鎖 return data; } };加鎖操作會(huì)修改互斥量mtx的狀態(tài)但getData函數(shù)從邏輯上只是讀取數(shù)據(jù)應(yīng)該是const的。mutable在這里是必須的。注意事項(xiàng)mutable要慎用。濫用mutable會(huì)破壞const提供的語(yǔ)義保證。只應(yīng)該對(duì)那些不影響對(duì)象“抽象值”或“邏輯狀態(tài)”的成員使用mutable。5.2 基于const的重載實(shí)現(xiàn)更精確的接口除了operator[]這種模式還可以用在其他需要根據(jù)對(duì)象常量性提供不同行為的場(chǎng)景。class DataBuffer { char* buffer; size_t length; public: // 非const版本返回可修改的指針 char* data() { return buffer; } // const版本返回只讀的指針 const char* data() const { return buffer; } // 類似的begin/end迭代器也常需要const和非const版本 iterator begin() { /*...*/ } const_iterator begin() const { /*...*/ } iterator end() { /*...*/ } const_iterator end() const { /*...*/ } };這種設(shè)計(jì)使得const DataBuffer對(duì)象只能獲取只讀的數(shù)據(jù)指針或迭代器從而在編譯期就防止了誤修改極大地增強(qiáng)了代碼的安全性。5.3 移動(dòng)語(yǔ)義C11/14/17與const的交互現(xiàn)代C引入了移動(dòng)語(yǔ)義這對(duì)返回值的const修飾產(chǎn)生了深遠(yuǎn)影響。關(guān)鍵原則不要對(duì)返回新對(duì)象的函數(shù)返回值加const。class BigResource { // ... 大量數(shù)據(jù) public: // 移動(dòng)構(gòu)造函數(shù) BigResource(BigResource other) noexcept { /* 竊取other的資源 */ } // 移動(dòng)賦值運(yùn)算符 BigResource operator(BigResource other) noexcept { /* 竊取資源 */ return *this;} // 加法運(yùn)算符 BigResource operator(const BigResource rhs) const; // 返回 BigResource 不是 const BigResource }; BigResource makeResource() { BigResource res; // ... 填充數(shù)據(jù) return res; // 期望發(fā)生NRVO或移動(dòng) } void useResource() { BigResource a, b; auto c a b; // 如果operator返回const BigResource可能會(huì)抑制移動(dòng) auto d makeResource(); // NRVO或移動(dòng)構(gòu)造 }如果operator返回const BigResource那么表達(dá)式ab的結(jié)果就是一個(gè)const臨時(shí)對(duì)象。當(dāng)用它來(lái)初始化c時(shí)編譯器不能使用移動(dòng)構(gòu)造函數(shù)因?yàn)橐苿?dòng)構(gòu)造函數(shù)需要修改源對(duì)象而const對(duì)象不能被修改只能使用拷貝構(gòu)造函數(shù)這可能帶來(lái)巨大的性能損失。返回非const對(duì)象則允許編譯器在合適的時(shí)候使用移動(dòng)操作。6. 綜合案例設(shè)計(jì)一個(gè)支持const安全的String類讓我們把所有知識(shí)融會(huì)貫通設(shè)計(jì)一個(gè)簡(jiǎn)化但完整的MyString類它重載了常用運(yùn)算符并正確處理了const。#include cstring #include iostream #include algorithm class MyString { private: char* m_data; size_t m_length; // 輔助函數(shù)分配內(nèi)存并拷貝字符串 void allocateAndCopy(const char* str, size_t len) { m_data new char[len 1]; std::copy(str, str len, m_data); m_data[len] \0; m_length len; } public: // 1. 構(gòu)造函數(shù) MyString(const char* str ) { size_t len std::strlen(str); allocateAndCopy(str, len); } // 2. 拷貝構(gòu)造函數(shù)參數(shù)為const引用 MyString(const MyString other) { allocateAndCopy(other.m_data, other.m_length); } // 3. 移動(dòng)構(gòu)造函數(shù)參數(shù)為右值引用非const MyString(MyString other) noexcept : m_data(other.m_data), m_length(other.m_length) { other.m_data nullptr; other.m_length 0; } // 4. 析構(gòu)函數(shù) ~MyString() { delete[] m_data; } // 5. 拷貝賦值運(yùn)算符參數(shù)為const引用返回非const引用 MyString operator(const MyString other) { if (this ! other) { // 自賦值檢查 delete[] m_data; allocateAndCopy(other.m_data, other.m_length); } return *this; // 支持鏈?zhǔn)劫x值 } // 6. 移動(dòng)賦值運(yùn)算符參數(shù)為右值引用非const MyString operator(MyString other) noexcept { if (this ! other) { delete[] m_data; m_data other.m_data; m_length other.m_length; other.m_data nullptr; other.m_length 0; } return *this; } // 7. 下標(biāo)運(yùn)算符const 和 非const 版本 // const版本用于const對(duì)象返回const引用 const char operator[](size_t index) const { // 在實(shí)際項(xiàng)目中這里應(yīng)該有邊界檢查 return m_data[index]; } // 非const版本用于非const對(duì)象返回普通引用 char operator[](size_t index) { // 同樣應(yīng)有邊界檢查 return m_data[index]; } // 8. 加法運(yùn)算符連接字符串作為非成員友元函數(shù) // 返回新對(duì)象非const允許移動(dòng)優(yōu)化 friend MyString operator(const MyString lhs, const MyString rhs) { MyString result; result.m_length lhs.m_length rhs.m_length; result.m_data new char[result.m_length 1]; std::copy(lhs.m_data, lhs.m_data lhs.m_length, result.m_data); std::copy(rhs.m_data, rhs.m_data rhs.m_length, result.m_data lhs.m_length); result.m_data[result.m_length] \0; return result; // RVO/NRVO 或移動(dòng) } // 9. 復(fù)合賦值運(yùn)算符 修改自身返回自身引用 MyString operator(const MyString rhs) { size_t newLen m_length rhs.m_length; char* newData new char[newLen 1]; std::copy(m_data, m_data m_length, newData); std::copy(rhs.m_data, rhs.m_data rhs.m_length, newData m_length); newData[newLen] \0; delete[] m_data; m_data newData; m_length newLen; return *this; } // 10. 比較運(yùn)算符 不修改對(duì)象聲明為const成員函數(shù) bool operator(const MyString rhs) const { if (m_length ! rhs.m_length) return false; return std::equal(m_data, m_data m_length, rhs.m_data); } // 11. 獲取C風(fēng)格字符串const版本 const char* c_str() const { return m_data; } // 12. 獲取長(zhǎng)度const版本不修改對(duì)象 size_t length() const { return m_length; } // 輸出流運(yùn)算符通常為非成員函數(shù) friend std::ostream operator(std::ostream os, const MyString str) { os str.m_data; return os; } }; // 使用示例 int main() { const MyString hello(Hello); MyString world(World); // 正確調(diào)用const版本的operator[] char c hello[0]; // c H // hello[0] h; // 錯(cuò)誤不能修改const對(duì)象 // 正確調(diào)用非const版本的operator[] world[0] w; // 修改為小寫w // 正確operator 是非成員函數(shù)接受const引用 MyString greeting hello world; // 調(diào)用 operator(MyString, const char*) std::cout greeting std::endl; // 輸出: Hello World // 正確operator 修改左操作數(shù) MyString msg hello; msg ; msg world; std::cout msg std::endl; // 輸出: Hello World // 正確operator 是const成員函數(shù) if (hello MyString(Hello)) { std::cout Equal! std::endl; } // 正確在const對(duì)象上調(diào)用const成員函數(shù) std::cout Length of hello: hello.length() std::endl; }這個(gè)MyString類展示了const在運(yùn)算符重載中的系統(tǒng)性應(yīng)用輸入?yún)?shù)幾乎總是const引用避免拷貝。成員函數(shù)常量性不修改對(duì)象狀態(tài)的如length,operator,const operator[]聲明為const。返回類型修改自身的如operator返回非const引用返回新對(duì)象的如operator返回值非const提供訪問(wèn)的如operator[]根據(jù)常量性返回對(duì)應(yīng)引用。成對(duì)重載為operator[]提供了const和非const版本。遵循這些規(guī)則你的自定義類型就能像內(nèi)置類型一樣在const的嚴(yán)格保護(hù)下安全、高效、直觀地工作。理解并善用const是寫出工業(yè)級(jí)、可維護(hù)C代碼的關(guān)鍵一步。