代码如下： template <typename List> class LargestTypeT; template <typename List> class LargestTypeT { private: using First = Front<List>; using Rest = typename LargestTypeT<PopFront<List>>::Type; public: using Type = IfThenElse<(sizeof(First) >= sizeof(Rest)), First, Rest>; }; template <> class LargestTypeT<Typelist<>> { public: using Type = char; }; template <typename List> using LargestType = typename LargestTypeT<List>::Type;
在类 LargestTypeT 中 Type 的声明顺序是晚于 First 和 Rest 的，但是 Rest 可以成功成为 LargestTypeT<PopFront<List>>::Type 的别名呢（尽管 Type 在 Rest 之后声明）。我也尝试调换 private 和 public 的顺序（先声明 Type， 再声明 First，Rest)这样的话编译器就会报错（ First and Rest are not declared ）。我很好奇为什么 Type 类型可以先使用后声明呢，是不是跟模板展开有关？