STL: trivial destructor

trivial 表示无用的。那么trivial destructor就表示无用的析构函数，那么什么是无用的析构函数呢？什么又是non-trivial destructor 呢？

这就与前面我们介绍的构造函数的内容了，我们new operator这个操作符进行剖析之后，发现构造函数只是往一个已经分配好的内存空间中放入初始化值。也就是说new operator分成两步：

1）void * operator new( size_t size);

用于分配空间，与malloc的功能相差无几

2)T * new(void * p)  T(a1,a2);这句话（事实上我都不知道它是什么）主要的功能就是在p为起始的内存空间中，调用T的构造函数，将数据初始化到该区域。

所以，构造函数的功能只是初始化。

 

想对应的，析构函数的功能，就有点可笑了？为什么呢？

delete operator 的分成两步：

1）析构函数~T()

前面构造函数的功能是给那些原始空间写初始数据（类指示该空间的空间内部格局，以及各个格局上的类型），这些信息有类来承载，对象空间并不需要知道这些信息。

那么析构函数能够干什么呢？事实上，它的功能只有执行析构函数体，就像构筑函数体一样，虽然他们几乎不只这两个特殊函数的核心内容，但有时候，我们就是希望在对象创建初始化完成后马上做一些事情（构造函数体），有些时候就是系统在对象内存空间被释放之前做一些事情，例如释放资源（析构函数体）。

构造函数还有一个很重要的任务就是初始化，语义上这个初始化就是给出初值而已。而释放过程是不需要有相应的动作的。所以，如果用户不定义析构函数，而是用系统自带的，则说明，析构函数基本没有什么用？（但默认会被调用）我们称之为trivial destructor。反之，如果特定定义了析构函数，则说明需要在释放空间之前做一些事情，则这个析构函数称为non-trivial destructor。

2) operator delete(T *p)

释放空间，与free函数功能相差无几。

 

SGI stl 中的alloctor 的一个核心优化，就是不去调用trivial destructor（因为它根本没有用）。

我们知道new和delete都是一个内容丰富的操作符，优化的方法就是才开他们并且尽可能的优化他们。