作者:拍友2502914703 | 来源:互联网 | 2022-11-29 12:27
假设我们有
cppcoro::generator gen_impl(int in) {
const auto upper = in + 10;
for (; in > gen() {
for (int n = 1; n <100; n += 10)
co_yield gen_impl(n);
}
所以我们可以很好地迭代内部范围
for (auto&& row : gen() ) {
for (auto n : row)
std::cout <
注意:范围是for ref是必需的,因为cppcoro::generator
不允许复制(删除的副本ctor)
打印
1 2 3 4 5 6 7 8 9 10
11 12 13 14 15 16 17 18 19 20
21 22 23 24 25 26 27 28 29 30
31 32 33 34 35 36 37 38 39 40
41 42 43 44 45 46 47 48 49 50
51 52 53 54 55 56 57 58 59 60
61 62 63 64 65 66 67 68 69 70
71 72 73 74 75 76 77 78 79 80
81 82 83 84 85 86 87 88 89 90
91 92 93 94 95 96 97 98 99 100
但是当我们尝试使用view :: join"flattern"时
auto rng = gen();
for (auto n : rng | ranges::view::join) {
std::cout <
似乎view :: join需要可复制的内部范围?
In file included from
是什么让这不编译?
range-v3或cppcoro中是否有任何错误?
只有不兼容的设计决策?
godbolt(全)
1> Eric Niebler..:
在range-v3中,仅移动视图正常.这实施得很晚,可能仍然存在错误,但这不是这里发生的事情.
第一个问题是你试图在cppcoro::generator
这里调整左值类型:
auto rng = gen();
for (auto n : rng | ranges::view::join) {
由于生成器是视图,因此join
视图将要复制它.它不能,因为它不可复制.
您可以通过移动生成器来解决此问题:
auto rng = gen();
for (auto n : std::move(rng) | ranges::view::join) {
然后你遇到下一个问题,就是引用类型generator>
是const generator&
,你再次遇到同样的问题:join
想要在迭代它时保留内部生成器的副本,但它不能复制.
解决方法有点难看:更改生成器以返回非const左值引用:
cppcoro::generator&> gen() {
for (int n = 1; n <100; n += 10) {
auto tmp = gen_impl(n);
co_yield tmp;
}
}
然后std::move
每个内部范围都有一个move
视图:
auto rng = gen();
for (auto n : std::move(rng) | ranges::view::move | ranges::view::join) {
std::cout <
结果编译.无论它是否运行取决于cppcoro如何优雅地处理有人偷走了它在coroutine的承诺类型中安全隐藏的价值的内容.
https://godbolt.org/z/mszidX
关于未来的说明std::view::join
:
join
随C++ 20提供的视图略有不同.如果外部范围的引用类型是实际引用(如本例所示),则它不会尝试复制它引用的视图.这意味着在C++ 20中,你不需要丑陋的view::move
黑客攻击.
但是,C++ 20 View
概念目前需要可复制性,因此该解决方案仍然不起作用.我们有一个TODO项目可以在C++ 20发布之前放松一下,但是没有人知道委员会会如何看待这个想法.