c++ - 如何对派生类进行限制？

Question

考虑 curiously recurring template pattern ，你能阻止下面的不安全代码编译吗？

template <class Derived>
class Base {
public:
    void foo()
    {
        // do something assuming "this" is of type Derived:
        static_cast<Derived*>(this)->bar();
    }
};

// This is OK
class A: public Base<A>
{
public:
    void bar()
    {
        // ...
    }
};

// Crash and burn, should be prevented by the compiler
class B: public Base<A>
{
    //...
};

void f()
{
    // undefined behavior: B object was static_cast to A
    B{}.foo();
}

有没有办法向 Base 类添加某种限制，以防止 B 类 的定义有效？

Answer 1

你可以制作Base<D>构造函数(或析构函数)私有(private)和 friend D .

你需要添加

A()=default;
B()=default;

公开，但是当你这样做时，B 不能被创建。哪个好。