确保一个类不继承自两个接口

Question

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

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，但我无法亲自动手。

编辑： 我不知道谁来编写派生类，所以如果可能的话，我想把它放在基接口中。基本上假设我无法访问派生类，因为它们不在我们的代码库中。

谢谢。

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");
};