Una definizione di classe è completa quando viene passata a una classe base?

Question

Sto provando a scrivere un CRTP per contenere un static constexpr del tipo derivato, poiché è impossibile farlo con una sola classe. Questo codice si compila bene in GCC, ma clang si lamenta che Derived è un tipo incompleto. Quale è giusto?

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 è incompleto nel punto in cui viene istanziata Base<Derived> ([class.mem]/2), che avviene giusto al momento definizione. Hai usato constexpr, che richiede un inizializzatore come per [class.static.data]/3, e quando viene creato il Base<Derived>, così come le dichiarazioni dei suoi membri di dati statici ([temp.inst]/3), che include gli inizializzatori. Tuttavia, gli inizializzatori stanno tentando di creare un oggetto di tipo incompleto, che è mal formato.

è possibile dichiarare il vostro membro come const invece:

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

poiché l'inizializzatore è ora alla definizione, la creazione di istanze di questa inizializzazione può essere differito fino esempio Derived è completo. Demo con Clang.

Si noti che Clang non tratta ancora a come constexpr perché non riesce ad istanziare con entusiasmo la sua definizione. Vedi bug #24541.