在GCC中能否使用模板类型别名定义C++模板类的成员方法？

结论 #

你这种用法不符合C++标准，GCC的报错是合规的，MSVC能编译是因为它提供了非标准扩展支持这种写法。

原因 #

模板类型别名template <typename T> using _ = Foo<T>只是Foo<T>的别名，但C++标准明确要求：定义模板类的成员函数时，必须直接通过原模板类的名称（比如Foo<T>）来限定成员，或者通过依赖模板参数的类模板特化引用。类型别名无法被编译器识别为原模板类的等价标识用于成员定义，所以GCC会判定_<T>是不完整类型——它没法把这个别名关联到你已经定义的Foo<T>类模板。

正确写法 #

要兼容所有标准C++编译器，直接用原模板类名称定义成员就行：

// Foo.cpp
template<typename T>
void Foo<T>::bar()
{}

如果想减少重复输入，也可以在源文件里用局部宏（虽然不推荐，但能满足需求）：

// Foo.cpp
#define FooT Foo<T>

template<typename T>
void FooT::bar()
{}
#undef FooT

注意宏可能引发命名冲突，使用时要谨慎。

另外提一句：你说把模板成员放在源文件里减少编译时间，这种操作必须配合显式实例化才能正常工作，不然其他文件里用Foo<T>会找不到成员函数的定义。比如在Foo.cpp末尾加上你需要用到的类型实例：

// 显式实例化需要的类型
template class Foo<int>;
template class Foo<std::string>;

内容的提问来源于stack exchange，提问作者Neonit