c++ - 如何告诉 C++ mixin 它实现的接口(interface)

Question

我有一个接口(interface)和一个实现它的类:

class InterfaceA
{
public:
    enum Enum { X, Y, Z };
    virtual void foo(Enum &) = 0;
    virtual void bar() = 0;
};

class ClassA : public InterfaceA
{
public:
    virtual void foo(Enum & a) { 
        a = X;
    }
    virtual void bar();
};

我需要在一个方面扩展 InterfaceA 实现类的功能。据我了解，这就是 mixin 的用途。

例如foo() 应该在某些情况下更改其参数值。这是我的做法:

template <typename T>
class Mixin : public T
{
public:
    virtual void foo(Enum & a) { 
        T::foo(a);
        if (a == X){
            a = Y;
        }
    }
};

问题是，它不会编译，除非我将作用域前缀写入接口(interface)类中定义的标识符，或者像这样对它们进行类型定义:

template <typename T>
class Mixin : public T
{
public:
    typedef InterfaceA::Enum Enum;
    virtual void foo(Enum & a) { 
        T::foo(a);
        if (a == InterfaceA::X){
            a = InterfaceA::Y;
        }
    }
};

如果来自接口(interface)定义的此类类型很少，这没什么大不了的。但如果有很多，它就会变得丑陋。我希望代码能够反射(reflect)这样一个事实，即 Mixin 通过设计来操纵 InterfaceA 对象。不幸的是，从 InterfaceA 继承 Mixin 引入了一个我最好避免的“可怕的菱形”。这可能吗？

Answer 1

Enum、X 和 Y 应该是依赖类型名。

并且您可以使用static_assert 来强制继承。

template <typename T>
class Mixin : public T
{
public:
    static_assert(std::is_base_of<InterfaceA, T>::value,
                  "T should inherit from InterfaceA");

    virtual void foo(typename T::Enum & a) { 
        T::foo(a);
        if (a == T::X){
            a = T::Y;
        }
    }
};