数组与数组引用参数重载疑惑：重定义及二义性报错解析

咱们一步步拆解你遇到的两个核心问题：

1. 为什么fun(int arr[])和fun(arrTen arr)会被判定为重定义？ #

这是C++里一个极易踩坑的规则：函数参数列表里的数组类型，会被编译器自动调整为对应的指针类型。

你定义的typedef int arrTen[10];，本质上arrTen就是int[10]的别名。咱们来拆解两个函数的实际签名：

• void fun(int arr[])：参数里的int arr[]会被编译器直接调整成int* arr（不管数组声明的大小是多少）
• void fun(arrTen arr)：这里的arrTen arr等价于int[10] arr，同样会被编译器调整成int* arr

两个函数最终的签名完全一致，编译器自然会认为你重复定义了同一个函数，抛出error C2084的错误。

2. 注释掉fun(int arr[])后，为什么调用fun(arr)还是二义性？ #

当你注释掉第一个函数后，剩下两个重载：

• void fun(arrTen arr)：依然会被调整为void fun(int* arr)
• void fun(arrTen &arr)：这个是数组的引用类型，不会被调整为指针，它的实际签名是void fun(int (&arr)[10])

现在调用fun(arr)时，编译器有两个合法的匹配选项：

• 选项一：把数组名arr隐式转换为int*（这是C++里数组名的默认隐式转换行为），匹配void fun(int* arr)
• 选项二：把数组名arr直接绑定到int (&arr)[10]类型的引用上，匹配void fun(int (&arr)[10])

这两个匹配的优先级相同，编译器无法判断你想要调用哪一个，所以就抛出了error C2668的二义性调用错误。

怎么解决这些问题？ #

如果你想区分不同的数组重载，可以试试这些方案：

• 如果你需要保留数组的大小信息，只保留fun(arrTen &arr)这个重载即可，调用时数组名会直接绑定到引用上，不会触发隐式转换
• 如果你需要处理任意大小的数组，可以用模板版本，比如：

template <size_t N>
void fun(int (&arr)[N]) {
    cout << "array reference of size " << N << " called" << endl;
    cout << end(arr) - begin(arr) << endl;
}

这样既可以自动推导数组大小，又不会和指针版本产生冲突

• 如果你确实需要指针版本的函数，建议给它起一个不同的名字（比如funPtr），从根源上避免重载冲突

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