C++编译报错为何显示调用begin(int*&)而非begin(int*)？

嘿，这个问题其实戳中了C++模板参数推导里一个容易被忽略的细节，咱们一步步拆解清楚：

1. 为什么报错是begin(int*&)而不是begin(int*)？ #

你提到的std::begin本质是个函数模板，它的核心重载版本之一是这样的（简化后的逻辑）：

template <typename T>
auto begin(T& container) -> decltype(container.begin());

// 针对原生数组的特化版本
template <typename T, size_t N>
T* begin(T (&arr)[N]);

当你传递一个左值（比如你的指针变量ia，它是可以被取地址的左值）给std::begin时，模板推导会尽可能保留这个表达式的值类别。这里你的ia是int*类型的左值，模板参数T会被推导为int*，所以函数的参数类型就变成了int*&——也就是指向指针的左值引用。

你觉得应该是按值传递？那是因为你可能默认认为函数参数是值传递，但std::begin的模板特意用左值引用参数，一是为了避免原生数组退化为指针（这也是它能处理数组的关键），二是为了避免拷贝容器对象。而当你把指针（不是数组）传进去时，模板依然会按左值推导，所以就出现了int*&的报错提示。

2. 关于begin(int&)的报错 #

这个报错的逻辑是类似的：当你传递一个int类型的左值（比如单个int变量）给std::begin时，模板推导会把T推导为int，参数类型变成int&。但std::begin的设计是用来处理数组或者有begin()成员函数的容器的，单个int既不是数组也不是容器，自然找不到匹配的函数重载，于是就报了这个错。

举个直观的例子验证 #

#include <iterator>

int main() {
    int arr[3] = {1,2,3};
    std::begin(arr); // 正常工作，匹配数组特化版本，推导为int(&)[3]
    
    int* ptr = arr;
    std::begin(ptr); // 报错：no matching function for call to 'begin(int*&)'
    
    int num = 5;
    std::begin(num); // 报错：no matching function for call to 'begin(int&)'
}

在这个例子里：

• 第一个调用传的是原生数组，匹配特化版本，没问题；
• 第二个传的是指针左值，模板推导为int*&，但没有对应重载，报错；
• 第三个传的是int左值，推导为int&，同样无匹配重载，报错。

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