如何解决基于 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
是否为临时对象。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。