雜對(duì)象構(gòu)建到流式接口實(shí)戰(zhàn))
1. 從“組裝電腦”到“構(gòu)建對(duì)象”為什么我們需要建造者模式如果你寫過一些C代碼尤其是涉及到復(fù)雜對(duì)象的創(chuàng)建你很可能遇到過這樣的場(chǎng)景一個(gè)類有十幾個(gè)成員變量其中一些是必填的一些是可選的一些之間有依賴關(guān)系一些有默認(rèn)值。初始化這個(gè)對(duì)象時(shí)構(gòu)造函數(shù)要么變得臃腫不堪要么你需要寫一堆setter函數(shù)然后小心翼翼地按照特定順序調(diào)用它們生怕漏掉一個(gè)或者順序搞錯(cuò)導(dǎo)致對(duì)象狀態(tài)不一致。這就像你去電腦城組裝一臺(tái)電腦你不僅要告訴老板你要什么CPU、什么顯卡還得操心主板是否兼容、電源功率是否足夠、機(jī)箱尺寸是否裝得下整個(gè)過程充滿了不確定性。建造者模式就是為了解決這種“復(fù)雜對(duì)象的構(gòu)建過程”與“對(duì)象的表示”分離的問題。它讓你可以用同樣的構(gòu)建過程創(chuàng)建出不同“表示”即不同配置的對(duì)象。核心思想是把一個(gè)復(fù)雜對(duì)象的構(gòu)建步驟抽象出來由一個(gè)“導(dǎo)演”來指導(dǎo)構(gòu)建過程而具體的構(gòu)建細(xì)節(jié)交給不同的“建造者”。這樣客戶端代碼就不需要知道對(duì)象內(nèi)部的具體組成細(xì)節(jié)只需要指定想要的類型和配置就能得到一個(gè)完整、可用的對(duì)象。在C中建造者模式尤其有用因?yàn)樗芎芎玫靥幚砜蛇x參數(shù)、參數(shù)驗(yàn)證、構(gòu)建步驟順序等問題避免了“伸縮構(gòu)造函數(shù)”和“JavaBeans模式”即一堆setter的缺點(diǎn)。接下來我會(huì)用一個(gè)從簡(jiǎn)到繁的案例帶你徹底搞懂如何在C中實(shí)現(xiàn)和應(yīng)用建造者模式并分享一些實(shí)戰(zhàn)中容易踩的坑和高級(jí)技巧。2. 核心四要素產(chǎn)品、抽象建造者、具體建造者與指揮者建造者模式通常包含四個(gè)關(guān)鍵角色理解它們之間的關(guān)系是靈活運(yùn)用的基礎(chǔ)。我們可以用建造房屋來類比產(chǎn)品就是最終要建成的房子抽象建造者定義了建房子需要哪些步驟如打地基、砌墻、封頂具體建造者是具體的施工隊(duì)比如中式施工隊(duì)和現(xiàn)代施工隊(duì)它們以不同的方式實(shí)現(xiàn)這些步驟指揮者則是項(xiàng)目經(jīng)理他拿著施工圖紙構(gòu)建過程指揮施工隊(duì)按步驟干活。2.1 產(chǎn)品最終要構(gòu)建的復(fù)雜對(duì)象產(chǎn)品類通常是一個(gè)包含多個(gè)部件的復(fù)雜對(duì)象。在C中它可能有很多私有成員變量并且其構(gòu)建過程可能很復(fù)雜。為了配合建造者模式產(chǎn)品類有時(shí)會(huì)提供一個(gè)接受建造者對(duì)象的構(gòu)造函數(shù)或者將建造者聲明為友元類以便建造者能直接訪問其私有成員進(jìn)行裝配。但更常見和清晰的做法是產(chǎn)品類只提供基本的setter方法由建造者來調(diào)用。例如我們要構(gòu)建一個(gè)Computer類作為產(chǎn)品class Computer { public: void setCPU(const std::string cpu) { cpu_ cpu; } void setGPU(const std::string gpu) { gpu_ gpu; } void setRAM(int ram) { ram_ ram; } void setStorage(const std::string storage) { storage_ storage; } void display() const { std::cout Computer Configuration:\n; std::cout CPU: cpu_ \n; std::cout GPU: gpu_ \n; std::cout RAM: ram_ GB\n; std::cout Storage: storage_ \n; } private: std::string cpu_; std::string gpu_; int ram_ 0; // 默認(rèn)值 std::string storage_; };這里的產(chǎn)品相對(duì)簡(jiǎn)單但關(guān)鍵在于它的各個(gè)部分CPU、GPU等是分步設(shè)置的。2.2 抽象建造者定義構(gòu)建步驟的接口抽象建造者是一個(gè)接口類它聲明了創(chuàng)建產(chǎn)品各個(gè)子部件的抽象方法以及最終返回產(chǎn)品的方法。它定義了構(gòu)建的藍(lán)圖。class ComputerBuilder { public: virtual ~ComputerBuilder() default; virtual void buildCPU() 0; virtual void buildGPU() 0; virtual void buildRAM() 0; virtual void buildStorage() 0; virtual Computer getResult() 0; };這個(gè)接口規(guī)定了任何一個(gè)電腦建造者都必須能構(gòu)建CPU、GPU、RAM和存儲(chǔ)這幾個(gè)部分并且最后能交出成品。注意getResult方法它意味著建造者通常會(huì)在內(nèi)部維護(hù)一個(gè)正在構(gòu)建的產(chǎn)品實(shí)例。2.3 具體建造者實(shí)現(xiàn)接口構(gòu)造產(chǎn)品的不同表示具體建造者實(shí)現(xiàn)了抽象建造者接口負(fù)責(zé)具體部件的裝配。不同的具體建造者會(huì)產(chǎn)生不同配置或風(fēng)格的產(chǎn)品。這是模式靈活性體現(xiàn)的關(guān)鍵。class GamingComputerBuilder : public ComputerBuilder { public: GamingComputerBuilder() { computer_ Computer(); } void buildCPU() override { computer_.setCPU(Intel Core i9-14900K); } void buildGPU() override { computer_.setGPU(NVIDIA GeForce RTX 4090); } void buildRAM() override { computer_.setRAM(64); // 游戲電腦配大內(nèi)存 } void buildStorage() override { computer_.setStorage(2TB NVMe SSD); } Computer getResult() override { return computer_; } private: Computer computer_; }; class OfficeComputerBuilder : public ComputerBuilder { public: OfficeComputerBuilder() { computer_ Computer(); } void buildCPU() override { computer_.setCPU(Intel Core i5-13400); } void buildGPU() override { computer_.setGPU(Integrated Graphics); } void buildRAM() override { computer_.setRAM(16); // 辦公電腦16GB足夠 } void buildStorage() override { computer_.setStorage(512GB SSD); } Computer getResult() override { return computer_; } private: Computer computer_; };可以看到GamingComputerBuilder和OfficeComputerBuilder對(duì)同樣的構(gòu)建步驟buildCPU等有著完全不同的實(shí)現(xiàn)從而構(gòu)建出面向不同用途的電腦。2.4 指揮者控制構(gòu)建過程指揮者類負(fù)責(zé)安排建造步驟的順序。它知道如何用建造者來構(gòu)建一個(gè)產(chǎn)品但不知道具體的構(gòu)建細(xì)節(jié)。這進(jìn)一步將客戶端與具體的構(gòu)建過程解耦。class Director { public: void setBuilder(ComputerBuilder* builder) { builder_ builder; } // 一個(gè)標(biāo)準(zhǔn)的構(gòu)建流程 void construct() { if (!builder_) return; builder_-buildCPU(); builder_-buildGPU(); builder_-buildRAM(); builder_-buildStorage(); } // 可以有多個(gè)不同的構(gòu)建流程 void constructBasic() { if (!builder_) return; builder_-buildCPU(); builder_-buildRAM(); builder_-buildStorage(); // 不構(gòu)建GPU使用默認(rèn)或集成顯卡 } private: ComputerBuilder* builder_ nullptr; };指揮者的construct方法定義了一個(gè)標(biāo)準(zhǔn)的構(gòu)建流程?？蛻舳酥恍枰嬖V指揮者用哪個(gè)建造者然后調(diào)用construct就能得到一個(gè)完整的產(chǎn)品。如果需要不同的構(gòu)建順序或省略某些步驟如constructBasic也只需要在指揮者這里修改客戶端代碼無需變動(dòng)。3. 完整案例從基礎(chǔ)實(shí)現(xiàn)到流式接口優(yōu)化讓我們把上面的部分組合起來看一個(gè)完整的客戶端使用示例并分析其優(yōu)缺點(diǎn)。#include iostream #include string // ... 上面定義的 Computer, ComputerBuilder, GamingComputerBuilder, OfficeComputerBuilder, Director 類 ... int main() { Director director; // 構(gòu)建一臺(tái)游戲電腦 GamingComputerBuilder gamingBuilder; director.setBuilder(gamingBuilder); director.construct(); Computer gamingPC gamingBuilder.getResult(); std::cout --- Gaming PC ---\n; gamingPC.display(); std::cout \n; // 構(gòu)建一臺(tái)辦公電腦 OfficeComputerBuilder officeBuilder; director.setBuilder(officeBuilder); director.construct(); Computer officePC officeBuilder.getResult(); std::cout --- Office PC ---\n; officePC.display(); // 使用不同的構(gòu)建流程 std::cout \n--- Basic Office PC (No GPU specified) ---\n; director.constructBasic(); Computer basicOfficePC officeBuilder.getResult(); // 注意這里復(fù)用了同一個(gè)builder會(huì)覆蓋之前構(gòu)建的產(chǎn)品 basicOfficePC.display(); return 0; }運(yùn)行這個(gè)程序你會(huì)看到輸出了不同配置的電腦信息。這個(gè)例子清晰地展示了模式的工作流程客戶端決定要什么類型的產(chǎn)品選擇具體建造者指揮者負(fù)責(zé)按流程組裝最終從建造者那里獲取成品。然而這個(gè)經(jīng)典實(shí)現(xiàn)有幾個(gè)明顯的痛點(diǎn)客戶端需要與指揮者、建造者同時(shí)打交道步驟稍顯繁瑣。建造者內(nèi)部狀態(tài)管理上面的getResult返回的是副本但有些實(shí)現(xiàn)可能返回指針或引用需要仔細(xì)考慮對(duì)象生命周期。構(gòu)建過程僵化所有步驟都在指揮者里定死如果想自定義步驟比如只要CPU和超大內(nèi)存的“計(jì)算節(jié)點(diǎn)”要么修改指揮者要么新增一個(gè)指揮者方法不夠靈活。3.1 引入“流式接口”的建造者在實(shí)際工程中更常見的是省略掉單獨(dú)的Director類而采用一種稱為“流式接口”或“鏈?zhǔn)秸{(diào)用”的建造者變體。這種變體將指揮者的邏輯融入到建造者自身通過返回建造者自身引用的方式允許客戶端以鏈?zhǔn)秸{(diào)用的方式一步步指定配置最后一步完成構(gòu)建。這種方式在創(chuàng)建具有大量可選參數(shù)的對(duì)象時(shí)尤其優(yōu)雅。我們改造一下ComputerBuilder讓它支持流式接口class Computer { public: // ... 成員變量和display方法同上 ... // 一個(gè)內(nèi)部類作為建造者 class Builder { public: Builder() default; // 每個(gè)設(shè)置方法都返回Builder支持鏈?zhǔn)秸{(diào)用 Builder setCPU(const std::string cpu) { computer_.cpu_ cpu; return *this; } Builder setGPU(const std::string gpu) { computer_.gpu_ gpu; return *this; } Builder setRAM(int ram) { computer_.ram_ ram; return *this; } Builder setStorage(const std::string storage) { computer_.storage_ storage; return *this; } // 最終構(gòu)建方法返回構(gòu)建好的Computer對(duì)象 Computer build() { // 這里可以添加構(gòu)建完成前的最終校驗(yàn)邏輯 if (computer_.cpu_.empty()) { throw std::logic_error(CPU must be specified.); } if (computer_.ram_ 0) { throw std::logic_error(RAM must be positive.); } return computer_; // 返回副本也可以移動(dòng)語義優(yōu)化 } private: Computer computer_; // 建造者內(nèi)部維護(hù)一個(gè)產(chǎn)品實(shí)例 }; private: // 將成員變量設(shè)為私有強(qiáng)制通過Builder創(chuàng)建 std::string cpu_; std::string gpu_; int ram_ 0; std::string storage_; };現(xiàn)在客戶端可以這樣使用int main() { try { // 鏈?zhǔn)秸{(diào)用清晰直觀 Computer gamingPC Computer::Builder() .setCPU(AMD Ryzen 9 7950X) .setGPU(NVIDIA RTX 4080 SUPER) .setRAM(64) .setStorage(2TB PCIe 4.0 NVMe) .build(); // 最終調(diào)用build完成構(gòu)建 std::cout --- Gaming PC (Fluent Interface) ---\n; gamingPC.display(); // 只設(shè)置部分參數(shù)使用默認(rèn)值 Computer officePC Computer::Builder() .setCPU(Intel Core i5-12400) .setRAM(16) .build(); // GPU和Storage使用默認(rèn)值空字符串和0 std::cout \n--- Office PC ---\n; officePC.display(); // 錯(cuò)誤的構(gòu)建未設(shè)置CPU // Computer badPC Computer::Builder().setRAM(8).build(); // 會(huì)拋出異常 } catch (const std::exception e) { std::cerr Build failed: e.what() std::endl; } return 0; }這種實(shí)現(xiàn)方式優(yōu)點(diǎn)非常突出客戶端代碼極其簡(jiǎn)潔和直觀配置過程一目了然。參數(shù)可選性你可以只設(shè)置你關(guān)心的參數(shù)其他參數(shù)會(huì)保持默認(rèn)狀態(tài)需要在Computer構(gòu)造函數(shù)或Builder初始化時(shí)設(shè)定合理的默認(rèn)值。內(nèi)聚的校驗(yàn)邏輯可以在build()方法中集中進(jìn)行參數(shù)有效性、依賴關(guān)系等校驗(yàn)確保構(gòu)建出的對(duì)象是有效的。無需單獨(dú)的Director構(gòu)建順序由客戶端調(diào)用鏈的順序決定更加靈活。這也是現(xiàn)代C項(xiàng)目如各種配置解析庫、網(wǎng)絡(luò)請(qǐng)求客戶端構(gòu)造中最常用的建造者模式形態(tài)。它完美解決了傳統(tǒng)建造者模式客戶端調(diào)用復(fù)雜的問題。4. 進(jìn)階話題處理依賴關(guān)系、不可變對(duì)象與性能考量掌握了基本形態(tài)后我們來看看在實(shí)際項(xiàng)目中應(yīng)用建造者模式時(shí)會(huì)遇到的幾個(gè)進(jìn)階問題。4.1 處理部件間的依賴與約束復(fù)雜對(duì)象的部件之間往往存在依賴或約束關(guān)系。例如選擇了高功耗的CPU和顯卡就需要相應(yīng)功率的電源選擇了ITX主板就只能用ITX機(jī)箱。在建造者模式中處理這些約束有幾個(gè)策略在build()方法中統(tǒng)一校驗(yàn)這是最簡(jiǎn)單直接的方式。在最終構(gòu)建時(shí)檢查所有已設(shè)置的參數(shù)是否符合約束如果不符合則拋出異常或返回錯(cuò)誤。Computer Builder::build() { if (!gpu_.empty() gpu_ ! Integrated Graphics powerSupplyWattage_ 600) { throw std::logic_error(High-performance GPU requires a PSU of at least 600W.); } if (motherboardFormFactor_ ITX caseSize_ ATX) { throw std::logic_error(ITX motherboard does not fit in an ATX case.); } return computer_; }在設(shè)置方法中進(jìn)行即時(shí)校驗(yàn)當(dāng)設(shè)置一個(gè)參數(shù)時(shí)立即檢查它與已設(shè)置的其他參數(shù)是否沖突。這能更早地發(fā)現(xiàn)錯(cuò)誤但會(huì)使設(shè)置方法邏輯變復(fù)雜且可能因?yàn)樵O(shè)置順序不同而產(chǎn)生不同的校驗(yàn)結(jié)果。Builder setGPU(const std::string gpu) { if (gpu.find(RTX 40) ! std::string::npos powerSupplyWattage_ 600) { throw std::logic_error(This GPU model recommends a 600W PSU.); } computer_.gpu_ gpu; return *this; }使用“指導(dǎo)性”建造者回歸經(jīng)典模式通過不同的Director類來封裝“合規(guī)的”配置方案。例如GamingDirector確保構(gòu)建的是一臺(tái)各項(xiàng)配置平衡的游戲主機(jī)。客戶端只需選擇Director無需關(guān)心具體約束。我的經(jīng)驗(yàn)是對(duì)于簡(jiǎn)單的、獨(dú)立的約束可以在setter中做對(duì)于復(fù)雜的、涉及多個(gè)參數(shù)的全局性約束放在build()方法中更清晰。同時(shí)在建造者的文檔或setter方法的注釋中明確說明這些約束對(duì)API的使用者非常友好。4.2 構(gòu)建不可變對(duì)象在并發(fā)編程或函數(shù)式風(fēng)格中我們常常希望對(duì)象一旦創(chuàng)建就不可變immutable。建造者模式是創(chuàng)建不可變對(duì)象的絕佳工具。具體做法是將產(chǎn)品類的所有成員變量設(shè)為private和const。移除所有setter方法。產(chǎn)品類的構(gòu)造函數(shù)設(shè)為private并聲明建造者為友元。建造者在內(nèi)部組裝好所有數(shù)據(jù)后調(diào)用產(chǎn)品的私有構(gòu)造函數(shù)一次性完成初始化。class ImmutableComputer { public: // 沒有setter只有g(shù)etter const std::string getCPU() const { return cpu_; } const std::string getGPU() const { return gpu_; } int getRAM() const { return ram_; } const std::string getStorage() const { return storage_; } void display() const { /* ... */ } class Builder { public: Builder setCPU(const std::string cpu) { /* ... */ return *this; } // ... 其他setter ... ImmutableComputer build() { // 調(diào)用ImmutableComputer的私有構(gòu)造函數(shù) return ImmutableComputer(cpu_, gpu_, ram_, storage_); } private: std::string cpu_, gpu_, storage_; int ram_ 0; }; private: // 私有構(gòu)造函數(shù)只能由Builder的build()方法調(diào)用 ImmutableComputer(const std::string cpu, const std::string gpu, int ram, const std::string storage) : cpu_(cpu), gpu_(gpu), ram_(ram), storage_(storage) {} const std::string cpu_; const std::string gpu_; const int ram_; const std::string storage_; };這樣一旦ImmutableComputer對(duì)象被build()出來其狀態(tài)就無法再被修改線程安全性和邏輯正確性都得到了增強(qiáng)。4.3 性能考量移動(dòng)語義與內(nèi)存管理在流式接口建造者中build()方法通常返回產(chǎn)品對(duì)象的值。在C11之前這可能會(huì)帶來一次拷貝開銷。在現(xiàn)代C中我們可以利用移動(dòng)語義來優(yōu)化。讓build()返回右值確保build()返回后建造者內(nèi)部的產(chǎn)品狀態(tài)被移出避免拷貝。Computer build() { // 校驗(yàn)... return std::move(computer_); // 顯式移動(dòng) // 或者更推薦編譯器通常會(huì)自動(dòng)進(jìn)行RVO返回值優(yōu)化但移動(dòng)語義是安全的保障。 }更常見的做法是在build()之后將建造者置于一個(gè)“已消耗”狀態(tài)禁止再次使用或者讓第二次調(diào)用build()拋出異常。建造者自身的管理如果產(chǎn)品對(duì)象很大建造者作為臨時(shí)對(duì)象在棧上創(chuàng)建是高效的。如果建造過程非常復(fù)雜或者需要跨作用域保存中間狀態(tài)可以考慮使用std::unique_ptrBuilder。但通常鏈?zhǔn)秸{(diào)用場(chǎng)景下建造者是短暫的棧對(duì)象無需動(dòng)態(tài)內(nèi)存分配。與工廠模式結(jié)合對(duì)于極其復(fù)雜、構(gòu)建成本很高的對(duì)象建造者可以只負(fù)責(zé)收集參數(shù)最后由一個(gè)工廠函數(shù)根據(jù)這些參數(shù)來實(shí)際構(gòu)造對(duì)象。這時(shí)建造者可能只保存參數(shù)build()方法調(diào)用工廠函數(shù)。這分離了參數(shù)收集和對(duì)象實(shí)例化提供了更大的靈活性。5. 實(shí)戰(zhàn)對(duì)比建造者模式 vs. 其他創(chuàng)建型模式選擇設(shè)計(jì)模式時(shí)理解其適用場(chǎng)景和與其他模式的差異至關(guān)重要。建造者模式常與抽象工廠、原型模式混淆。模式核心目的適用場(chǎng)景與建造者的關(guān)鍵區(qū)別建造者模式分步構(gòu)建一個(gè)復(fù)雜對(duì)象隔離構(gòu)建與表示。對(duì)象包含多個(gè)部件且構(gòu)建過程復(fù)雜需要不同的構(gòu)建順序或表示。產(chǎn)品內(nèi)部結(jié)構(gòu)復(fù)雜。關(guān)注于分步組裝一個(gè)對(duì)象?？蛻舳丝梢钥刂茦?gòu)建過程。抽象工廠模式創(chuàng)建一系列相關(guān)或依賴的對(duì)象族而不指定具體類。系統(tǒng)需要獨(dú)立于其產(chǎn)品創(chuàng)建、組合和表示的方式。強(qiáng)調(diào)產(chǎn)品家族。關(guān)注于立即創(chuàng)建一組完整的產(chǎn)品對(duì)象?？蛻舳瞬魂P(guān)心構(gòu)建細(xì)節(jié)也無法分步控制。原型模式通過拷貝現(xiàn)有對(duì)象來創(chuàng)建新對(duì)象。創(chuàng)建成本高或系統(tǒng)需要?jiǎng)討B(tài)指定實(shí)例化的類。關(guān)注于復(fù)制一個(gè)現(xiàn)有對(duì)象來創(chuàng)建新對(duì)象而不是從零開始構(gòu)建。一個(gè)簡(jiǎn)單的區(qū)分記憶法你需要定制一臺(tái)電腦選CPU、選顯卡、選內(nèi)存用建造者。你需要開一家電腦店能提供整套“游戲全家桶”或“辦公全家桶”電腦、顯示器、鍵盤鼠標(biāo)一套用抽象工廠。你需要快速克隆一臺(tái)和現(xiàn)有配置一模一樣的電腦用原型。在實(shí)際項(xiàng)目中這些模式也經(jīng)常結(jié)合使用。例如抽象工廠的方法內(nèi)部可能使用建造者來構(gòu)造它返回的復(fù)雜產(chǎn)品原型對(duì)象本身可能就是用建造者模式創(chuàng)建出來的第一個(gè)模板。6. 在真實(shí)項(xiàng)目中的應(yīng)用與避坑指南紙上得來終覺淺絕知此事要躬行。下面分享幾個(gè)我在實(shí)際C項(xiàng)目中使用建造者模式的心得和踩過的坑。6.1 應(yīng)用場(chǎng)景舉例解析復(fù)雜配置文件/JSON/XML這是建造者模式的絕佳舞臺(tái)。例如解析一個(gè)描述UI窗口的JSON窗口有標(biāo)題、尺寸、位置、子控件列表等。你可以定義一個(gè)WindowBuilderparseFromJson方法遍歷JSON節(jié)點(diǎn)依次調(diào)用setTitle、setSize、addButton、addTextBox等方法最后build()出一個(gè)Window對(duì)象。這比直接在Window構(gòu)造函數(shù)里塞一個(gè)巨大的配置結(jié)構(gòu)體要清晰得多。構(gòu)建SQL查詢語句避免字符串拼接的噩夢(mèng)?？梢栽O(shè)計(jì)一個(gè)QueryBuilder提供select、from、where、orderBy等鏈?zhǔn)椒椒▋?nèi)部安全地處理字段名轉(zhuǎn)義、參數(shù)綁定等最后build()出一個(gè)安全的查詢字符串或預(yù)處理語句對(duì)象。網(wǎng)絡(luò)請(qǐng)求構(gòu)造像cURL或一些HTTP客戶端庫設(shè)置URL、方法、頭部、超時(shí)、重試策略等參數(shù)非常多用建造者模式能讓代碼非常清晰。auto request HttpRequest::Builder() .url(https://api.example.com/data) .method(POST) .header(Content-Type, application/json) .body(jsonData) .timeout(std::chrono::seconds(10)) .build();6.2 常見陷阱與解決方案陷阱一建造者內(nèi)部狀態(tài)殘留這是流式接口建造者最容易犯的錯(cuò)誤。一個(gè)建造者對(duì)象被重復(fù)使用來構(gòu)建多個(gè)產(chǎn)品時(shí)如果沒有在build()后或每次build()前重置內(nèi)部狀態(tài)第二個(gè)產(chǎn)品就會(huì)包含第一個(gè)產(chǎn)品的殘留數(shù)據(jù)。Computer::Builder builder; builder.setCPU(Intel).setRAM(16); Computer pc1 builder.build(); // pc1: Intel, 16GB // 錯(cuò)誤builder內(nèi)部狀態(tài)沒清空接下來構(gòu)建的pc2會(huì)繼承CPU和RAM設(shè)置。 Computer pc2 builder.setStorage(1TB SSD).build(); // pc2: Intel, 16GB, 1TB SSD (可能不是我們想要的)解決方案每次使用都創(chuàng)建新的Builder臨時(shí)對(duì)象推薦Computer pc Computer::Builder().setCPU(...)...build();。利用棧對(duì)象的生命周期最簡(jiǎn)單安全。在build()方法末尾重置狀態(tài)build()返回產(chǎn)品后將內(nèi)部的所有成員變量重置為默認(rèn)值。但這會(huì)改變建造者的狀態(tài)可能影響調(diào)用者的預(yù)期。讓build()移動(dòng)內(nèi)部狀態(tài)如前所述build()使用std::move之后建造者內(nèi)部對(duì)象處于有效但未指定的狀態(tài)。通常需要文檔說明建造者在build()后不應(yīng)再被使用。陷阱二忽略參數(shù)校驗(yàn)時(shí)機(jī)把校驗(yàn)邏輯全部堆在build()里用戶可能鏈?zhǔn)秸{(diào)用了一長(zhǎng)串setter最后在build()時(shí)才發(fā)現(xiàn)第一個(gè)參數(shù)就設(shè)錯(cuò)了調(diào)試體驗(yàn)不好。解決方案采用分層校驗(yàn)。簡(jiǎn)單的、獨(dú)立的校驗(yàn)如非空、范圍在setter中立即進(jìn)行。復(fù)雜的、涉及多個(gè)參數(shù)的業(yè)務(wù)邏輯校驗(yàn)如依賴關(guān)系放在build()中。在setter中校驗(yàn)失敗時(shí)立即拋出異?？梢宰屽e(cuò)誤更早、更清晰地暴露。陷阱三過度設(shè)計(jì)不是所有對(duì)象都需要建造者。如果一個(gè)對(duì)象只有三四個(gè)參數(shù)并且都是必填的一個(gè)清晰的構(gòu)造函數(shù)就足夠了。建造者模式會(huì)引入額外的類增加代碼復(fù)雜度。使用建造者模式的信號(hào)是構(gòu)造函數(shù)參數(shù)過多超過4-5個(gè)、大量可選參數(shù)、參數(shù)之間有復(fù)雜的約束或構(gòu)建順序要求。陷阱四與現(xiàn)代C特性結(jié)合時(shí)的疏忽例如在建造者中使用std::optional來表示可選參數(shù)是非常自然的。但要注意std::optional成員的默認(rèn)構(gòu)造狀態(tài)是std::nullopt。在build()時(shí)你需要檢查必填參數(shù)對(duì)應(yīng)的optional是否有值。class ComputerBuilder { std::optionalstd::string cpu_; std::optionalint ram_; // ... public: Computer build() { if (!cpu_) { throw ...; } // CPU是必填項(xiàng) Computer c; c.setCPU(cpu_.value()); // 使用.value()獲取值或.value_or(default) c.setRAM(ram_.value_or(8)); // RAM可選默認(rèn)8GB // ... return c; } };建造者模式是C工具箱中一件強(qiáng)大而實(shí)用的武器它能顯著提升創(chuàng)建復(fù)雜對(duì)象代碼的可讀性、可維護(hù)性和安全性。理解其經(jīng)典形式和現(xiàn)代流式接口變體并能在恰當(dāng)?shù)膱?chǎng)合應(yīng)用它是區(qū)分初級(jí)和中級(jí)C開發(fā)者的一個(gè)標(biāo)志。下次當(dāng)你面對(duì)一個(gè)參數(shù)繁多、構(gòu)建邏輯復(fù)雜的類時(shí)不妨考慮一下是否該請(qǐng)出“建造者”來幫忙了。 C++建造者模式：從復(fù)雜對(duì)象構(gòu)建到流式接口實(shí)戰(zhàn)
1. 從“組裝電腦”到“構(gòu)建對(duì)象”為什么我們需要建造者模式如果你寫過一些C代碼尤其是涉及到復(fù)雜對(duì)象的創(chuàng)建你很可能遇到過這樣的場(chǎng)景一個(gè)類有十幾個(gè)成員變量其中一些是必填的一些是可選的一些之間有依賴關(guān)系一些有默認(rèn)值。初始化這個(gè)對(duì)象時(shí)構(gòu)造函數(shù)要么變得臃腫不堪要么你需要寫一堆setter函數(shù)然后小心翼翼地按照特定順序調(diào)用它們生怕漏掉一個(gè)或者順序搞錯(cuò)導(dǎo)致對(duì)象狀態(tài)不一致。這就像你去電腦城組裝一臺(tái)電腦你不僅要告訴老板你要什么CPU、什么顯卡還得操心主板是否兼容、電源功率是否足夠、機(jī)箱尺寸是否裝得下整個(gè)過程充滿了不確定性。建造者模式就是為了解決這種“復(fù)雜對(duì)象的構(gòu)建過程”與“對(duì)象的表示”分離的問題。它讓你可以用同樣的構(gòu)建過程創(chuàng)建出不同“表示”即不同配置的對(duì)象。核心思想是把一個(gè)復(fù)雜對(duì)象的構(gòu)建步驟抽象出來由一個(gè)“導(dǎo)演”來指導(dǎo)構(gòu)建過程而具體的構(gòu)建細(xì)節(jié)交給不同的“建造者”。這樣客戶端代碼就不需要知道對(duì)象內(nèi)部的具體組成細(xì)節(jié)只需要指定想要的類型和配置就能得到一個(gè)完整、可用的對(duì)象。在C中建造者模式尤其有用因?yàn)樗芎芎玫靥幚砜蛇x參數(shù)、參數(shù)驗(yàn)證、構(gòu)建步驟順序等問題避免了“伸縮構(gòu)造函數(shù)”和“JavaBeans模式”即一堆setter的缺點(diǎn)。接下來我會(huì)用一個(gè)從簡(jiǎn)到繁的案例帶你徹底搞懂如何在C中實(shí)現(xiàn)和應(yīng)用建造者模式并分享一些實(shí)戰(zhàn)中容易踩的坑和高級(jí)技巧。2. 核心四要素產(chǎn)品、抽象建造者、具體建造者與指揮者建造者模式通常包含四個(gè)關(guān)鍵角色理解它們之間的關(guān)系是靈活運(yùn)用的基礎(chǔ)。我們可以用建造房屋來類比產(chǎn)品就是最終要建成的房子抽象建造者定義了建房子需要哪些步驟如打地基、砌墻、封頂具體建造者是具體的施工隊(duì)比如中式施工隊(duì)和現(xiàn)代施工隊(duì)它們以不同的方式實(shí)現(xiàn)這些步驟指揮者則是項(xiàng)目經(jīng)理他拿著施工圖紙構(gòu)建過程指揮施工隊(duì)按步驟干活。2.1 產(chǎn)品最終要構(gòu)建的復(fù)雜對(duì)象產(chǎn)品類通常是一個(gè)包含多個(gè)部件的復(fù)雜對(duì)象。在C中它可能有很多私有成員變量并且其構(gòu)建過程可能很復(fù)雜。為了配合建造者模式產(chǎn)品類有時(shí)會(huì)提供一個(gè)接受建造者對(duì)象的構(gòu)造函數(shù)或者將建造者聲明為友元類以便建造者能直接訪問其私有成員進(jìn)行裝配。但更常見和清晰的做法是產(chǎn)品類只提供基本的setter方法由建造者來調(diào)用。例如我們要構(gòu)建一個(gè)Computer類作為產(chǎn)品class Computer { public: void setCPU(const std::string cpu) { cpu_ cpu; } void setGPU(const std::string gpu) { gpu_ gpu; } void setRAM(int ram) { ram_ ram; } void setStorage(const std::string storage) { storage_ storage; } void display() const { std::cout Computer Configuration:\n; std::cout CPU: cpu_ \n; std::cout GPU: gpu_ \n; std::cout RAM: ram_ GB\n; std::cout Storage: storage_ \n; } private: std::string cpu_; std::string gpu_; int ram_ 0; // 默認(rèn)值 std::string storage_; };這里的產(chǎn)品相對(duì)簡(jiǎn)單但關(guān)鍵在于它的各個(gè)部分CPU、GPU等是分步設(shè)置的。2.2 抽象建造者定義構(gòu)建步驟的接口抽象建造者是一個(gè)接口類它聲明了創(chuàng)建產(chǎn)品各個(gè)子部件的抽象方法以及最終返回產(chǎn)品的方法。它定義了構(gòu)建的藍(lán)圖。class ComputerBuilder { public: virtual ~ComputerBuilder() default; virtual void buildCPU() 0; virtual void buildGPU() 0; virtual void buildRAM() 0; virtual void buildStorage() 0; virtual Computer getResult() 0; };這個(gè)接口規(guī)定了任何一個(gè)電腦建造者都必須能構(gòu)建CPU、GPU、RAM和存儲(chǔ)這幾個(gè)部分并且最后能交出成品。注意getResult方法它意味著建造者通常會(huì)在內(nèi)部維護(hù)一個(gè)正在構(gòu)建的產(chǎn)品實(shí)例。2.3 具體建造者實(shí)現(xiàn)接口構(gòu)造產(chǎn)品的不同表示具體建造者實(shí)現(xiàn)了抽象建造者接口負(fù)責(zé)具體部件的裝配。不同的具體建造者會(huì)產(chǎn)生不同配置或風(fēng)格的產(chǎn)品。這是模式靈活性體現(xiàn)的關(guān)鍵。class GamingComputerBuilder : public ComputerBuilder { public: GamingComputerBuilder() { computer_ Computer(); } void buildCPU() override { computer_.setCPU(Intel Core i9-14900K); } void buildGPU() override { computer_.setGPU(NVIDIA GeForce RTX 4090); } void buildRAM() override { computer_.setRAM(64); // 游戲電腦配大內(nèi)存 } void buildStorage() override { computer_.setStorage(2TB NVMe SSD); } Computer getResult() override { return computer_; } private: Computer computer_; }; class OfficeComputerBuilder : public ComputerBuilder { public: OfficeComputerBuilder() { computer_ Computer(); } void buildCPU() override { computer_.setCPU(Intel Core i5-13400); } void buildGPU() override { computer_.setGPU(Integrated Graphics); } void buildRAM() override { computer_.setRAM(16); // 辦公電腦16GB足夠 } void buildStorage() override { computer_.setStorage(512GB SSD); } Computer getResult() override { return computer_; } private: Computer computer_; };可以看到GamingComputerBuilder和OfficeComputerBuilder對(duì)同樣的構(gòu)建步驟buildCPU等有著完全不同的實(shí)現(xiàn)從而構(gòu)建出面向不同用途的電腦。2.4 指揮者控制構(gòu)建過程指揮者類負(fù)責(zé)安排建造步驟的順序。它知道如何用建造者來構(gòu)建一個(gè)產(chǎn)品但不知道具體的構(gòu)建細(xì)節(jié)。這進(jìn)一步將客戶端與具體的構(gòu)建過程解耦。class Director { public: void setBuilder(ComputerBuilder* builder) { builder_ builder; } // 一個(gè)標(biāo)準(zhǔn)的構(gòu)建流程 void construct() { if (!builder_) return; builder_-buildCPU(); builder_-buildGPU(); builder_-buildRAM(); builder_-buildStorage(); } // 可以有多個(gè)不同的構(gòu)建流程 void constructBasic() { if (!builder_) return; builder_-buildCPU(); builder_-buildRAM(); builder_-buildStorage(); // 不構(gòu)建GPU使用默認(rèn)或集成顯卡 } private: ComputerBuilder* builder_ nullptr; };指揮者的construct方法定義了一個(gè)標(biāo)準(zhǔn)的構(gòu)建流程?？蛻舳酥恍枰嬖V指揮者用哪個(gè)建造者然后調(diào)用construct就能得到一個(gè)完整的產(chǎn)品。如果需要不同的構(gòu)建順序或省略某些步驟如constructBasic也只需要在指揮者這里修改客戶端代碼無需變動(dòng)。3. 完整案例從基礎(chǔ)實(shí)現(xiàn)到流式接口優(yōu)化讓我們把上面的部分組合起來看一個(gè)完整的客戶端使用示例并分析其優(yōu)缺點(diǎn)。#include iostream #include string // ... 上面定義的 Computer, ComputerBuilder, GamingComputerBuilder, OfficeComputerBuilder, Director 類 ... int main() { Director director; // 構(gòu)建一臺(tái)游戲電腦 GamingComputerBuilder gamingBuilder; director.setBuilder(gamingBuilder); director.construct(); Computer gamingPC gamingBuilder.getResult(); std::cout --- Gaming PC ---\n; gamingPC.display(); std::cout \n; // 構(gòu)建一臺(tái)辦公電腦 OfficeComputerBuilder officeBuilder; director.setBuilder(officeBuilder); director.construct(); Computer officePC officeBuilder.getResult(); std::cout --- Office PC ---\n; officePC.display(); // 使用不同的構(gòu)建流程 std::cout \n--- Basic Office PC (No GPU specified) ---\n; director.constructBasic(); Computer basicOfficePC officeBuilder.getResult(); // 注意這里復(fù)用了同一個(gè)builder會(huì)覆蓋之前構(gòu)建的產(chǎn)品 basicOfficePC.display(); return 0; }運(yùn)行這個(gè)程序你會(huì)看到輸出了不同配置的電腦信息。這個(gè)例子清晰地展示了模式的工作流程客戶端決定要什么類型的產(chǎn)品選擇具體建造者指揮者負(fù)責(zé)按流程組裝最終從建造者那里獲取成品。然而這個(gè)經(jīng)典實(shí)現(xiàn)有幾個(gè)明顯的痛點(diǎn)客戶端需要與指揮者、建造者同時(shí)打交道步驟稍顯繁瑣。建造者內(nèi)部狀態(tài)管理上面的getResult返回的是副本但有些實(shí)現(xiàn)可能返回指針或引用需要仔細(xì)考慮對(duì)象生命周期。構(gòu)建過程僵化所有步驟都在指揮者里定死如果想自定義步驟比如只要CPU和超大內(nèi)存的“計(jì)算節(jié)點(diǎn)”要么修改指揮者要么新增一個(gè)指揮者方法不夠靈活。3.1 引入“流式接口”的建造者在實(shí)際工程中更常見的是省略掉單獨(dú)的Director類而采用一種稱為“流式接口”或“鏈?zhǔn)秸{(diào)用”的建造者變體。這種變體將指揮者的邏輯融入到建造者自身通過返回建造者自身引用的方式允許客戶端以鏈?zhǔn)秸{(diào)用的方式一步步指定配置最后一步完成構(gòu)建。這種方式在創(chuàng)建具有大量可選參數(shù)的對(duì)象時(shí)尤其優(yōu)雅。我們改造一下ComputerBuilder讓它支持流式接口class Computer { public: // ... 成員變量和display方法同上 ... // 一個(gè)內(nèi)部類作為建造者 class Builder { public: Builder() default; // 每個(gè)設(shè)置方法都返回Builder支持鏈?zhǔn)秸{(diào)用 Builder setCPU(const std::string cpu) { computer_.cpu_ cpu; return *this; } Builder setGPU(const std::string gpu) { computer_.gpu_ gpu; return *this; } Builder setRAM(int ram) { computer_.ram_ ram; return *this; } Builder setStorage(const std::string storage) { computer_.storage_ storage; return *this; } // 最終構(gòu)建方法返回構(gòu)建好的Computer對(duì)象 Computer build() { // 這里可以添加構(gòu)建完成前的最終校驗(yàn)邏輯 if (computer_.cpu_.empty()) { throw std::logic_error(CPU must be specified.); } if (computer_.ram_ 0) { throw std::logic_error(RAM must be positive.); } return computer_; // 返回副本也可以移動(dòng)語義優(yōu)化 } private: Computer computer_; // 建造者內(nèi)部維護(hù)一個(gè)產(chǎn)品實(shí)例 }; private: // 將成員變量設(shè)為私有強(qiáng)制通過Builder創(chuàng)建 std::string cpu_; std::string gpu_; int ram_ 0; std::string storage_; };現(xiàn)在客戶端可以這樣使用int main() { try { // 鏈?zhǔn)秸{(diào)用清晰直觀 Computer gamingPC Computer::Builder() .setCPU(AMD Ryzen 9 7950X) .setGPU(NVIDIA RTX 4080 SUPER) .setRAM(64) .setStorage(2TB PCIe 4.0 NVMe) .build(); // 最終調(diào)用build完成構(gòu)建 std::cout --- Gaming PC (Fluent Interface) ---\n; gamingPC.display(); // 只設(shè)置部分參數(shù)使用默認(rèn)值 Computer officePC Computer::Builder() .setCPU(Intel Core i5-12400) .setRAM(16) .build(); // GPU和Storage使用默認(rèn)值空字符串和0 std::cout \n--- Office PC ---\n; officePC.display(); // 錯(cuò)誤的構(gòu)建未設(shè)置CPU // Computer badPC Computer::Builder().setRAM(8).build(); // 會(huì)拋出異常 } catch (const std::exception e) { std::cerr Build failed: e.what() std::endl; } return 0; }這種實(shí)現(xiàn)方式優(yōu)點(diǎn)非常突出客戶端代碼極其簡(jiǎn)潔和直觀配置過程一目了然。參數(shù)可選性你可以只設(shè)置你關(guān)心的參數(shù)其他參數(shù)會(huì)保持默認(rèn)狀態(tài)需要在Computer構(gòu)造函數(shù)或Builder初始化時(shí)設(shè)定合理的默認(rèn)值。內(nèi)聚的校驗(yàn)邏輯可以在build()方法中集中進(jìn)行參數(shù)有效性、依賴關(guān)系等校驗(yàn)確保構(gòu)建出的對(duì)象是有效的。無需單獨(dú)的Director構(gòu)建順序由客戶端調(diào)用鏈的順序決定更加靈活。這也是現(xiàn)代C項(xiàng)目如各種配置解析庫、網(wǎng)絡(luò)請(qǐng)求客戶端構(gòu)造中最常用的建造者模式形態(tài)。它完美解決了傳統(tǒng)建造者模式客戶端調(diào)用復(fù)雜的問題。4. 進(jìn)階話題處理依賴關(guān)系、不可變對(duì)象與性能考量掌握了基本形態(tài)后我們來看看在實(shí)際項(xiàng)目中應(yīng)用建造者模式時(shí)會(huì)遇到的幾個(gè)進(jìn)階問題。4.1 處理部件間的依賴與約束復(fù)雜對(duì)象的部件之間往往存在依賴或約束關(guān)系。例如選擇了高功耗的CPU和顯卡就需要相應(yīng)功率的電源選擇了ITX主板就只能用ITX機(jī)箱。在建造者模式中處理這些約束有幾個(gè)策略在build()方法中統(tǒng)一校驗(yàn)這是最簡(jiǎn)單直接的方式。在最終構(gòu)建時(shí)檢查所有已設(shè)置的參數(shù)是否符合約束如果不符合則拋出異常或返回錯(cuò)誤。Computer Builder::build() { if (!gpu_.empty() gpu_ ! Integrated Graphics powerSupplyWattage_ 600) { throw std::logic_error(High-performance GPU requires a PSU of at least 600W.); } if (motherboardFormFactor_ ITX caseSize_ ATX) { throw std::logic_error(ITX motherboard does not fit in an ATX case.); } return computer_; }在設(shè)置方法中進(jìn)行即時(shí)校驗(yàn)當(dāng)設(shè)置一個(gè)參數(shù)時(shí)立即檢查它與已設(shè)置的其他參數(shù)是否沖突。這能更早地發(fā)現(xiàn)錯(cuò)誤但會(huì)使設(shè)置方法邏輯變復(fù)雜且可能因?yàn)樵O(shè)置順序不同而產(chǎn)生不同的校驗(yàn)結(jié)果。Builder setGPU(const std::string gpu) { if (gpu.find(RTX 40) ! std::string::npos powerSupplyWattage_ 600) { throw std::logic_error(This GPU model recommends a 600W PSU.); } computer_.gpu_ gpu; return *this; }使用“指導(dǎo)性”建造者回歸經(jīng)典模式通過不同的Director類來封裝“合規(guī)的”配置方案。例如GamingDirector確保構(gòu)建的是一臺(tái)各項(xiàng)配置平衡的游戲主機(jī)。客戶端只需選擇Director無需關(guān)心具體約束。我的經(jīng)驗(yàn)是對(duì)于簡(jiǎn)單的、獨(dú)立的約束可以在setter中做對(duì)于復(fù)雜的、涉及多個(gè)參數(shù)的全局性約束放在build()方法中更清晰。同時(shí)在建造者的文檔或setter方法的注釋中明確說明這些約束對(duì)API的使用者非常友好。4.2 構(gòu)建不可變對(duì)象在并發(fā)編程或函數(shù)式風(fēng)格中我們常常希望對(duì)象一旦創(chuàng)建就不可變immutable。建造者模式是創(chuàng)建不可變對(duì)象的絕佳工具。具體做法是將產(chǎn)品類的所有成員變量設(shè)為private和const。移除所有setter方法。產(chǎn)品類的構(gòu)造函數(shù)設(shè)為private并聲明建造者為友元。建造者在內(nèi)部組裝好所有數(shù)據(jù)后調(diào)用產(chǎn)品的私有構(gòu)造函數(shù)一次性完成初始化。class ImmutableComputer { public: // 沒有setter只有g(shù)etter const std::string getCPU() const { return cpu_; } const std::string getGPU() const { return gpu_; } int getRAM() const { return ram_; } const std::string getStorage() const { return storage_; } void display() const { /* ... */ } class Builder { public: Builder setCPU(const std::string cpu) { /* ... */ return *this; } // ... 其他setter ... ImmutableComputer build() { // 調(diào)用ImmutableComputer的私有構(gòu)造函數(shù) return ImmutableComputer(cpu_, gpu_, ram_, storage_); } private: std::string cpu_, gpu_, storage_; int ram_ 0; }; private: // 私有構(gòu)造函數(shù)只能由Builder的build()方法調(diào)用 ImmutableComputer(const std::string cpu, const std::string gpu, int ram, const std::string storage) : cpu_(cpu), gpu_(gpu), ram_(ram), storage_(storage) {} const std::string cpu_; const std::string gpu_; const int ram_; const std::string storage_; };這樣一旦ImmutableComputer對(duì)象被build()出來其狀態(tài)就無法再被修改線程安全性和邏輯正確性都得到了增強(qiáng)。4.3 性能考量移動(dòng)語義與內(nèi)存管理在流式接口建造者中build()方法通常返回產(chǎn)品對(duì)象的值。在C11之前這可能會(huì)帶來一次拷貝開銷。在現(xiàn)代C中我們可以利用移動(dòng)語義來優(yōu)化。讓build()返回右值確保build()返回后建造者內(nèi)部的產(chǎn)品狀態(tài)被移出避免拷貝。Computer build() { // 校驗(yàn)... return std::move(computer_); // 顯式移動(dòng) // 或者更推薦編譯器通常會(huì)自動(dòng)進(jìn)行RVO返回值優(yōu)化但移動(dòng)語義是安全的保障。 }更常見的做法是在build()之后將建造者置于一個(gè)“已消耗”狀態(tài)禁止再次使用或者讓第二次調(diào)用build()拋出異常。建造者自身的管理如果產(chǎn)品對(duì)象很大建造者作為臨時(shí)對(duì)象在棧上創(chuàng)建是高效的。如果建造過程非常復(fù)雜或者需要跨作用域保存中間狀態(tài)可以考慮使用std::unique_ptrBuilder。但通常鏈?zhǔn)秸{(diào)用場(chǎng)景下建造者是短暫的棧對(duì)象無需動(dòng)態(tài)內(nèi)存分配。與工廠模式結(jié)合對(duì)于極其復(fù)雜、構(gòu)建成本很高的對(duì)象建造者可以只負(fù)責(zé)收集參數(shù)最后由一個(gè)工廠函數(shù)根據(jù)這些參數(shù)來實(shí)際構(gòu)造對(duì)象。這時(shí)建造者可能只保存參數(shù)build()方法調(diào)用工廠函數(shù)。這分離了參數(shù)收集和對(duì)象實(shí)例化提供了更大的靈活性。5. 實(shí)戰(zhàn)對(duì)比建造者模式 vs. 其他創(chuàng)建型模式選擇設(shè)計(jì)模式時(shí)理解其適用場(chǎng)景和與其他模式的差異至關(guān)重要。建造者模式常與抽象工廠、原型模式混淆。模式核心目的適用場(chǎng)景與建造者的關(guān)鍵區(qū)別建造者模式分步構(gòu)建一個(gè)復(fù)雜對(duì)象隔離構(gòu)建與表示。對(duì)象包含多個(gè)部件且構(gòu)建過程復(fù)雜需要不同的構(gòu)建順序或表示。產(chǎn)品內(nèi)部結(jié)構(gòu)復(fù)雜。關(guān)注于分步組裝一個(gè)對(duì)象?？蛻舳丝梢钥刂茦?gòu)建過程。抽象工廠模式創(chuàng)建一系列相關(guān)或依賴的對(duì)象族而不指定具體類。系統(tǒng)需要獨(dú)立于其產(chǎn)品創(chuàng)建、組合和表示的方式。強(qiáng)調(diào)產(chǎn)品家族。關(guān)注于立即創(chuàng)建一組完整的產(chǎn)品對(duì)象?？蛻舳瞬魂P(guān)心構(gòu)建細(xì)節(jié)也無法分步控制。原型模式通過拷貝現(xiàn)有對(duì)象來創(chuàng)建新對(duì)象。創(chuàng)建成本高或系統(tǒng)需要?jiǎng)討B(tài)指定實(shí)例化的類。關(guān)注于復(fù)制一個(gè)現(xiàn)有對(duì)象來創(chuàng)建新對(duì)象而不是從零開始構(gòu)建。一個(gè)簡(jiǎn)單的區(qū)分記憶法你需要定制一臺(tái)電腦選CPU、選顯卡、選內(nèi)存用建造者。你需要開一家電腦店能提供整套“游戲全家桶”或“辦公全家桶”電腦、顯示器、鍵盤鼠標(biāo)一套用抽象工廠。你需要快速克隆一臺(tái)和現(xiàn)有配置一模一樣的電腦用原型。在實(shí)際項(xiàng)目中這些模式也經(jīng)常結(jié)合使用。例如抽象工廠的方法內(nèi)部可能使用建造者來構(gòu)造它返回的復(fù)雜產(chǎn)品原型對(duì)象本身可能就是用建造者模式創(chuàng)建出來的第一個(gè)模板。6. 在真實(shí)項(xiàng)目中的應(yīng)用與避坑指南紙上得來終覺淺絕知此事要躬行。下面分享幾個(gè)我在實(shí)際C項(xiàng)目中使用建造者模式的心得和踩過的坑。6.1 應(yīng)用場(chǎng)景舉例解析復(fù)雜配置文件/JSON/XML這是建造者模式的絕佳舞臺(tái)。例如解析一個(gè)描述UI窗口的JSON窗口有標(biāo)題、尺寸、位置、子控件列表等。你可以定義一個(gè)WindowBuilderparseFromJson方法遍歷JSON節(jié)點(diǎn)依次調(diào)用setTitle、setSize、addButton、addTextBox等方法最后build()出一個(gè)Window對(duì)象。這比直接在Window構(gòu)造函數(shù)里塞一個(gè)巨大的配置結(jié)構(gòu)體要清晰得多。構(gòu)建SQL查詢語句避免字符串拼接的噩夢(mèng)?？梢栽O(shè)計(jì)一個(gè)QueryBuilder提供select、from、where、orderBy等鏈?zhǔn)椒椒▋?nèi)部安全地處理字段名轉(zhuǎn)義、參數(shù)綁定等最后build()出一個(gè)安全的查詢字符串或預(yù)處理語句對(duì)象。網(wǎng)絡(luò)請(qǐng)求構(gòu)造像cURL或一些HTTP客戶端庫設(shè)置URL、方法、頭部、超時(shí)、重試策略等參數(shù)非常多用建造者模式能讓代碼非常清晰。auto request HttpRequest::Builder() .url(https://api.example.com/data) .method(POST) .header(Content-Type, application/json) .body(jsonData) .timeout(std::chrono::seconds(10)) .build();6.2 常見陷阱與解決方案陷阱一建造者內(nèi)部狀態(tài)殘留這是流式接口建造者最容易犯的錯(cuò)誤。一個(gè)建造者對(duì)象被重復(fù)使用來構(gòu)建多個(gè)產(chǎn)品時(shí)如果沒有在build()后或每次build()前重置內(nèi)部狀態(tài)第二個(gè)產(chǎn)品就會(huì)包含第一個(gè)產(chǎn)品的殘留數(shù)據(jù)。Computer::Builder builder; builder.setCPU(Intel).setRAM(16); Computer pc1 builder.build(); // pc1: Intel, 16GB // 錯(cuò)誤builder內(nèi)部狀態(tài)沒清空接下來構(gòu)建的pc2會(huì)繼承CPU和RAM設(shè)置。 Computer pc2 builder.setStorage(1TB SSD).build(); // pc2: Intel, 16GB, 1TB SSD (可能不是我們想要的)解決方案每次使用都創(chuàng)建新的Builder臨時(shí)對(duì)象推薦Computer pc Computer::Builder().setCPU(...)...build();。利用棧對(duì)象的生命周期最簡(jiǎn)單安全。在build()方法末尾重置狀態(tài)build()返回產(chǎn)品后將內(nèi)部的所有成員變量重置為默認(rèn)值。但這會(huì)改變建造者的狀態(tài)可能影響調(diào)用者的預(yù)期。讓build()移動(dòng)內(nèi)部狀態(tài)如前所述build()使用std::move之后建造者內(nèi)部對(duì)象處于有效但未指定的狀態(tài)。通常需要文檔說明建造者在build()后不應(yīng)再被使用。陷阱二忽略參數(shù)校驗(yàn)時(shí)機(jī)把校驗(yàn)邏輯全部堆在build()里用戶可能鏈?zhǔn)秸{(diào)用了一長(zhǎng)串setter最后在build()時(shí)才發(fā)現(xiàn)第一個(gè)參數(shù)就設(shè)錯(cuò)了調(diào)試體驗(yàn)不好。解決方案采用分層校驗(yàn)。簡(jiǎn)單的、獨(dú)立的校驗(yàn)如非空、范圍在setter中立即進(jìn)行。復(fù)雜的、涉及多個(gè)參數(shù)的業(yè)務(wù)邏輯校驗(yàn)如依賴關(guān)系放在build()中。在setter中校驗(yàn)失敗時(shí)立即拋出異?？梢宰屽e(cuò)誤更早、更清晰地暴露。陷阱三過度設(shè)計(jì)不是所有對(duì)象都需要建造者。如果一個(gè)對(duì)象只有三四個(gè)參數(shù)并且都是必填的一個(gè)清晰的構(gòu)造函數(shù)就足夠了。建造者模式會(huì)引入額外的類增加代碼復(fù)雜度。使用建造者模式的信號(hào)是構(gòu)造函數(shù)參數(shù)過多超過4-5個(gè)、大量可選參數(shù)、參數(shù)之間有復(fù)雜的約束或構(gòu)建順序要求。陷阱四與現(xiàn)代C特性結(jié)合時(shí)的疏忽例如在建造者中使用std::optional來表示可選參數(shù)是非常自然的。但要注意std::optional成員的默認(rèn)構(gòu)造狀態(tài)是std::nullopt。在build()時(shí)你需要檢查必填參數(shù)對(duì)應(yīng)的optional是否有值。class ComputerBuilder { std::optionalstd::string cpu_; std::optionalint ram_; // ... public: Computer build() { if (!cpu_) { throw ...; } // CPU是必填項(xiàng) Computer c; c.setCPU(cpu_.value()); // 使用.value()獲取值或.value_or(default) c.setRAM(ram_.value_or(8)); // RAM可選默認(rèn)8GB // ... return c; } };建造者模式是C工具箱中一件強(qiáng)大而實(shí)用的武器它能顯著提升創(chuàng)建復(fù)雜對(duì)象代碼的可讀性、可維護(hù)性和安全性。理解其經(jīng)典形式和現(xiàn)代流式接口變體并能在恰當(dāng)?shù)膱?chǎng)合應(yīng)用它是區(qū)分初級(jí)和中級(jí)C開發(fā)者的一個(gè)標(biāo)志。下次當(dāng)你面對(duì)一個(gè)參數(shù)繁多、構(gòu)建邏輯復(fù)雜的類時(shí)不妨考慮一下是否該請(qǐng)出“建造者”來幫忙了。