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> { 

};