Strange comportamento di constexpr per la classe interna

Question

Qualcuno può provare a spiegarlo?

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

Con la dichiarazione della struct

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

entità cyz1 e cyz2 vengono analizzati prima della dichiarazione in linea di Z::noElems(), quindi la definizione di

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

non è disponibile al momento della dichiarazione di

C<Z> cyz2;