c++ - CRTP - 是否可以创建抽象基类？

Question

我正在实现一个静态多态性：

template<typename T>
class Base {
public:
    void method() {
         // do something
         impl();
         // do something else
    }
    void impl() { // intended to be private
        static_cast<T*>(this)->impl();
    }
};

class Derived : public Base<Derived> {
public:
     void impl() { // intended to be private
     }
};

void impl()此代码是纯虚拟的动态多态类的静态实现。所以基类是抽象的。

现在这些类实现了静态多态，因此没有纯虚函数。

是否可以将 Base 类抽象化，从而无法创建此类的对象？

Answer 1

您可以使用受保护的析构函数和构造函数：

template<typename T>
class Base {
public:
    void method() {
         // do something
         impl();
         // do something else
    }
    void impl() { // intended to be private
        static_cast<T*>(this)->impl();
    }

protected:
    Base() = default;
    ~Base() = default;

    // If you don't want to implement proper copying/moving:
    // Base(const Base&) = delete;
    // Base(Base&&) = delete;
    // Base& operator=(const Base&) = delete;
    // Base& operator=(Base&&) = delete;
};

这甚至会禁止派生类的成员函数创建基类对象，以及尝试删除静态类型为Base<T>.