Seltsames conetexpr Verhalten für innere Klasse

Question

Kann jemand versuchen, das zu erklären?

template<typename T, size_t S = T::noElems()> 
struct C 
{ 
}; 

struct X 
{ 
    enum E { A, B, C }; 
    static constexpr size_t noElems() { return C+1; }; 
}; 

struct K 
{ 
    C<X> cx; // this DOES compile 
}; 

struct Y 
{ 
    struct Z 
    { 
     enum E { A, B, C }; 
     static constexpr size_t noElems() { return C+1; }; 
    }; 
    C<Z, Z::C+1> cyz; // this DOES compile 

    C<Z> cyz; // <--- this does NOT compile 
}; 

Answer 1

Mit der Erklärung der Struktur

struct Y 
{ 
    struct Z 
    { 
     enum E { A, B, C }; 
     static constexpr size_t noElems() { return C+1; }; 
    }; 
    C<Z, Z::C+1> cyz1; // this DOES compile 

    C<Z> cyz2; // <--- this does NOT compile 
}; 

Einheiten cyz1 und cyz2 vor Inline-Deklaration von Z::noElems() analysiert werden, so die Definition von

static constexpr size_t noElems() { return C+1; }; 

ist zur Zeit nicht verfügbar von Erklärung von

.210