std::contiguous_iterator

 

C++

编译器支持

独立和宿主

语言

标准库

标准库头文件

命名需求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

迭代器库

迭代器概念
间接可读 (C++20) 间接可写 (C++20) 弱可增量 (C++20) 可增量 (C++20) 是整数类型 是有符号整数类型 (C++20)(C++20)	哨兵 (C++20) 大小哨兵 (C++20) 输入迭代器 (C++20) 输出迭代器 (C++20) 输入或输出迭代器 (C++20)	前向迭代器 (C++20) 双向迭代器 (C++20) 随机访问迭代器 (C++20) 连续迭代器 (C++20)
迭代器原语
input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tagcontiguous_iterator_tag (C++20)	iter_value_titer_difference_titer_reference_titer_const_reference_titer_rvalue_reference_titer_common_reference_t (C++20)(C++20)(C++20)(C++23)(C++20)(C++20)	迭代器 (C++17 中已弃用) iterator_traits incrementable_traits (C++20) indirectly_readable_traits (C++20)
算法概念和实用程序
间接可调用概念
indirectly_unary_invocableindirectly_regular_unary_invocable (C++20)(C++20)	间接一元谓词 (C++20) 间接二元谓词 (C++20)	间接等价关系 (C++20) 间接严格弱序 (C++20)
通用算法要求
间接可移动 (C++20) 间接可移动可存储 (C++20) 间接可复制 (C++20)	间接可复制可存储 (C++20)   间接可交换 (C++20) 间接可比较 (C++20)	可置换 (C++20) 可合并 (C++20) 可排序 (C++20)
实用程序
indirect_result_t (C++20)	投影 (C++20)	projected_value_t (C++26)
迭代器适配器
反向迭代器 make_reverse_iterator (C++14) 移动迭代器 (C++11) make_move_iterator (C++11) default_sentinel_tdefault_sentinel (C++20)(C++20) unreachable_sentinel_tunreachable_sentinel (C++20)(C++20)	前插迭代器 后插迭代器 插入器 插入迭代器 前插器 后插器 移动哨兵 (C++20)	通用迭代器 (C++20) 计数迭代器 (C++20) basic_const_iterator (C++23) const_iterator (C++23) const_sentinel (C++23) make_const_iterator (C++23) make_const_sentinel (C++23)
流迭代器 istream_iterator    ostream_iterator istreambuf_iterator ostreambuf_iterator	迭代器自定义点 ranges::iter_move (C++20) ranges::iter_swap (C++20)
迭代器操作 advance distance prev (C++11)   next (C++11) ranges::advance (C++20) ranges::distance (C++20) ranges::prev (C++20) ranges::next (C++20)	范围访问 begincbegin (C++11)(C++14) rbegincrbegin (C++14)(C++14)   endcend (C++11)(C++14) rendcrend (C++14)(C++14)   sizessize (C++17)(C++20) empty (C++17) data (C++17)

 

定义在头文件 <iterator> 中
template< class I >     concept contiguous_iterator =         std::random_access_iterator<I> &&         std::derived_from</*ITER_CONCEPT*/<I>, std::contiguous_iterator_tag> &&         std::is_lvalue_reference_v<std::iter_reference_t<I>> &&         std::same_as<             std::iter_value_t<I>, std::remove_cvref_t<std::iter_reference_t<I>>         > &&         requires(const I& i) {             { std::to_address(i) } ->               std::same_as<std::add_pointer_t<std::iter_reference_t<I>>>;         };		(自 C++20 起)

contiguous_iterator 概念通过提供对所指元素在内存中连续存储的保证来细化 random_access_iterator。

迭代器概念确定

此概念的定义通过仅供说明的别名模板 /*ITER_CONCEPT*/ 指定。

为了确定 /*ITER_CONCEPT*/<I>，令 ITER_TRAITS<I> 表示 I 如果特化 std::iterator_traits<I> 是从主模板生成的，否则表示 std::iterator_traits<I>

• 如果 ITER_TRAITS<I>::iterator_concept 有效并且命名一个类型，则 /*ITER_CONCEPT*/<I> 表示该类型。
• 否则，如果 ITER_TRAITS<I>::iterator_category 有效并且命名一个类型，则 /*ITER_CONCEPT*/<I> 表示该类型。
• 否则，如果 std::iterator_traits<I> 是从主模板生成的，则 /*ITER_CONCEPT*/<I> 表示 std::random_access_iterator_tag。
• 否则，/*ITER_CONCEPT*/<I> 不会表示任何类型，并导致替换失败。

语义要求

令 a 和 b 为可解引用的迭代器，并且 c 为类型为 I 的不可解引用的迭代器，使得 b 可从 a 访问，并且 c 可从 b 访问。类型 I 仅当它建模了它所包含的所有概念，并且：

• std::to_address(a) == std::addressof(*a),
• std::to_address(b) == std::to_address(a) + std::iter_difference_t<I>(b - a)，并且
• std::to_address(c) == std::to_address(a) + std::iter_difference_t<I>(c - a).

等价性保留

在标准库概念的 requires 表达式 中声明的表达式需要是 等价保持 的（除非另有说明）。

隐式表达式变体

对于一些常量左值操作数来说，使用非修改表达式的 requires 表达式 也需要 隐式表达式变体。

注释

contiguous_iterator 由所有指向完整对象类型的指针类型建模。

在 C++17 中需要满足 LegacyContiguousIterator 要求的标准库中的迭代器类型也需要在 C++20 中建模 contiguous_iterator。

参见

随机访问迭代器 (C++20)

指定 bidirectional_iterator 是一个随机访问迭代器，支持常数时间内的前进和下标访问。 (概念)