如何在派生类中覆盖模板类的静态方法

Question

我在重写基类的静态方法时遇到了一点问题，但整个问题非常复杂且太长（游戏引擎中资源管理的泛化），所以这里有一个简化版本：

template<class T>
class base
{
    static void bar()
    { printf("bar"); }
public:
    static void foo()
    { bar(); }
};

class derived : public base<int>
{
    static void bar()
    { printf("baz"); }
};

int main() { derived::foo(); }

上面的代码在我的例子中输出“bar”，我希望它输出“baz”。我该怎么办？似乎无论我尝试什么，base::foo() 总是调用 base::bar()。我的设计可能有问题。我从来没有遇到过这个问题 - 我该如何解决？

Answer 1

简单的类继承无法实现您想要做的事情；一个方法不能同时是static 和virtual。

您需要一个static 方法才能在没有对象（实例）的情况下调用函数；并且您需要将bar 设为virtual，以便bar<int>::foo() 在从derived 实例 调用时调用derived::bar()。

这两个特征是相互排斥的。但Curiously Recursive Template Pattern (CRTP) 可能是这里的解决方案：

#include <iostream>

template<class T>
struct base
{
    static void foo()
    {
        T::bar();
    }
};

struct derived : public base<derived>
{
    static void bar()
    {
        std::cout << "derived" << std::endl;
    }
};

int main()
{
    derived::foo();
}

Live example