c++ - 在编译时将继承限制为所需数量的类

Question

我们有一个限制，一个类不能作为超过 7 个类的基类。有没有办法在编译时强制执行上述规则？

我知道 Andrew Koenig 的 Usable_Lock 技术可以防止类被继承，但只有当我们尝试实例化该类时它才会失败。自己推导的时候不可以这样吗？

允许基类知道谁是它的 child 。所以我想我们可以声明 friend 的组合类并封装它们以执行此规则。假设我们尝试这样的事情

class AA {
   friend class BB;
   private:
      AA() {}
      ~AA() {}
};

class BB : public AA {

};

class CC : public AA 
{};

类 CC 的派生将生成编译器警告 abt inaccessible dtor。然后我们可以标记使用编译器调整的错误警告(例如将所有警告标记为错误)，但我不想依赖这些技术。

另一种方式，但对我来说看起来相当笨拙:-

class B;

class InheritanceRule{
    class A {
    public:
        A() {}
        ~A() {}
    };
    friend class B;
};

class B {
public:
    class C : public InheritanceRule::A
    {};
};


class D : public InheritanceRule::A{};

类 D 的派生将被标记为编译器错误，这意味着所有要派生的类都应该在类 B 中派生。这将允许至少检查从类 A 派生的类的数量，但不会阻止任何人从添加更多。

这里有人有办法吗？如果基类不需要知道谁是它的 child ，那就更好了。

注意:充当基类的类本身可以被实例化(它不是抽象的)。

提前致谢

EDIT-1:根据 jon.h 的评论，稍作修改

// create a template class without a body, so all uses of it fail
template < typename D> 
class AllowedInheritance;

class Derived; // forward declaration
// but allow Derived by explicit specialization 
template<> 
class AllowedInheritance< Derived> {};

template<class T>
class Base : private AllowedInheritance<T> {};

// privately inherit Derived from that explicit specialization    
class Derived : public Base<Derived> {};

// Do the same with class Fail Error
// it has no explicit specialization, so it causes a compiler error
class Fail : public Base<Fail> {}; // this is error

int main()
{   
   Derived d;

   return 0;
}

Answer 1

抱歉，我不知道如何使用编译器强制执行任何此类限制。

就我个人而言，我不会费心去尝试将规则强加到代码本身中——你在用与代码正在做的事情无关的东西把代码弄得乱七八糟——这不是干净的代码。

与其跳过障碍，不如尝试放宽该规则。相反，它应该是一个指导方针，必要时可以打破，并与团队中的其他人达成一致。

当然，我不知道你在做什么，所以规则可能是合适的，但一般来说它可能不合适。

任何规定您永远不能做 x 或必须始终做 y 的编程“规则”几乎总是错误的!注意那里的“几乎”这个词。

有时您可能需要超过 7 个派生类 - 那么您会怎么做？跳过更多的圈。另外，为什么是7？为什么不是 6 或 8？它是如此武断 - 另一个糟糕规则的迹象。

如果你必须这样做，正如 JP 所说，静态分析可能是更好的方法。