能直接用范围for遍历的对象需提供begin()和end()接口,包括原生数组、标准容器、initializer_list及自定义类;裸指针、单个值等不支持;循环中修改容器或绑定临时对象易导致崩溃或未定义行为。

哪些对象能直接用范围for遍历
只要对象提供 begin() 和 end() 接口(成员函数或非成员函数),就能被范围for遍历。编译器不关心它是不是“标准容器”,只认这两个函数。
- 原生数组(如
int arr[] = {1,2,3}):编译器会调用全局begin(arr)/end(arr) -
std::vector、std::list、std::string、std::array、std::map等所有标准库容器:自带begin()/end()成员 - 初始化列表(
{1, 2, 3}):隐式构造std::initializer_list,它有begin()/end() - 自定义类:只要公开实现
begin()和end()(返回迭代器或指针),哪怕只是返回int*也行
哪些对象明确不支持
没有 begin()/end() 的对象,范围for会编译失败,错误信息通常是 no matching function for call to 'begin' 或类似提示。
- 裸指针(如
int* p = new int[5]):指针本身没begin(),不能直接写for(auto x : p) - C 风格字符串字面量(
"hello"):类型是const char[6],**可以**遍历(因为数组支持);但若转成const char*就不行了 - 单个值(如
int x = 42)、函数返回值(未绑定为引用的临时对象,且无适配的begin):语法上就不构成“范围” - 某些包装类(如旧版
boost::array未显式支持,或自己写的容器忘了加begin/end):需手动补全
遍历时修改容器结构会崩溃
范围for内部依赖迭代器有效性,一旦在循环中增删元素,原有迭代器大概率失效,行为未定义——不是“可能出错”,而是“随时崩”。
-
std::vector::push_back()可能触发内存重分配,使所有迭代器失效 -
std::map::erase(it)会使it失效,而范围for的底层迭代器正是这个it - 即使没崩,结果也完全不可预测:跳过元素、重复访问、访问野地址都可能发生
容易被忽略的细节:临时对象生命周期
写 for (auto& x : get_vector()) 是危险的——如果 get_vector() 返回的是临时 std::vector,它的生命周期只到整个表达式结束,即 for 循环开始前就析构了。
- 正确做法:先绑定到 const 引用延长生命周期,或赋值给局部变量
const auto& v = get_vector(); for (const auto& x : v) { ... } - 更安全:直接用值语义(如果可接受拷贝开销)
auto v = get_vector(); for (const auto& x : v) { ... } - 编译器不一定报错,但运行时访问已销毁内存,调试极其困难
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











