为什么每个循环的 c++ 接受右值但 std::ranges 不接受？

Question

像这样的语句编译没有错误：

for (int i : std::vector<int>({0, 1}))
  std::cout << i;

但是这样的声明不会：

std::vector<int>({0, 1}) |
  std::views::filter([](int i) { return true; });

为什么每个循环都允许 r 值，但 std::range 管道中不允许？ 有没有办法让我可以像第二个一样工作，而不必声明变量？

Answer 1

for 循环工作正常，因为vector<int> （右值）在评估循环时有效。

第二个代码片段有两个问题：

• 谓词必须返回一个bool
• 您在视图 object 中使用的vector<int>在评估时悬空，因此编译器不接受它。

如果不是vector<int>右值，object 不能悬挂（左值）或将引用保存到不能悬挂的其他东西中，这将起作用。

例如：

auto vec = std::vector<int>({0, 1});
auto vw = vec | std::ranges::views::filter([](int i) { std::cout << i; return true; });

或者你可以传递一个右值，它引用了一个非悬挂vector<int> object，比如std::span ：

auto vec = std::vector<int>({0, 1});
auto vw = span{vec} | std::ranges::views::filter([](int i) { std::cout << i; return true; })

这里， std::span仍然是一个右值，但是编译器接受它，因为std::span的作者已经为它创建了一个异常。

对于引用其他内容（通常是视图）的自定义类型，您可以通过创建模板变量enable_borrowed_range的特化来创建自己的异常。

在矢量的情况下，它看起来像这样（但不要这样做！ ）：

template<> // don't do this
inline constexpr bool ranges::enable_borrowed_range<std::vector<int>> = true;

您的代码现在可以编译，但它会触发未定义的行为，因为一旦评估视图，向量就会悬空。

Answer 2

这适用于最新的 MSVC STL 和 libstdc++（演示），感谢P2415R2 。

在 P2415R2 之前， filter_view始终通过引用（通过ref_view ）存储基础vector 。 存储vector的副本被认为是不明智的。 因为视图应该是廉价复制、廉价移动和廉价销毁。 存储vector的副本会带来意想不到的性能损失。

由于生命周期问题，引用右值vector没有意义。

但 P2415R2 指出，视图也可以是不可复制的，同时移动和销毁的成本仍然很低。

因此 P2415R2 引入了owning_view ，一个存储范围右值副本的不可复制视图，并使标准范围适配器使用该视图。

最终结果是，从vector右值创建filter_view与实现 P2415R2 的标准库实现一起工作。