std::iterator_traits<std::counted_iterator>
定义于头文件 <iterator> |
||
template< std::input_iterator I > requires /* 见下文 */ |
(C++20 起) | |
继承自自定义(由标准部分特化或程序定义特化生成)std::iterator_traits<I> 的属性,并调整成员类型 pointer
,其中 I
建模 input_iterator
。
值得注意的是,iterator_concept
(如果存在)和 iterator_category
继承自 std::iterator_traits<I>。
requires-clause 中的条件当且仅当 std::iterator_traits<I> 不是由主模板生成时为 true。
目录 |
[编辑] 注意
在 P2259R1 之前,即使 std::iterator_traits<I> 是由主模板生成的,也会使用此特化。因此,在针对迭代器概念(例如 forward_iterator
)测试 std::counted_iterator<I> 时,/*ITER_CONCEPT*/ 的确定不考虑 I::iterator_concept
,因此 std::counted_iterator<I> 有时会错误地表现为无法建模该概念。此不正确行为在 10.4 之前的 libstdc++ 和 VS 2022 17.0 Preview 3 之前的 MSVC STL 中实现。
标准库为指针类型、std::counted_iterator 和 std::common_iterator 提供了 std::iterator_traits 的部分特化。
[编辑] 示例
#include <iterator> #include <list> #include <type_traits> #include <vector> int main() { std::vector v{1, 2, 3, 4}; std::list l{1, 2, 3, 4}; std::counted_iterator iv{v.begin(), 3}; std::counted_iterator il{l.begin(), 3}; static_assert(std::is_same<int*, std::iterator_traits<decltype(iv)>::pointer>()); static_assert(std::is_same<void, std::iterator_traits<decltype(il)>::pointer>()); }
[编辑] 缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
缺陷报告 | 应用于 | 发布时的行为 | 正确的行为 |
---|---|---|---|
P2259R1 | C++20 | 没有 requires-clausepointer 无条件定义为 void |
添加了约束 |
[编辑] 参阅
提供迭代器属性的统一接口 (类模板) |