c++ for循环增强写法_c++11基于范围的for循环

该用for (auto& x : container)而非for (auto x : container)时:拷贝代价高(如std::string、大结构体)需避免构造/析构开销;只读遍历优先用const auto&;修改原元素用auto&;小POD类型可用auto但非必须。

什么时候该用 for (auto& x : container) 而不是 for (auto x : container)

拷贝代价高时必须用引用,比如 std::string、自定义类、大结构体。值语义循环会触发多次构造/析构,性能明显下降;而 auto& 直接绑定原元素,零开销。但注意:如果循环体内要修改容器(如 push_back),且你又在用 & 引用,迭代器可能失效——这不是语法问题,而是容器行为导致的未定义行为。

常见错误现象:std::vector<:string> v = {"hello", "world"}; for (auto s : v) s += "!"; —— 结果没变,因为改的是副本。

  • 只读遍历:优先用 const auto&(最安全)
  • 需修改原容器元素:用 auto&
  • 确定是小 POD 类型(如 int, double)且不关心统一风格:auto 也可,但没必要刻意换

for (auto&& x : container) 是万能写法吗?

它用的是“万能引用”(universal reference),能自动适配左值/右值,常用于模板函数内部转发。但在普通范围 for 中,多数场景下和 auto& 行为一致——前提是 container 是左值。但如果 container 是临时对象(比如函数返回的 std::vector),auto&& 能延长其生命周期,auto& 则编译失败(不能绑定非常量左值引用到右值)。

示例:

for (auto&& x : get_temp_vector()) { /* OK */ }
// for (auto& x : get_temp_vector()) { /* error: cannot bind non-const lvalue reference to rvalue */ }

不过日常业务代码中,直接对临时容器做范围 for 本身就要警惕——生命周期和可读性都容易出问题。除非明确需要,否则别为“看起来更泛型”而滥用 &&

基于范围的 for 循环底层怎么工作的?为什么有些容器不能用?

它依赖容器提供 begin()end() 成员函数(或 ADL 查找到的自由函数),且返回的迭代器满足可解引用、可递增、可比较相等。标准容器都支持,但原始数组、C 风格字符串、某些自定义类型若没实现这两接口,就会编译报错,典型错误信息:error: no matching function for call to 'begin(...)'

  • 原始数组可以:int a[] = {1,2,3}; for (int x : a) {...}
  • C 字符串不行:for (char c : "abc") ❌(字符串字面量类型是 const char[4],但隐式退化成指针后丢失长度)
  • 自定义类型要支持,至少得有 begin()/end() 成员,返回类型需满足前向迭代器要求

想在循环里删元素?别用基于范围的 for

它抽象掉了迭代器,无法控制遍历步进节奏,也无法在中途调用 erase 并获取下一个有效位置。强行混合会导致迭代器失效、越界或跳过元素。

正确做法是用传统 for + 迭代器,配合 erase 返回值(C++11 起 std::vector::erase 返回新有效迭代器):

for (auto it = vec.begin(); it != vec.end(); ) {
    if (should_remove(*it)) {
        it = vec.erase(it); // 注意:不是 ++it
    } else {
        ++it;
    }
}

或者用 std::remove_if + erase 惯用法。试图在范围 for 里调 vec.erase(...),基本等于给自己埋个运行时崩溃的坑。