將類定義傳遞給基類時是否完成了類定義？

Question

我想寫一個CRTP來包含派生類型的static constexpr，因爲這對於一個類是不可能的。此代碼在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。