范围for循环本质是编译器对传统for+迭代器代码的自动展开，只需类型提供符合要求的begin()和end()函数及支持operator*、operator++、operator!=的迭代器。
范围for循环（range-based for）本质是编译器对一段等价的传统for+迭代器代码的自动展开，它不依赖容器是否继承自标准库，只要类型提供符合要求的 begin() 和 end() 成员函数（或非成员函数），并返回可解引用、可递增、可比较相等的迭代器类型，就能用。
range-for 的底层展开规则
对于语句：
for (auto& x : container) { ... }
编译器会按如下顺序查找并调用：
- 先尝试
container.begin()和container.end()（成员函数） - 若失败，再查找同作用域内（含 ADL）的非成员
begin(container)和end(container) - 要求两个函数返回同一类型（或满足可比较、可递增等语义）的迭代器
- 每次循环：用
!=判断是否结束；用*it获取元素；用++it推进
自定义类支持 range-for 的最小接口
只需实现 begin() / end() 及对应的迭代器类型。迭代器不必继承 std::iterator，也不必完整实现所有 STL 迭代器概念——range-for 只用到三个操作：operator*、operator++、operator!=（或 operator==）。
示例（简化版数组包装器）：
template<typename t size_t n>
struct MyArray {
T data[N];
<pre class="brush:php;toolbar:false;">struct iterator {
T* ptr;
T& operator*() { return *ptr; }
iterator& operator++() { ++ptr; return *this; }
bool operator!=(const iterator& other) const { return ptr != other.ptr; }
};
iterator begin() { return {data}; }
iterator end() { return {data + N}; }
};
之后即可：
MyArray<int> arr = {{1,2,3}};
for (int& x : arr) x *= 2; // OK
</int>
更灵活：用 ADL 提供非成员 begin/end
若无法修改原类型（如 C 风格数组、第三方结构体），可通过 ADL 在其所在命名空间中定义非成员 begin/end：
namespace mylib {
struct RawData { int* p; size_t n; };
<pre class="brush:php;toolbar:false;">inline auto begin(RawData& r) { return r.p; }
inline auto end(RawData& r) { return r.p + r.n; }
// 注意：返回裸指针也合法 —— 指针天然满足迭代器基本操作
}
此时 for (auto x : mylib::RawData{...}) 即可工作。
注意事项与常见坑
以下情况会导致编译失败或行为异常：
-
begin()和end()返回类型不同 → 编译错误 - 迭代器缺少
operator!=（且无operator==）→ 编译错误 - 返回临时对象的引用（如
return std::vector::begin()但 vector 是局部变量）→ 悬空迭代器 - 只提供 const 版本的
begin/end→ 只能用于 const 容器或加const限定的 range-for - 想支持
for (const auto& x : ...)？确保begin()返回的迭代器解引用结果可绑定到const T&
基本上就这些。写得干净点，连 typedef 或 using difference_type = std::ptrdiff_t 都不是必须的 —— range-for 不关心这些。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
