我可以将临时管道返回到范围操作吗？

假设我有一个generate_my_range模拟a 的类range（尤其是is regular）。然后，以下代码正确：

auto generate_my_range(int some_param) {    
  auto my_transform_op = [](const auto& x){ return do_sth(x); };
  return my_custom_rng_gen(some_param) | ranges::views::transform(my_transform_op);
}
auto cells = generate_my_range(10) | ranges::to<std::vector>;

是my_custom_rng_gen(some_param)由（第一个）管道运算符按值获取的，还是离开generate_my_range范围后是否有悬挂的引用？

函数调用会一样ranges::views::transform(my_custom_rng_gen(some_param),my_transform_op)吗？

如果我使用左值引用会正确吗？例如：

auto generate_my_range(int some_param) {
  auto my_transform_op = [](const auto& x){ return do_sth(x); };
  auto tmp_ref = my_custom_rng_gen(some_param);
  return tmp_ref | ranges::views::transform(my_transform_op);
}

如果这些操作的值取值范围，那么如果将左值ref传递给容器该怎么办？我应该使用ranges::views::all(my_container)模式吗？

在范围库中，有两种操作：

• 懒惰的视图，需要底层容器存在。
• 动作，其渴望，并产生新的容器中，作为一个结果（或修改现有的）

视图是轻量级的。您按值传递它们，并要求基础容器保持有效和不变。

从ranges-v3文档

视图是一种轻量级的包装器，它以某种自定义方式呈现元素的基础序列的视图，而无需对其进行更改或复制。视图的创建和复制便宜，并且具有非所有的引用语义。

和：

在基础范围上对其迭代器或前哨使其无效的任何操作也将使引用该范围任何部分的任何视图无效。

基础容器的破坏显然会使所有迭代器无效。

在您的代码中，您正在特定地使用视图 -您使用ranges::views::transform。管道只是一种语法糖，使编写方式变得容易。您应该查看管道中的最后一件事，以查看所产生的内容-在您的情况下，它是一个视图。

如果没有管道运算符，则可能看起来像这样：

ranges::views::transform(my_custom_rng_gen(some_param), my_transform_op)

如果以这种方式连接了多个转换，则可以看到它会变得多么丑陋。

因此，如果my_custom_rng_gen生成某种容器，然后进行转换然后返回，则该容器将被销毁，并且您的视图中有悬挂的引用。如果my_custom_rng_gen是对不在这些范围内的容器的另一种看法，那么一切都很好。

但是，编译器应该能够识别出您正在对临时容器应用视图，并且遇到编译错误。

如果希望函数将范围作为容器返回，则需要显式“实现”结果。为此，请ranges::to在函数内使用运算符。

更新：为了使您的评论更加真实，“文档在哪里说组成范围/管道需要并存储视图？”

Pipe只是一种语法糖，用于以易于阅读的表达式连接事物。根据使用方式的不同，它可能会也可能不会返回视图。它取决于右侧的参数。您的情况是：

`<some range> | ranges::views::transform(...)`

因此，表达式返回任何views::transform返回值。

现在，通过阅读转换文档：

下面是Range-v3提供的惰性范围组合器或视图的列表，以及有关每种用途的使用说明。

[...]

views::transform

给定一个源范围和一元函数，返回一个新范围，其中每个结果元素是将一元函数应用于源元素的结果。

因此它返回一个范围，但是由于它是一个惰性运算符，因此它返回的范围是一个具有所有语义的视图。

取自ranges-v3文档：

视图具有非所有的引用语义。

和

具有单个范围的对象允许进行操作的流水线。在管道中，范围以某种方式延迟适应或急切变异，结果立即可用于进一步适应或变异。懒惰的适应由视图处理，渴望的突变由操作处理。

// taken directly from the the ranges documentation
std::vector<int> const vi{1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
using namespace ranges;
auto rng = vi | views::remove_if([](int i){ return i % 2 == 1; })
              | views::transform([](int i){ return std::to_string(i); });
// rng == {"2","4","6","8","10"};

在上面的代码中，rng仅存储对基础数据以及过滤器和转换函数的引用。在迭代rng之前，不做任何工作。

因为您说过可以将临时范围视为一个容器，所以您的函数将返回一个悬空的引用。

换句话说，您需要确保基础范围超过视图的寿命，否则您将遇到麻烦。