《泛型编程与STL》读书笔记

最新推荐文章于 2024-04-26 17:55:19 发布

EverSteins

最新推荐文章于 2024-04-26 17:55:19 发布

阅读量1.1k

点赞数

CC 4.0 BY-SA版权

分类专栏：读书笔记 c/c++ 文章标签：编程读书 iterator 数据结构算法 reference

本文链接：https://blog.youkuaiyun.com/EverSteins/article/details/7804169

c/c++ 同时被 2 个专栏收录

38 篇文章

订阅专栏

读书笔记

22 篇文章

订阅专栏

本文深入探讨了C++中迭代器的概念及其应用，特别是iterator_traits的作用和重要性。详细解释了如何使用iterator_traits来提取迭代器的相关类型信息，以及在自定义迭代器和算法实现中为何需要此机制。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

关键词：

迭代器，函数配接器，迭代器之配接器（Iterator Adapters）

iterator_traits

迭代器的associated type是value_type，difference_type，reference_type，pointer_type，size_type，iterator_category

iterator_tag是iterator_category所属（typedef 5个类之一为iterator_category类型）的5个空类（struct）,用来具体区别一个算法的多个实现版本的选择

iterator_traits

what iterator_traits：是个模板类，用于编译时类型推测。可以让算法根据iterator具体实现的不同(例如原生指针，或iterator class,指向const对象的原生指针)提取相应的associated type（value_type,difference_type等（按用途分：临时值类型，返回值类型））

template <class I>

struct iterator_traits

{

typedef typename I:value_type value_type;

typedef typename I:difference_type value_type;

};

why iterator_traits：声明count的返回值的difference_type；迭代器的value type

通过iterator_traits实现根据不同的迭代器实现（如iterator class，或原生指针,指向const对象的原生指针（如const int *）），来提取迭代器的value type（即*iter类型），difference_type等。

why and when iterator_traits p63：

当定义自己的iterator class和算法时，会用到iterator_traits

1）你必须返回某值，或是声明临时变量，而其类型与iterator的value type或difference type或reference type或pointer type一致

2）你的算法类似advance，必须根据iterator的分类而决定不同的实现方法。如果没有iterator_traits机制，有时候你只好被迫在“一般化，却没有效率”与“有效率，但过度狭隘”两者之间做一个难以取舍的决定。