Compilerfehler, wenn CRTP Verwendung mit static_assert

Question

Betrachten Sie den folgenden Code ein:

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; 

Dies kompiliert auf gcc in Ordnung, aber wenn ich die static_assert Linie Kommentar-, wirft sie

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

Ich versuchte es mit verschiedenen Versionen von gcc von 4.9 bis 5.3 und ich bekomme den gleichen Fehler (Sie können es auf godbolt here versuchen). Klirren weigert sich, es auch ohne die static_assert zu kompilieren, und beschwert sich, dass

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

Which Compiler korrekt ist (falls vorhanden)? Gibt es eine gute Möglichkeit, den Code zu reparieren?

Answer 1

verschachtelten Namen Zugriff erfordert die Klasse vollständig zu sein, aber Derived ist nicht vollständig hier noch:

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

so wird der Code schlecht ausgebildet.

Es gibt einige Problemumgehungen. Erstens können Sie separat übergeben Sie einfach den Wert als Vorlage Argument:

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

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

Zweitens, wenn möglich (zB Sie nicht x_derived brauchen keine Mitglieder zu erklären), können Sie den Wert in eine Funktion bewegen zu verzögern seine Instanziierung:

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; 
};