时间戳

首页 > 解决方案 > 为什么我可以在 C++ 中使用 for 循环将右值绑定到非 const 引用？

c++ - 为什么我可以在 C++ 中使用 for 循环将右值绑定到非 const 引用？

问题描述

以下的逻辑让我感到困惑。它编译正常，但结果foo是一个右值。这是暂时的。为什么我可以获取对容器中项目的非恒定引用？

https://godbolt.org/z/vEafrE

#include <array>

std::array<int,3> foo(){
    return std::array<int,3>{0,1,2};
}

int main(){
    for(int & item: foo())
        item = 0;
}

标签： c++range-based-loop

解决方案

基于范围的 for 循环具有以下语法

attr(optional) for ( init-statement(optional)range_declaration : range_expression ) loop_statement

它扩展到

{
    init-statement
    auto && __range = range_expression ;
    auto __begin = begin_expr ;
    auto __end = end_expr ;
    for ( ; __begin != __end; ++__begin) {
        range_declaration = *__begin;
        loop_statement
    }
}

如您所见，右值的生命周期延长了__range，因此将左值引用__range绑定到集合中是有效的。循环结束后，__range将超出范围破坏已创建的右值对象。

这就是为什么即使您正在修改注定要被销毁的对象，它也能工作的原因。

推荐阅读