C++20中引入的std::views::all是什么？
#include <vector>
#include <ranges>
int main()
{
auto v = std::vector{1, 2, 3, 4};
v | std::views::drop(2); // ok
std::views::all(v) | std::views::drop(2); // also ok
}
成功编译g++11 -std=c++20。但我无法分辨v | std::views::drop(2)和之间的任何区别std::views::all(v) | std::views::drop(2)。
所以，我的问题是：
C++20 中引入了什么？std::views::all
回答
但我无法分辨
v | std::views::drop(2)和之间的任何区别std::views::all(v) | std::views::drop(2)。
确实，两者之间没有区别 - 因为v | views::drop(2)已经意味着views::all(v) | views::drop(2)。
views::all是 Ranges 的实现细节，以确保范围适配器始终适应视图（而不是范围）。所有这一切views::all(v)确实是确保结果是一个视图，这是（自说[range.all] ）：
给定一个子表达式
E，该表达式views?::?all(E)是表达式等价于：
decay-copy(E)如果是腐烂型的E车型view。- 否则，
ref_view{E}如果该表达式格式正确。- 否则，
subrange{E}。
在您的情况下，v是 a vector<int>，它不会对view. 但它是一个左值，所以ref_view{v}会是格式良好的，所以这就是会发生的事情。
所有适配器都在views::all内部使用。例如，drop_view有以下推导指南：
template <class R>
drop_view(R&&, range_difference_t<R>) -> drop_view<views::all_t<R>>;
所以如果你写了drop_view(v, 2)（你永远不应该meow_view直接使用，总是使用views::meow），它本身会views::all为你调用。