能，range-based for 可直接遍历原生数组，但仅限定义时大小已知的完整数组类型（如 int arr[5]），不支持退化为指针的形参；需用模板引用形参 T(&arr)[N] 传入函数以保留数组类型。
range-based for 循环能直接遍历原生数组吗？
能，但必须知道数组不能退化为指针——range-based for 依赖编译期可知的大小，所以只接受「类型完整」的数组（如 int arr[5]），不接受 int* 或函数参数中声明为 int arr[] 的形参。
常见错误现象：error: no matching function for call to 'begin'，通常是因为你把数组传给了函数再试图在函数内用 for (auto x : arr) —— 此时 arr 已是 int*，不是数组类型。
- ✅ 正确：在定义数组的作用域内直接使用，例如函数体内定义
int data[] = {1,2,3};后立即遍历 - ❌ 错误：写一个函数
void f(int a[]) { for (auto x : a) {...} }—— 这里a是指针，不合法 - ⚠️ 注意：
std::array和std::vector都支持，因为它们有begin()/end()成员，但原生数组靠的是语言内置规则，不是容器接口
如何安全地把数组传进函数还能用 range-based for？
用模板推导数组长度，让形参保留数组类型。核心是把形参写成引用形式 T (&arr)[N]，其中 N 是非类型模板参数。
示例：
立即学习“C++免费学习笔记（深入）”；
template<typename T, size_t N>
void print(const T (&arr)[N]) {
for (const auto& x : arr) {
std::cout << x << " ";
}
}
- 这样调用
int a[] = {10, 20}; print(a);就能成功推导出T=int, N=2 - 如果硬要用指针+长度，那就别强求
range-based for，改用for (size_t i = 0; i < n; ++i)更直白 - 不推荐用
std::span（C++20）来“包装”数组再遍历——虽然可行，但对简单场景属于过度设计，且增加依赖和可读性成本
遍历时修改元素要注意什么？
默认按值遍历（for (auto x : arr)）得到的是副本，改了也没用；要修改原数组，必须用引用。
- ✅ 修改元素：
for (auto& x : arr)或for (int& x : arr) - ✅ 只读且避免拷贝（尤其对象）：
for (const auto& x : arr) - ❌
for (auto& x : arr)+ 在循环体里对x取地址并存起来？危险！x是数组元素的引用，生命周期没问题，但若数组本身是临时对象（比如函数返回的局部std::array），那引用就悬空了
和传统 for 循环比，性能差吗？
几乎没差别。编译器能把 range-based for 展开成等价的传统循环，索引访问、边界检查（无）、迭代器调用（对原生数组不涉及）全部优化掉。
但有两个实际影响点：
- 原生数组的
begin()/end()是编译期常量计算，没有函数调用开销 - 如果误用了
std::vector却写了for (auto x : v)（而非auto&），可能触发不必要的拷贝——这点比传统循环更易被忽略 - 调试时，某些老版本调试器对
range-based for的单步支持弱于传统循环，遇到断点跳转异常先怀疑是不是这个原因
真正容易被忽略的是：当你以为自己在遍历数组，其实变量名悄悄被宏或 using 声明污染了，比如 #define begin something_else，会导致编译失败却报错位置晦涩。遇到奇怪的 begin 相关错误，先查预处理结果。
