クラス定義を基本クラスに渡すと、クラス定義は完了していますか？

Question

派生型のstatic constexprを含むCRTPを作成しようとしています。これは、1つのクラスでは実現できないためです。このコードはGCCでうまくコンパイルされますが、clangはDerivedが不完全な型であると不平を言っています。どちらが正しいですか？

template<class T> 
class Base { 
public: 
    static constexpr T a = T(1), b = T(20); 
}; 

class Derived : public Base<Derived> { 
public: 
    int x; 
    constexpr Derived(int x) : x(x) {} 
}; 

Answer 1

Derived右定義時に起こるBase<Derived>がインスタンス化される時点（[class.mem]/2）、で不完全です。 constexprを使用し、[class.static.data]/3のようにイニシャライザを必要とし、Base<Derived>がインスタンス化されると、イニシャライザを含む静的データメンバー（[temp.inst]/3）の宣言も同様になります。しかし、イニシャライザは不完全な型のオブジェクトを作成しようとしていますが、これは不正な形です。

あなたが代わりにconstとしてあなたのメンバを宣言することができます。

template<class T> 
class Base { 
public: 
    static const T a; 
}; 
template <typename T> 
constexpr T Base<T>::a = T(1); 

初期化子が定義で今があるため、この初期化子のインスタンス化は、例えばまで延期することができますDerivedが完了しました。 DemoとClang。

Clangはまだaをconstexprとして処理していないことに注意してください。バグ#24541を参照してください。