当前位置：首页 > news >正文

《STL源码剖析》笔记记录

news 来源：原创 2025/8/29 11:15:57

《STL源码剖析》笔记记录

2.空间适配器(allocator)

分配的是空间，而不一定是内存

为了精密分⼯，STL allocator 决定将这两个阶段操作区分开来。
1、对象构造由 ::construct() 负责；对象释放由 ::destroy() 负责。
2、内存配置由 alloc::allocate() 负责；内存释放由 alloc::deallocate() 负责；

0.实际源码阅读

1.阅读体验

1…函数名间和::间可以有空格，不推荐，但宏定义时经常出现
2.struct 和 class继承时可以不写继承方式，采用默认方式
3、需要边看边记录
4、从简单的接口开始看起
5、两个类互相包含，适用于特殊场景，如双向链表，父子关系等。

_Container_proxy
__Myproxy : const _Container_base12 *;
_Myfirstiter :_Iterator_base12 *;

_Container_base12
_Myproxy:_Container_proxy *

_Iterator_base12
_Myproxy:_Container_proxy *
_Mynextiter:_Iterator_base12 *

6、链表和指针不一样
7、operator 类型名() const;
类型转换，隐式转换为value_type 类型
8、取size_t最大值
if ((size_t)(-1) / _Sz < _Count)
_Xbad_alloc(); // report no memory

2.Xmemory0 文件分配器

1、 list和vector的底层实现，都是连续内存块
2、 ::operator delete 不需要知道实际分配的内存大小，因为这个信息由内存管理器在分配时记录下来。释放内存时，内存管理器会根据这些信息来正确释放内存。
::operator delete(_Ptr);
3、完美转发
Forward 源码
完美转发的核心是使用 std::forward 和模板参数推导
4、包装迭代器所需的数据类型
struct _Simple_types
{ // wraps types needed by iterators 包装迭代器所需的数据类型
typedef _Value_type value_type;
5、typedef 用法
typedef existing_type new_type_name;
typedef void *type; type：为 void * 定义的别名。
6、class allocator
allocator 类调用_Allocate

3. 模板

1.参数也能做模板，参数不同也能重载不同类型（说明）
template<bool,
class _Ty1,
class _Ty2>
struct _If
{ // type is _Ty2 for assumed false
typedef _Ty2 type;
};

template<class _Ty1,
class _Ty2>
struct _If<true, _Ty1, _Ty2>
{ // type is _Ty1 for assumed true
typedef _Ty1 type;
};

2.2 具备次配置力的SGI空间配置器

关键概念
1、第一级配置器 > 128byte 直接申请，malloc， free
2、第二级配置器
内存数组 freelist
内存池

2.3 内存基本处理工具

2.3.1 uninitialized_copy

2.3.2 uninitialized_fill

2.3.3 uninitialized_fill_n

3.迭代器概念以及traits编程方法

3.4 Traits 编程技巧

Traits 可以理解为一种类型的 “特性” 或 “属性” 的封装。通过 Traits 类，我们可以在编译时根据不同的类型获取其相关的信息，如类型的大小、是否为指针类型、是否为可拷贝类型等，或者执行与该类型相关的特定操作。Traits 编程技巧主要利用模板特化来实现，针对不同的类型提供不同的实现。

作用
实现泛型算法的优化
适配不同容器类型，根据元素类型选择合适操作。

3.4.1 相应型别

value_type ：迭代器所指对象的类型，原⽣指针也是⼀种迭代器，对于原⽣指针 int*，
int 即为指针所指对象的类型，也就是所谓的 value_type 。

difference_type ：⽤来表示两个迭代器之间的距离，对于原⽣指针，STL 以 C++ 内
建的 ptrdiff_t 作为原⽣指针的 difference_type。

reference_type ： &。

pointer_type ：就是相应的指针类型，对于指针来说，最常⽤的功能就是 operator* 和
operator-> 两个运算符。

iterator_category：作⽤是标识迭代器的移动特性和可以对迭代器执⾏的操作，从
iterator_category 上，可将迭代器分为 Input Iterator、Output Iterator、Forward
Iterator、Bidirectional Iterator、Random Access Iterator 五类，这样分可以尽可能地提
⾼效率。