什么是 C++ Mixin 风格？

Question

我刚刚遇到了这个关键字C++ Mixin-Style，有人知道这是什么吗？

在this post 中，被回答为设计模式。是否与this document 中描述的设计模式相同？

Answer 1

Mixins 是来自 Lisp 的一个概念。来自Dr. Dobbs的一个很好的解释：

从某种意义上说，mixin 是一个类的一个片段，它旨在与其他类或 mixin 组合在一起。
[...]
常规的独立类（例如 Person）和 mixin 之间的区别在于，mixin 对一些小的功能切片（例如，打印或显示）进行建模，并且不适合独立使用。相反，它应该与需要此功能的其他类（例如 Person）组合在一起。

因此，mixin 的意义在于允许类似的多重继承，而没有通常伴随多重继承的所有 Bad Things™。

然而，这可能有点令人困惑，因为 C++ 本身并不支持 mixin。为了在 C++ 中“做”混合，你必须使用多重继承！这在实践中的最终含义是您仍然使用多重继承，但是您人为地限制了您允许自己使用它的目的。

有关实际的 mixin 实现，请参阅上面的文章。

Answer 2

如果我没记错的话，至少有两种方法可以在 C++ 中创建 mixin。这来自我看过的一些非常古老的（1995 年）教程（但它现在几乎完全从互联网上消失了）。

首先，

class MixinBase {
public :
    void f() {};
};

template<class T>
class Mixin : public T {
public:
    void f() {
        T::f();
        T::f();
    }
};

template<class T>
class Mixin2 : public T {
public :
    void g() {
        T::f();
        T::f();
    }
};

int main() {
    Mixin2<Mixin<MixinBase>> mix;
    mix.g();
}

或者另一种方式使用虚拟继承和兄弟调用：

class Base {
public :
    virtual void f() = 0;
};

class D1 : public virtual Base {
public :
    void g() {
        f();
    }
};

class D2 : public virtual Base {
public :
    void f() {
    }
};

class D : public D1, public D2 {
};

int main() {
    D d;
    d.g();
}

现在这两个版本都实现了 mixin，因为 Mixin 和 Mixin2 是独立的类，但是它们仍然可以通信。您可以从此类模块创建软件，然后将这些模块绑定到一个大软件。虚拟继承中的 D1 和 D2 之间也是如此。需要注意的重要一点是，在 mixin 设计中，不同的模块存在于同一个 c++ 对象中。 （哦，CRTP 是不同的技术）

Answer 3

Mixin 是一个类（或其他代码组），旨在通过直接包含在另一段代码中来重用。将其视为没有子类型多态性的继承。 CRTP 是一种在 C++ 中近似 Mixin 的方法。

Answer 4

通常，mixin 被称为小类（通常是模板化的或基于 crtp 的），您可以从中“混入”某些功能；通常通过多重继承和基于策略的设计（另见 Alexandrescu 的“Modern C++ Design”）。

Answer 5

C++ 中的 Mixin 使用 Curiously Recurring Template Pattern (CRTP) 表示。 This post 是他们提供的优于其他重用技术的一个很好的细分......编译时多态性。