命名空间
变体
操作

std::ranges::contiguous_range

来自 cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
 
定义在头文件 <ranges>
template< class T >

concept contiguous_range =
    ranges::random_access_range<T> &&
    std::contiguous_iterator<ranges::iterator_t<T>> &&
    requires(T& t) {
        { ranges::data(t) } ->
            std::same_as<std::add_pointer_t<ranges::range_reference_t<T>>>;

    };
(自 C++20)

contiguous_range 概念是对 range 的细化,其中 ranges::begin 返回 contiguous_iterator 的模型,并且自定义点 ranges::data 可用。

[编辑] 语义需求

只有在给定一个表达式 e 使得 decltype((e))T&std::to_address(ranges::begin(e)) == ranges::data(e) 时,T 才符合 contiguous_range 模型。

[编辑] 示例

#include <array>
#include <deque>
#include <list>
#include <ranges>
#include <set>
#include <valarray>
#include <vector>
 
template<typename T>
concept CR = std::ranges::contiguous_range<T>;
 
int main()
{
    int a[4];
    static_assert(
            CR<std::vector<int>> and
        not CR<std::vector<bool>> and
        not CR<std::deque<int>> and
            CR<std::valarray<int>> and
            CR<decltype(a)> and
        not CR<std::list<int>> and
        not CR<std::set<int>> and
            CR<std::array<std::list<int>,42>>
    );
}

[编辑] 另请参阅

指定范围以恒定时间知道其大小
(概念) [编辑]
指定其迭代器类型满足 random_access_iterator 的范围
(概念) [编辑]