垂直管有什么|在C＆＃x2b;＆＃x2B; 20和范围的背景下的平均值？

Question

有|的用法看起来更像是功能管道衬里或链接，而不是位于位置，或者与C ++ 20范围结合使用。诸如：

#include <ranges>
#include <vector>

template<typename T>
std::vector<T> square_vector(const std::vector<T> &some_vector) {
    auto result = some_vector | std::views::transform([](T x){ return x*x; };
    return {result.begin(), result.end()};
}

...显然|运算符在通常的含义或位于位。从什么时候起作用，以及什么样的函数/对象？这些像常规观点吗？有什么警告？

Answer 1

C ++ 20范围已经引入了这种功能链接，其中最大的功能允许对视图的操作评估（更准确地说，可查看的范围）。这意味着转换视图的操作只会在迭代时对其作用。

这种语义允许使用管道语法糖，以可读的方式放置了结果迭代时会发生什么。与此相关的功能基于 范围适配器 ，该范围 进行视图（可能是之后的其他参数）并在其迭代时进行转换（本质上是返回另一个视图）。

管道语法保留给这些特殊的子组，称为 范围适配器闭合 ，它仅在没有其他参数的情况下进行单个视图。这些可以是适配器，没有其他参数，具有多余参数的适配器，也可以是某些库函数的结果，例如op中的std :: views :: vistract :: transform。由于CPP23您也可以）。一旦我们拥有其中的一些，语法：

std::views::some_adaptor_closure | some_other_adaptor_closure

将这些关闭结合到一个可以重复使用的封闭中，并使用封闭方式，您最初是可见的范围：

some_viewable_range | std::views::some_adaptor_closure | some_other_adaptor_closure

这等同于

some_other_adaptor_closure(std::views::some_adaptor_closure(some_viewable_range))

它会随着返回的视图的迭代评估管道。同样，

some_vector | std::views::transform([](T x){ return x*x; });

相同

std::views::transform([](T x){ return x*x; })(some_vector); // The first call returns the adaptor std::views::transform(some_vector, [](T x){ return x*x; }) with the second argument bound.

与但更可读性

。与任何视图一样，可以直接迭代的视图。由于对管道的评估是懒惰的坏事，例如：

template<typename T>
auto square_vector(const std::vector<T> &some_vector) {
    return some_vector | std::views::transform([](T x){ return x*x; });
}

int main () {
    for(auto val : square_vector(std::vector<int>{1, 2 ,3, 4, 5}))
        std::cout << val << '\n';
}

当您打印val时，原始向量不存在，因此链条的输入已经消失，并且掉了下来从那里到山。 在C ++ 23标准中解决了这个特定问题，请参见 https://open-std.org/jtc1/ssc22/wg21/wg21/wg21/docs/papers/2022/p2718r0.html - 但是，请注意在2024年6月。尽管如此，仍然必须要注意确保原始峰值的寿命超出视图的使用。

要进一步研究范围和适配器的世界，您可以检查 https://en.cppreference.com/ w/cpp/ranges 和原始库基于， https：// https：// .github.io/range-v3/。