std::iterator_traits<std::counted_iterator>

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

  requires /* see below */
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 子句中的条件为 true 当且仅当 std::iterator_traits<I> 不从主模板生成。

注解

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 <type_traits>
#include <list>
#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 子句
无条件定义 pointervoid
添加约束

参阅

为迭代器各项性质提供统一接口
(类模板)