有人可以试试解释一下吗？
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,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
};
解决方法
用struct的声明
struct Y
{
struct Z
{
enum E { A,Z::C+1> cyz1; // this DOES compile
C<Z> cyz2; // <--- this does NOT compile
};
实体cyz1和cyz2在Z :: noElems()的内联声明之前解析,所以定义
static constexpr size_t noElems() { return C+1; };
在宣布时不可用
C<Z> cyz2;
