小编H.W*_*Wei的帖子

这段代码编译

template<typename T>\nstruct A {\n    struct Inner {} inner;\n    void foo(Inner in);\n};\n\ntemplate<typename T>\nvoid A<T>::foo(typename A<T>::Inner in) {\n\n}\n\nint main() {\n    A<int> a;\n    a.foo(a.inner);\n}\n

typename A<T>::Inner如果我更改为别名模板，则不会

template<typename T>\nusing AInner = typename A<T>::Inner;\n\ntemplate<typename T>\nvoid A<T>::foo(AInner<T> bar) {\n\n}\n

编译器抱怨说error: no declaration matches \xe2\x80\x98void A<T>::foo(AInner<T>)\xe2\x80\x99

我不太熟悉别名模板的规则。他们不是同一类型吗？

编辑：\n这是完整的演示：

// 你好.cpp

template<typename T>\nstruct A {\n    struct Inner {} inner;\n    void foo(Inner in);\n};\n\ntemplate<typename T>\nusing AInner = typename A<T>::Inner;\n\ntemplate<typename T>\nvoid A<T>::foo(AInner<T> in) {\n\n}\n\nint main() {\n    A<int> a;\n    a.foo(a.inner);\n}\n …