c++ - 是否可以使用 CRTP 模拟静态多态性中的纯虚函数？

Question

我正在尝试使用 CRTP 实现编译时多态性，并希望强制派生类实现该功能。

目前的实现是这样的。

template <class Derived>
struct base {
    void f() {
        static_cast<Derived*>(this)->f();
    }
};

struct derived : base<derived>
{
    void f() {
    ...
    }
};

在此实现中，如果派生类未实现 f()，则对该函数的调用将陷入无限循环。

如何强制派生类像纯虚函数一样实现函数？我尝试使用像 static_assert(&base::f != &Derived::f, "...") 这样的“static_assert”，但它生成一条错误消息，指出两个成员函数指针指向不同的类的成员函数没有可比性。

Answer 1

你可以给你覆盖的东西和钩子(Hook)不同的名字，像这样:

template <class Derived>
struct base {
    void f() {
        static_cast<Derived*>(this)->fimpl();
    }
    void fimpl() = delete;
};

struct derived : base<derived> {
    void fimpl() { printf("hello world\n"); }
};

这里，fimpl = delete 在基类中，这样它就不会被意外调用，除非在派生类中重写 fimpl。

您还可以在 CRTP 中添加一个中间隐藏层，以“临时”将 f 标记为 delete:

template <class Derived>
struct base {
    void f() {
        static_cast<Derived*>(this)->f();
    }
};

template <class Derived>
struct intermediate : base<Derived> {
    void f() = delete;
};

struct derived : intermediate<derived> {
    void f() { printf("hello world\n"); }
};