【知识点】C++ STL 中的 iterator

【知识点】C++ STL 中的 iterator_traits 类

`iterator_traits` 讲解

基本定义

iterator_traits 是一个模板类，用于提供与迭代器相关的类型信息。以下是 iterator_traits 的基本定义：

#include <iterator>template <typename Iterator>
struct iterator_traits {typedef typename Iterator::difference_type difference_type;typedef typename Iterator::value_type value_type;typedef typename Iterator::pointer pointer;typedef typename Iterator::reference reference;typedef typename Iterator::iterator_category iterator_category;
};

类型成员详解

difference_type：表示两个迭代器之间距离的类型，通常为 std::ptrdiff_t。
value_type：迭代器指向的值的类型。
pointer：指向迭代器指向的值的指针类型。
reference：迭代器指向的值的引用类型。
iterator_category：迭代器的类别，用于标识迭代器的类型（如随机访问迭代器、双向迭代器等）。

特化版本

对于原生指针类型（如 int*），标准库提供了特化版本的 iterator_traits，以确保其正确处理：

template <typename T>
struct iterator_traits<T*> {typedef ptrdiff_t difference_type;typedef T value_type;typedef T* pointer;typedef T& reference;typedef std::random_access_iterator_tag iterator_category;
};template <typename T>
struct iterator_traits<const T*> {typedef ptrdiff_t difference_type;typedef T value_type;typedef const T* pointer;typedef const T& reference;typedef std::random_access_iterator_tag iterator_category;
};

`iterator_category` 详解

iterator_category 是一个标签类型，用于标识迭代器的种类。以下是几种常见的迭代器类别：

std::input_iterator_tag：输入迭代器。
std::output_iterator_tag：输出迭代器。
std::forward_iterator_tag：前向迭代器。
std::bidirectional_iterator_tag：双向迭代器。
std::random_access_iterator_tag：随机访问迭代器。

这些标签类型用于在模板元编程中进行类型推导和选择。

使用 `iterator_traits` 的示例

基本示例

下面是一个基本示例，展示如何使用 iterator_traits 获取迭代器的类型信息：

#include <iostream>
#include <iterator>
#include <vector>template <typename Iterator>
void print_iterator_traits() {typedef typename std::iterator_traits<Iterator>::difference_type difference_type;typedef typename std::iterator_traits<Iterator>::value_type value_type;typedef typename std::iterator_traits<Iterator>::pointer pointer;typedef typename std::iterator_traits<Iterator>::reference reference;typedef typename std::iterator_traits<Iterator>::iterator_category iterator_category;std::cout << "difference_type: " << typeid(difference_type).name() << std::endl;std::cout << "value_type: " << typeid(value_type).name() << std::endl;std::cout << "pointer: " << typeid(pointer).name() << std::endl;std::cout << "reference: " << typeid(reference).name() << std::endl;std::cout << "iterator_category: " << typeid(iterator_category).name() << std::endl;
}int main() {std::vector<int> vec = {1, 2, 3, 4, 5};print_iterator_traits<std::vector<int>::iterator>();return 0;
}

分析和输出：

difference_type: 通常为 std::ptrdiff_t，它是一个与 long 或 __int64 类型相似的类型。
value_type: 为 int，因为 std::vector::iterator 指向 int 类型。
pointer: 为 int*，因为 std::vector::iterator 指向 int* 类型。
reference: 为 int&，因为 std::vector::iterator 指向 int& 类型。
iterator_category: 为 std::random_access_iterator_tag，因为 std::vector::iterator 是一个随机访问迭代器。
根据这些信息，输出将会类似如下（具体的类型名称格式可能根据编译器而有所不同）：

difference_type: i
value_type: i
pointer: Pi
reference: Ri
iterator_category: NSt6__ndri

C++怎么打印变量类型，打印参数类型？typeid().name()

泛型算法中的应用

iterator_traits 在泛型算法中非常有用，下面是一个示例，展示如何使用 iterator_traits 实现一个通用的距离计算函数：

#include <iterator>template <typename InputIterator>
typename std::iterator_traits<InputIterator>::difference_type
distance(InputIterator first, InputIterator last) {typename std::iterator_traits<InputIterator>::difference_type n = 0;while (first != last) {++first;++n;}return n;
}

这个 distance 函数可以计算任意输入迭代器范围内的距离，而不必关心具体的迭代器类型。
如果我们在 main 函数中调用此函数：

#include <iostream>
#include <vector>int main() {std::vector<int> vec = {1, 2, 3, 4, 5};auto dist = distance(vec.begin(), vec.end());std::cout << "Distance: " << dist << std::endl;return 0;
}

在这个例子中，vec 有 5 个元素，因此 distance(vec.begin(), vec.end()) 将返回 5。

输出将会是：

Distance: 5

自定义迭代器

如果你要创建一个自定义迭代器，确保你的迭代器定义了 iterator_traits 所需的类型。例如：

template <typename T>
class MyIterator {
public:typedef std::ptrdiff_t difference_type;typedef T value_type;typedef T* pointer;typedef T& reference;typedef std::random_access_iterator_tag iterator_category;// 迭代器实现细节...
};