r 值上基于范围的 for 循环

Question

下面的行为也不像我希望的那样，因为在基于范围的 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?
}

Answer 1

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

Answer 2

这真的取决于你的 operator<< returns。

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

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

此代码的问题在于您的 operator<< returns 对临时对象的引用。为了将它赋值给__range，它必须按值返回。

假设您的 Foo class 基本上是 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

r 值上基于范围的 for 循环

range based for-loop on r-value

c++

syntax

syntactic-sugar

c++17