Порядок статических членов класса

Question

Сегодня я обнаружил, что порядок статических членов класса имеет значение. Вот это пример:

template <typename T> 
struct SizeOf 
{ 
    template <typename U> 
    static auto Test() { return U{}; } 

    static const size_t value = sizeof(Test<T>()); 
}; 

std::cout << SizeOf<double>::value << std::endl; // ok! 

Однако этот случай дает мне компилятор ошибки:

template <typename T> 
struct SizeOf 
{ 
    static const size_t value = sizeof(Test<T>()); 

    template <typename U> 
    static auto Test() { return U{}; } 
}; 

std::cout << SizeOf<double>::value << std::endl; // error: "Test: undeclared identifier" 

ли это означает, что статические члены обрабатываются так же, как глобальные переменные/функции, поэтому не видны статические члены, которые приходят позже?

Answer 1

Это связано с тем, что имена имен становятся известны компилятору. Если у вас есть

template <typename T> 
struct SizeOf 
{ 
    static const size_t value = sizeof(Test<T>()); 

    template <typename U> 
    static auto Test() { return U{}; } 
}; 

компилятор никогда не видел Test в static const size_t value = sizeof(Test<T>()); так бросает

Test: undeclared identifier

Потому что он не имеет ни малейшего представления, что это такое. Когда у вас это есть, наоборот, компилятор знает, что такое Test, поэтому он просто компилируется.

Answer 2

Вы не можете ссылаться на то, что не было объявлено. Когда компилятор встречает Test<T>, как он должен осмысленно выводить то, что вы на самом деле имеете в виду?