理解Mixins：類擴展的模組化方法

mixin 是一種軟體設計模式，允許組合多個類，提供一種擴展基底類別功能而不直接繼承基底類別的方法。這種技術通常被稱為“抽象子類別”，因為它類似於繼承的概念，但具有更靈活和更精細的方法。

要了解 mixin 的工作原理，讓我們檢查以下範例：

// Number class
struct Number {
    int n;

    void set(int v) { n = v; }
    int get() const { return n; }
};

// Undoable mixin
template 
struct Undoable : public BASE {
    int before;

    void set(int v) {
        before = BASE::get();
        BASE::set(v);
    }

    void undo() { BASE::set(before); }
};

在此範例中，Undoable mixin 提供了撤銷先前值集的功能。它本質上包裝了一個 BASE 類，允許任何類別繼承它並獲得撤消其 set 方法的能力。

要組成一個組合多個 mixin 的新類，我們可以使用模板元編程：

// ReUndoableNumber class
typedef Undoable UndoableNumber;
typedef Redoable ReUndoableNumber;

在這種情況下，ReUndoableNumber 繼承自 Undoable 和 Redoable mixin，並獲得撤銷和重做其設定值的能力。

當我們希望使用可能與類別的核心行為無關的正交功能來擴展現有類別。與傳統的繼承相比，它們提供了更模組化和可組合的方法，在傳統繼承中，類別必須直接從父類別繼承才能獲得其功能。

此外，mixin 允許創建可重複使用的構建塊，這些構建塊可以輕鬆組合到形成更複雜的類別。這種靈活性使開發人員能夠根據他們需要的特定功能自訂他們的類，而不受傳統繼承的限制。