CRTP 编译错误

Question

以下内容将使用 GCC 5.2 编译，但不能使用 Visual Studio 2015。

template <typename Derived>
struct CRTP {
    static constexpr int num = Derived::value + 1;
};

struct A : CRTP<A> {
    static constexpr int value = 5;
};

它抱怨A 没有名为value 的成员。 如何修复代码以便在两个编译器上编译？还是完全违法？

Answer 1

尝试将其设为 constexpr 函数。您现在的设置方式会尝试访问不完整的类型。
由于模板化的成员函数只会在第一次使用时被初始化，因此 A 类型将在此时完全定义。

#include <iostream>

template <typename Derived>
struct CRTP {
    static constexpr int num() { return  Derived::value + 1; }
};

struct A : CRTP<A> {
    static constexpr int value = 5;
};

int main()
{
    std::cout << A::num();
    return 0;
}

现场观看here

Answer 2

问题出在这里：

template <typename Derived>
struct CRTP {
    static constexpr int num = Derived::value + 1;
                               ↑↑↑↑↑↑↑↑↑
};

在CRTP<A> 实例化时，A 还不是一个完整的类，因此您实际上无法访问它的静态成员。

一种解决方法是将num 作为单独的模板参数传入：

template <typename Derived, int N>
struct CRTP {
    static constexpr int num = N;
};

struct A : CRTP<A, 5> {

};