命名空间
变体
操作

std::iterator_traits<std::counted_iterator>

来自 cppreference.cn
 
 
迭代器库
迭代器概念
迭代器原语
算法概念与工具
间接可调用概念
常用算法要求
工具
迭代器适配器
范围访问
(C++11)(C++14)
(C++14)(C++14)  
(C++11)(C++14)
(C++14)(C++14)  
(C++17)(C++20)
(C++17)
(C++17)
 
 
定义于头文件 <iterator>
template< std::input_iterator I >

    requires /* 见下文 */
struct iterator_traits<std::counted_iterator<I>> : std::iterator_traits<I> {
    using pointer = std::conditional_t<std::contiguous_iterator<I>,
                                       std::add_pointer_t<std::iter_reference_t<I>>,
                                       void>;

};
(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_iteratorstd::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-clause
pointer 无条件定义为 void
添加了约束

[编辑] 参阅

提供迭代器属性的统一接口
(类模板)