Namespaces
Variants

    std::ranges::views::common, std::ranges::common_view

    来自 zh.cppreference.net
     
    C++
     
    范围库
    范围适配器
     
    std::ranges::common_view
     
    定义于头文件 <ranges> 
    template< ranges::view V >
    requires (not ranges::common_range<V> and
              std::copyable<ranges::iterator_t<V>>)
class common_view
    : public ranges::view_interface<common_view<V>>
    		(1) （自 C++20 起） 
    namespace views {
    inline constexpr /* unspecified */ common = /* unspecified */;
}
    		(2) （自 C++20 起）
    调用签名
    		 
    template< ranges::viewable_range R >
    requires /* see below */
constexpr ranges::view auto common( R&& r );
    		（自 C++20 起）
    1) 适配一个给定的 view，其迭代器/哨位类型不同，将其转换为一个 view，它也是一个 common_range。一个 common_view 始终具有相同的迭代器/哨位类型。
    2) RangeAdaptorObject。令 e 为一个子表达式。那么表达式 views::common(e) 是表达式等价于：
    • views::all(e)，如果它是一个良构表达式且 decltype((e)) 符合 common_range；
    • common_view{e} 否则。

    数据成员

    成员 描述
    V base_ (私有) 底层视图
    ( 仅用于说明的成员对象* )

    成员函数

    		构造一个 common_view
    (公开成员函数)
    		返回底层（适配后）视图的副本
    (公开成员函数)
    		返回指向起始位置的迭代器
    (公开成员函数)
    		返回指向末尾位置的迭代器
    (公开成员函数)
    		返回元素数量，仅当底层（适配后）范围满足 sized_range 时提供
    (公开成员函数)
    (C++26)
    		返回生成的 approximately_sized_range 的近似大小
    (公开成员函数)
    继承自 ranges::view_interface
    		返回派生视图是否为空，仅当它满足 sized_range 或 forward_range
    时提供（是 std::ranges::view_interface<D> 的公有成员函数）
    (C++23)
    		 返回指向范围起始的常量迭代器
    （是 std::ranges::view_interface<D> 的公有成员函数）
    (C++23)
    		 返回范围常量迭代器的哨位
    （是 std::ranges::view_interface<D> 的公有成员函数）
    		返回派生视图是否非空，仅当 ranges::empty 可应用于它时提供
    （是 std::ranges::view_interface<D> 的公有成员函数）
    		获取派生视图数据的地址，仅当其迭代器类型满足 contiguous_iterator
    时提供（是 std::ranges::view_interface<D> 的公有成员函数）
    		返回派生视图中的第一个元素，当它满足 forward_range
    时提供（是 std::ranges::view_interface<D> 的公有成员函数）
    		返回派生视图中的最后一个元素，仅当它满足 bidirectional_range 和 common_range
    时提供（是 std::ranges::view_interface<D> 的公有成员函数）
    		返回第 n 个 元素，仅当它满足 random_access_range
    时提供（是 std::ranges::view_interface<D> 的公有成员函数）

    推导指引

    辅助模板

    template < class T >

    constexpr bool enable_borrowed_range < std :: ranges :: common_view < T >> =

    ranges:: enable_borrowed_range < T > ;
    		(C++20 起)

    对 ranges::enable_borrowed_range 的这一特化使得当底层视图满足 borrowed_range 时， common_view 也能满足该概念。

    注释

    common_view 在处理需要迭代器和哨位为相同类型的传统算法时非常有用。

    示例

    运行此代码 
    #include <initializer_list>
#include <iostream>
#include <iterator>
#include <list>
#include <numeric>
#include <ranges>
int main()
{
    auto v1 = {1, 2, 3, 4, 5};
    auto i1 = std::counted_iterator{v1.begin(), std::ssize(v1)};
    auto r1 = std::ranges::subrange{i1, std::default_sentinel};
//  auto e1 = std::accumulate(r1.begin(), r1.end(), 0); // 错误：需要"common range"
    auto c1 = std::ranges::common_view{r1};
    std::cout << "accumulate: " << std::accumulate(c1.begin(), c1.end(), 0) << '\n';
    // 继承自 ranges::view_interface：
    std::cout << "c1.front(): " << c1.front() << '\n';
    std::cout << "c1.back(): " << c1.back() << '\n';
    std::cout << "c1.data(): " << c1.data() << '\n';
    std::cout << "c1[0]: " << c1[0] << '\n';
    auto v2 = std::list{1, 2, 3, 4, 5};
    auto i2 = std::counted_iterator{v2.begin(), std::ssize(v2)};
    auto r2 = std::ranges::subrange{i2, std::default_sentinel};
//  auto e2 = std::accumulate(r2.begin(), r2.end(), 0); // 错误：需要"common range"
    auto c2 = std::ranges::common_view{ r2 };
    std::cout << "accumulate: " << std::accumulate(c2.begin(), c2.end(), 0) << '\n';
    // 继承自 ranges::view_interface：
    std::cout << "c2.front(): " << c2.front() << '\n';
//  auto e3 = c2.back(); // 错误：需要"bidirectional range"
//  auto e4 = c2.data(); // 错误：需要"contiguous range"
//  auto e5 = c2[0];     // 错误：需要"random access range"
}

    可能的输出： 

    accumulate: 15
c1.front(): 1
c1.back(): 5
c1.data(): 0x7f19937f00d0
c1[0]: 1
accumulate: 15
c2.front(): 1

    缺陷报告

    以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

    缺陷报告 适用范围 发布时行为 正确行为
    LWG 3494 C++20 common_view 从未是 borrowed_range 当底层视图是 borrowed_range 时，它才是 borrowed_range

    参见

    (C++20)
    		规定一个范围拥有相同的迭代器和哨位类型
    (概念)
    (C++20)
    		将迭代器类型与其哨位适配为通用迭代器类型
    (类模板)