Требуется ли для view :: join копируемый внутренний диапазон? Зачем?

Ответ 1

В диапазоне -3 вид только для перемещения в порядке. Это было реализовано поздно, и все еще могут быть ошибки, но это не то, что здесь происходит.

Первая проблема заключается в том, что вы пытаетесь адаптировать lvalue типа 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<generator<int>> является const generator<int>&, и у вас снова возникает та же проблема: join хочет хранить копию внутреннего генератора, пока он перебирает его, но не может сделать копию.

Обходной путь немного уродлив: измените генератор так, чтобы он возвращал неконстантную ссылку на lvalue:

cppcoro::generator<cppcoro::generator<int>&> 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 << n << '\n';
}

Результат компилируется. Работает ли он или нет, зависит от того, насколько изящно cppcoro справится со случаем, когда кто-то украдет внутренности ценности, которую он безопасно спрятал в типе обещания сопрограммы.

https://godbolt.org/z/mszidX

Заметка о будущем std::view::join :

Представление join которое будет поставляться с С++ 20, немного отличается. Если тип ссылки внешнего диапазона является реальной ссылкой (как в этом случае), он не будет пытаться сделать копию представления, на которое он ссылается. Это означает, что в С++ 20 вам не понадобится отвратительный взлом view::move.

Тем не менее, С++ 20 View концепции в настоящее время требует copyability так это решение еще не будет работать. У нас есть пункт TODO, чтобы смягчить это до выхода С++ 20, но пока неизвестно, как Комитету понравится эта идея.