編譯器錯誤使用CRTP與static_assert時

Question

考慮下面的代碼：

template<typename Derived> 
struct Base { 
    static constexpr int x_base = Derived::x_derived; 
    //static_assert(x_base > 1, "Oops"); 
}; 

struct Derived : public Base<Derived> { 
    static constexpr int x_derived = 5 ; 
}; 

Base<Derived> obj; 

這編譯海合會正常，但如果我取消了static_assert線，就抱怨說，

error: incomplete type 'Derived' used in nested name specifier 
static constexpr int x_base = Derived::x_derived; 

我用不同的試了一下gcc版本從4.9到5.3，我得到了同樣的錯誤（你可以在godbolt here上試試）。鐺拒絕編譯它即使沒有static_assert，並抱怨說

error: no member named 'x_derived' in 'Derived' 
static constexpr int x_base = Derived::x_derived; 

哪個編譯器是正確的（如果有的話）？ 有沒有一種很好的方法來修復代碼？

Answer 1

訪問嵌套名稱需要類是完整的，但Derived是不完整的現在還沒有到：

template<typename Derived> 
struct Base { 
    static constexpr int x_base = Derived::x_derived; 
            ^^^^^^^^^ 
}; 

所以代碼是非法的形成。

有幾種解決方法。首先，你可以分別只是在值傳遞用作模板參數：

template <typename Derived, int x_derived> 
struct Base { 
    static constexpr int x_base = x_derived; 
}; 

struct Derived : public Base<Derived, 5> { }; 

其次，如果可能的話（例如，你不需要x_derived聲明任何成員），您可以將值移動到一個功能延遲其實例：

template<typename Derived> 
struct Base { 
    static constexpr int x_base() { 
     static_assert(Derived::x_derived > 1, "Oops"); 
     return Derived::x_derived; 
    } 

}; 

struct Derived : public Base<Derived> { 
    static constexpr int x_derived = 5; 
};