为何int[]无法转换为T*&？数组隐式转指针为何不匹配模板函数？

问题代码 #

template <class T>
void func(T*& a)
{

}

int main()
{
    int a[5];
    func(a); // <-- 编译错误：no matching function for call to ‘func(int [5])’

    return 0;
}

问题解答 #

1. 为什么int[]无法转换为T*&？ #

数组名在多数场景下会隐式转换为指向首元素的指针（即int*），但这个转换的结果是一个右值（临时指针值）。而模板函数的参数T*&是非常量左值引用，C++明确禁止将右值绑定到非常量左值引用上，这就是直接报错的核心原因。

如果把参数改成const T*&（常量左值引用）或者T*&&（右值引用），就能通过编译——因为常量左值引用允许绑定右值，右值引用本身就是为接收右值设计的。

2. 为什么int[]不能通过隐式转换为int*匹配模板函数？ #

模板参数推导有个关键规则：当函数参数是引用类型时，编译器会直接用实参的原始类型推导模板参数，不会自动触发隐式转换（数组到指针的退化也不例外）。具体到这个例子：

• 实参a的原始类型是int[5]（数组类型），而函数参数是T*&（指针的左值引用），编译器找不到对应的T能让这两个类型匹配，推导第一步就失败了。
• 退一步说，就算编译器尝试用数组转指针的隐式转换，得到的临时int*是右值，依然无法绑定到T*&这种非常量左值引用上，这条路也走不通。

可行的修复方案 #

• 修改函数参数为const T*&：常量引用可以绑定临时指针，此时T会被推导为int，调用正常。
• 修改函数参数为T*（非引用）：数组会隐式退化为指针，T推导为int，调用正常。
• 手动将数组转为左值指针后传递：比如int* p = a; func(p);，此时传递的是左值指针，能绑定到T*&。

内容的提问来源于stack exchange，提问作者N.Y.C