Является ли определение класса полным, когда оно передается базовому классу?

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.

Обратите внимание, что Кланг еще не обрабатывает a как constexpr, потому что он не может запрограммировать его определение. См. Ошибку #24541.