c++中的范围for循环(range-based for)原理_c++自定义迭代器支持【C++11】-C++-PHP中文网

c++中的范围for循环(range-based for)原理_c++自定义迭代器支持【C++11】

冰火之心

发布： 2025-12-12 22:52:56

原创

476人浏览过

范围for循环本质是编译器对传统for+迭代器代码的自动展开，只需类型提供符合要求的begin()和end()函数及支持operator*、operator++、operator!=的迭代器。

c++中的范围for循环(range-based for)原理_c++自定义迭代器支持【c++11】

范围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==）。

立即学习“C++免费学习笔记（深入）”；

示例（简化版数组包装器）：

Clips AI

自动将长视频或音频内容转换为社交媒体短片

255

查看详情

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, 3> arr = {{1,2,3}};
for (int& x : arr) x *= 2; // OK

登录后复制

更灵活：用 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{...}) 即可工作。