为何函数参数中的别名模板无法匹配其引用的嵌套类型？

先看这段可以正常编译的代码：

template<typename T>
struct A {
    struct Inner {} inner;
    void foo(Inner in);
};

template<typename T>
void A<T>::foo(typename A<T>::Inner in) {

}

int main() {
    A<int> a;
    a.foo(a.inner);
}

但如果用别名模板替换函数定义中的typename A<T>::Inner，编译就会报错。完整示例代码如下：

template<typename T>
struct A {
    struct Inner {} inner;
    void foo(Inner in);
};

template<typename T>
using AInner = typename A<T>::Inner;

template<typename T>
void A<T>::foo(AInner<T> in) {

}

int main() {
    A<int> a;
    a.foo(a.inner);
}

使用g++ 11.3.0编译时，错误输出为：

hello.cpp:11:6: error: no declaration matches ‘void A::foo(AInner)’
11 | void A::foo(AInner in) {
| ^~~~
hello.cpp:4:10: note: candidate is: ‘void A::foo(A::Inner)’
4 | void foo(Inner in);
| ^~~
hello.cpp:2:8: note: ‘struct A’ defined here
2 | struct A {
|

问题原因 #

虽然AInner<T>和typename A<T>::Inner在语义上指代完全相同的类型，但C++编译器在匹配模板成员函数的声明和定义时，会严格比对签名的语法形式，而非先解析为底层类型再匹配。

类A<T>中声明的foo函数参数是Inner（等价于A<T>::Inner），而定义时用的是别名模板AInner<T>，这两种写法在模板签名的语法层面被视为不同形式，因此编译器认为这是一个未声明的新函数，而非对已有声明的定义。

解决方法 #

有两种可行的修正方式：

1. 保持定义与声明语法一致：在函数定义中继续使用typename A<T>::Inner作为参数类型，和类内声明的Inner匹配：

template<typename T>
void A<T>::foo(typename A<T>::Inner in) {

}

2. 调整类内声明使用别名模板：如果要在定义中使用AInner<T>，需先将别名模板前置声明，同时类内声明也使用该别名：

// 前向声明模板类A
template<typename T> struct A;

// 先定义别名模板
template<typename T>
using AInner = typename A<T>::Inner;

template<typename T>
struct A {
    struct Inner {} inner;
    void foo(AInner<T> in); // 类内声明使用别名
};

template<typename T>
void A<T>::foo(AInner<T> in) {

}

内容的提问来源于stack exchange，提问作者H.Wei