Hành vi constexpr lạ đối với lớp bên trong

Question

Ai có thể cố gắng giải thích điều này?

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

Với tuyên bố của 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 
}; 

thực thể cyz1 và cyz2 được phân tích trước khi tuyên bố nội tuyến của Z::noElems(), vì vậy định nghĩa của

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

không có sẵn tại thời điểm tuyên bố của

C<Z> cyz2;