組合模式如何避免無限遞歸？1.明確遍歷方向，確保從根節(jié)點到葉子節(jié)點的單向遍歷；2.設置終止條件，如檢查是否已訪問過節(jié)點或限制最大遞歸深度；3.避免循環(huán)引用，確保組件之間為樹狀結(jié)構(gòu)而非圖狀結(jié)構(gòu)。在文件系統(tǒng)示例中，通過單向遍歷children_向量調(diào)用子節(jié)點operation方法，有效防止了無限遞歸問題。
組合模式，本質(zhì)上就是讓你像操作單個對象一樣操作一組對象。在c++里，這通常意味著你需要一個統(tǒng)一的接口，讓客戶端代碼可以忽略到底是處理一個葉子節(jié)點還是一個復雜的組合節(jié)點。
組合模式的核心在于如何用樹形結(jié)構(gòu)來表示“整體-部分”的層次關(guān)系。
解決方案
組合模式的關(guān)鍵在于定義一個抽象的組件類，這個組件類聲明了所有子類（包括葉子節(jié)點和組合節(jié)點）都需要實現(xiàn)的方法。 比如，一個Component類，里面有add、remove、getChild和operation方法。葉子節(jié)點類繼承自Component，但通常add、remove、getChild方法是空的或者拋出異常，因為葉子節(jié)點不能再包含其他組件。組合節(jié)點類也繼承自Component，但它會實現(xiàn)add、remove、getChild方法，用來管理子組件。
立即學習“C++免費學習筆記（深入）”；
舉個例子，假設我們要表示一個文件系統(tǒng)，文件和文件夾都可以看作是組件。
#include <iostream> #include <vector> #include <string> #include <algorithm> class Component { public: virtual ~Component() {} virtual void add(Component* component) {} virtual void remove(Component* component) {} virtual Component* getChild(int index) { return nullptr; } virtual void operation() = 0; virtual std::string getName() = 0; }; class File : public Component { public: File(std::string name) : name_(name) {} void operation() override { std::cout << "File: " << name_ << std::endl; } std::string getName() override { return name_; } private: std::string name_; }; class Directory : public Component { public: Directory(std::string name) : name_(name) {} void add(Component* component) override { children_.push_back(component); } void remove(Component* component) override { children_.erase(std::remove(children_.begin(), children_.end(), component), children_.end()); } Component* getChild(int index) override { if (index >= 0 && index < children_.size()) { return children_[index]; } return nullptr; } void operation() override { std::cout << "Directory: " << name_ << std::endl; for (Component* child : children_) { child->operation(); } } std::string getName() override { return name_; } private: std::vector<Component*> children_; std::string name_; }; int main() { Directory* root = new Directory("Root"); File* file1 = new File("file1.txt"); Directory* dir1 = new Directory("Dir1"); File* file2 = new File("file2.txt"); root->add(file1); root->add(dir1); dir1->add(file2); root->operation(); // 打印整個文件系統(tǒng)結(jié)構(gòu) delete root; // 記得釋放內(nèi)存，這里為了簡化沒有做更復雜的內(nèi)存管理 delete file1; delete dir1; delete file2; return 0; }
這個例子里，Component是抽象組件，F(xiàn)ile是葉子節(jié)點，Directory是組合節(jié)點。客戶端代碼只需要調(diào)用root->operation()，就可以遍歷整個文件系統(tǒng)并執(zhí)行相應的操作。
如何避免組合模式中的無限遞歸？
無限遞歸通常發(fā)生在組合節(jié)點的operation方法中，如果子節(jié)點的operation方法又調(diào)用了父節(jié)點的operation方法，就可能形成循環(huán)。 避免這種情況的關(guān)鍵在于：
- 明確遍歷方向： 確保遍歷的方向是單向的，例如從根節(jié)點到葉子節(jié)點，而不是在父子節(jié)點之間來回調(diào)用。
- 設置終止條件： 在遞歸調(diào)用子節(jié)點的operation方法之前，可以檢查是否已經(jīng)訪問過該節(jié)點，或者設置一個最大遞歸深度。
- 避免循環(huán)引用： 確保組件之間的引用關(guān)系是樹狀的，而不是圖狀的，即不存在A是B的子節(jié)點，B又是A的子節(jié)點的情況。
在上面的文件系統(tǒng)例子中，我們通過遍歷children_向量來調(diào)用子節(jié)點的operation方法，保證了單向的遍歷方向，避免了無限遞歸。
組合模式與裝飾器模式的區(qū)別是什么？
組合模式和裝飾器模式都利用了接口和繼承，但它們的目的和應用場景不同。
- 組合模式： 用于表示“整體-部分”的層次結(jié)構(gòu)，客戶端可以統(tǒng)一地操作單個對象和組合對象。 關(guān)注的是如何將多個對象組合成一個更大的對象，并保持客戶端代碼的透明性。
- 裝飾器模式： 用于動態(tài)地給對象添加額外的職責，而不需要修改對象的原始類。 關(guān)注的是如何給單個對象添加功能，通常是通過包裝原始對象來實現(xiàn)。
簡單來說，組合模式處理的是對象的結(jié)構(gòu)，而裝飾器模式處理的是對象的功能增強。 組合模式通常包含多個子節(jié)點，而裝飾器模式通常只包裝一個對象。
C++中如何優(yōu)化組合模式的內(nèi)存管理？
在組合模式中，如果組件之間存在大量的動態(tài)內(nèi)存分配，就可能導致內(nèi)存泄漏或者性能問題。 一些優(yōu)化內(nèi)存管理的方法包括：
- 智能指針： 使用std::unique_ptr或std::shared_ptr來管理組件的生命周期，可以自動釋放不再使用的內(nèi)存，避免內(nèi)存泄漏。 例如，可以將Directory類的children_向量聲明為std::vector<:unique_ptr>>，這樣當Directory對象被銷毀時，它所包含的所有子組件也會自動被銷毀。
- 對象池： 如果組件的創(chuàng)建和銷毀非常頻繁，可以考慮使用對象池來復用對象，減少內(nèi)存分配和釋放的開銷。
- 寫時復制（copy-on-Write）： 如果多個組合對象共享同一個子組件，可以使用寫時復制技術(shù)來避免不必要的內(nèi)存復制。 當需要修改子組件時，才真正進行復制，否則多個組合對象共享同一個子組件的內(nèi)存。
使用智能指針改造上面的文件系統(tǒng)例子：
#include <iostream> #include <vector> #include <string> #include <algorithm> #include <memory> class Component { public: virtual ~Component() {} virtual void add(std::unique_ptr<Component> component) {} virtual void remove(Component* component) {} virtual Component* getChild(int index) { return nullptr; } virtual void operation() = 0; virtual std::string getName() = 0; }; class File : public Component { public: File(std::string name) : name_(name) {} void operation() override { std::cout << "File: " << name_ << std::endl; } std::string getName() override { return name_; } private: std::string name_; }; class Directory : public Component { public: Directory(std::string name) : name_(name) {} void add(std::unique_ptr<Component> component) override { children_.push_back(std::move(component)); } void remove(Component* component) override { children_.erase(std::remove_if(children_.begin(), children_.end(), [component](const std::unique_ptr<Component>& p) { return p.get() == component; }), children_.end()); } Component* getChild(int index) override { if (index >= 0 && index < children_.size()) { return children_[index].get(); } return nullptr; } void operation() override { std::cout << "Directory: " << name_ << std::endl; for (const auto& child : children_) { child->operation(); } } std::string getName() override { return name_; } private: std::vector<std::unique_ptr<Component>> children_; std::string name_; }; int main() { std::unique_ptr<Directory> root = std::make_unique<Directory>("Root"); std::unique_ptr<File> file1 = std::make_unique<File>("file1.txt"); std::unique_ptr<Directory> dir1 = std::make_unique<Directory>("Dir1"); std::unique_ptr<File> file2 = std::make_unique<File>("file2.txt"); root->add(std::move(file1)); root->add(std::move(dir1)); dir1->add(std::move(file2)); root->operation(); return 0; }
可以看到，使用std::unique_ptr后，我們不再需要手動delete對象，內(nèi)存管理變得更加安全和方便。
