为什么这个简单的模板代码会出错？

Question

为什么会出现下面的错误？

#include <type_traits>

template<typename FooType>
struct bar {
  using bar_type = typename FooType::foo_type;
};

template<typename T>
struct foo {
  using foo_type = T;

  //Error: No type named 'bar_type' in 'bar<foo<int> >'
  static_assert(std::is_same<foo_type,typename bar<foo<T>>::bar_type>::value,"");
};

int main(int argc, char **argv)
{
  bar<foo<int>> b;
  return 0;
}

Answer 1

在static_assert 处，foo 还不是一个完整的类型（您仍在其定义范围内），因此当bar 尝试进入时，编译器会给您一个错误。它给你的特定错误很糟糕；尝试使用不同的编译器。