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()是纯虚拟的。所以基类是抽象的。

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

有没有可能让基类变得抽象，这样就不能创建这个类的对象了？

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>的指针。