基于 r 值的基于范围的 for 循环

问题描述

以下行为也不如我所愿，因为在基于范围的 for 循环进入主体之前调用了 Foo 的析构函数，从而使迭代器无效（msvc 2019）。

有没有办法在不改变以下代码中的语法的情况下“捕获”其中的 Foo 对象？我已经看到了 for 循环的 c++20 初始化程序部分，但是如果有不需要它的替代解决方案，那将是首选。

struct Foo
{
    Foo& operator<<(std::string s) { ...; return *this }

    auto begin() {...}
    auto end() {...}
}   

for (auto& row : Foo() << "bar")
{
    // this fails because destructor of Foo is already called
    // how to extend the lifetime of the Foo object into the scope of the for loop?
}

解决方法

您的 Foo 对象会立即“死亡”。您有多种选择。例如，在 for 循环之前将 Foo 设为静态或创建 Foo 的实例。

,

这实际上取决于您的 operator<< 返回的内容。

请记住，在幕后，基于范围的 for 循环基本上会生成如下代码：

auto && __range = Foo() << "bar" ; 
auto __begin = __range.begin() ;
auto __end = __range.end() ;
for ( ; __begin != __end; ++__begin) 
{ 
    auto& row = *__begin;
    ... loop_statement 
} 

此代码的问题在于您的 operator<< 返回对临时对象的引用。要将其分配给 __range，必须按值返回。

假设您的 Foo 类基本上是 std::vector 的包装器，而 operator<< 只是将一个对象推回到该向量，那么您可以执行以下操作：

struct Foo
{
    Foo() : vec{} {}
    std::vector<std::string> vec;

    auto begin() { return vec.begin();}
    auto end() { return vec.end();}
};

auto operator<<(Foo&& foo,std::string s)
{
    foo.vec.emplace_back(std::move(s));
    return std::move(foo);
}

auto& operator<<(Foo& foo,std::string s)
{
    foo.vec.emplace_back(std::move(s));
    return foo;
}

这里创建了非成员函数 operator<< 的两个重载，每个重载的调用取决于 foo 是否为临时对象。

Demo