c++ - 确保一个类不继承自两个接口(interface)

Question

我有这个问题。有一个我们开发和使用的框架。我们有一些该框架的用户需要实现的接口(interface)。我想确保其中两个接口(interface)永远不能在同一个类上实现。这是一个例子

class A{
  void a() = 0;
};
class B{
  void b() = 0;
};

class C: public A, public B { // This should give error
};
class D: public A{ // OK
};

到目前为止，我想也许我可以使用 static_assert和 std::is_convertible但我不知道该怎么做。
编辑:
我不知道谁来编写派生类，所以如果可能的话，我想把它放在基接口(interface)中。基本上假设我无权访问派生类，因为它们不在我们的代码库中。
谢谢。

Answer 1

像这样写自己的特质:

template<typename Derived, typename... BaseCandidates>
struct has_no_base;

template<typename Derived>
struct has_no_base<Derived>
    : std::true_type { };

template<typename Derived, typename BaseFirst, typename... BasesRest>
struct has_no_base<Derived, BaseFirst, BasesRest...>
    : std::conditional_t<
        std::is_base_of<BaseFirst, Derived>,
        std::true_type,
        has_no_base<Derived, BasesRest...>
      > { };

template<typename Derived, typename... PossibleBases>
struct has_only_one_base;

template<typename Derived>
struct has_only_one_base<Derived>
    : std::false_type { };

template<typename Derived, typename Base>
struct has_only_one_base<Derived, Base>
    : std::conditional_t<
        std::is_base_of_v<Base, Derived>,
        std::true_type,
        std::false_type
      > { };

template<typename Derived, typename BaseFirst, typename... BasesRest>
struct has_only_one_base<Derived, BaseFirst, BasesRest...>
    : std::conditional_t<
        std::is_base_of_v<BaseFirst, Derived>,
        has_no_base<Derived, BasesRest...>,
        has_only_one_base<Derived, BasesRest...>
      > { };

并像这样使用它:

class MyClass : public A, public B
{
    static_assert(has_only_one_base<MyClass, A, B>::value, "Error");
};

此外，只要您是该框架的开发人员，您可以提供一些检查特征:

template<typename Type>
using is_valid_class = has_only_one_base<Type, IFirst, ISecond, ... ILast>;

并使用它:

class MyClass : public A, public B
{
    static_assert(is_valid_class<MyClass>::value, "Error");
};