《STL源码剖析》问题总结

个人笔记，持续更新，如果有遇到相同的疑问希望可以帮助大家。
Allocator
P45
问题1：

T* tmp = (T*)(::operator new((size_t)(size * sizeof(T))));

调用系统全局operator new函数来申请一个内存空间，传入参数为size_t类型，使用了一个强制类型转换，函数返回void类型指针，再使用强制类型转换为T，赋给tmp指针，指向申请的内存空间。
https://www.cnblogs.com/raichen/p/5808766.html
C++ new操作包括两个步骤：(1)调用::operator new 配置内存；(2)调用构造函数构造对象内容。

问题2：

template <class T1, class T2>
inline void _construct(T1* p, const T2& value){
    new(p) T1(value);
}

placement new操作，需要包含new.h头文件，就是在定向new一个对象。使用new在p指针指向的内存空间生成一个T1类型的对象，利用T2类型的对象value来进行初始化。
https://blog.csdn.net/u014209688/article/details/90047713

P51
问题1：

template <class ForwardIterator, class T>
inline void __destroy(ForwardIterator first, ForwardIterator last, T*){
    typedef typename __type_traits<T>::has_trivial_destructor trivial_destructor;
    __destroy_aux(first, last, trivial_destructor());
}

traits编程技巧，对于默认数据类型(int, long, double, float…)，其析构由编译器自行完成，因此对其进行显式析构是无意义的(trivial)，即判断其存在trivial destructor, 所以对其不作任何处理，否则显式析构。
https://blog.csdn.net/pililipalalar/article/details/53446918

标签：__,STL,void,内存空间,destructor,剖析,源码,new,trivial
来源： https://blog.csdn.net/My_Joker/article/details/121452608