【STL源码剖析】令人困惑的语法

朴灿烈づ我的快乐病毒、 2022-08-03 05:28 85阅读 0赞

# 困惑的语法 #

## obj \* volatile \* my\_free\_list的含义 ##

这个声明原来的形式是：obj\*\* my\_free\_list，这样的话\*my\_free\_list（空闲的内存块指针数组中的一个元素）可能被优化到寄存器中，从而使库代码无法lock住对它的读调用（如果在寄存器中则另一个线程可能会无意中修改该寄存器的值，而在内存中由于另一个线程没有访问权力所以不能修改）。  
要声明变量必须在内存中就要用volatile修饰，这里修饰的是*my\_free\_list，是free\_list数组中的一个元素，而不是数组指针，所以volatile放在两个*中间。

## 刻意制造临时对象 ##

刻意制造临时对象。如string(“hello”);int(2);中的hello、2都是一个无名的临时对象。

## 静态常量整数成员在class内部直接初始化 ##

class类中的const static integral data member，可以在类中直接赋初值。这是C++标准，integral泛指所有整型（char，long…）

# 宏定义 #

### define \_\_STL\_TEMPLAE\_NULL template<> ###

在GCC，VC6中允许不指定template<>就可以完成指定特定类型

### define \_\_STL\_NULL\_TMPL\_ARGS <> ###

这种申明为了实现bound friend templates，也就是说，模板类的某个实现与友元类的某个实现一一对应。比如，操作符重载。  
详见P33

# 需要注意的地方 #

## T1 \*pt1 = new(p) T1(value) ##

T1 \*pt1 = new(p) T1(value)这叫placement new,在指针p(p是T1类型)所指向的内存空间创建一个类型为T1的对象。当然，构造的这个对象需要显示调用它的析构函数:pt1->~T1()，而不能用delete来完成。见more Effective C++ M8

## set\_new\_handle(0) ##

set\_new\_handle(0)的意思是operator new申请一块内存失败时返回0，STL自己处理内存不足情况。  
set\_new\_handle()的原型是：

typedef void (*new_handler)(); //定义返回值为空，参数为空的函数指针。
    new_handler set_new_handler(new_handler p) throw();//operator new申请一块内存失败时调用p所指向的函数。并返回一个新的处理函数。

当operator new无法满足内存分配需求时，它会不断调用由set\_new\_handle()返回的new\_handler函数，直到找到足够的内存。因此，应该妥善设计new\_handler函数，一个设计良好的new\_handler函数必须做以下事情：  
1、删除其它无用的内存，使系统具有可以更多的内存可以使用，为下一步的内存申请作准备。  
实现此策略的办法是：程序一开始执行就分配一大块内存，当new\_handler被调用时，将它们释放还给程序使用。

2、设置另外一个new\_handler。  
如果当前的new\_handler不能够做到更多的内存申请操作，或者它知道另外一个new\_handler可以做到，则可以调用set\_new\_handler函数设置另外一个new\_handler，这样在operator new下一次调用的时候，可以使用这个新的new\_handler。

3、卸载new\_handler，使operator new在下一次调用的时候，因为new\_handler为空抛出内存申请异常。

4、new\_handler抛出自定义的异常

5、不再返回，调用abort或者exit退出程序

## ptrdiff\_t ##

两个指针相减的结果的类型为ptrdiff\_t,它是一种有符号整数类型。减法运算的值为两个指针在内存中的距离（以数组元素的长度为单位，而非字节），因为减法运算的结果将除以数组元素类型的长度。所以该结果与数组中存储的元素的类型无关。

**size\_t**是unsigned类型，用于指明数组长度或下标，它必须是一个正数，std::size\_t.设计size\_t就是为了适应多个平台，其引入增强了程序在不同平台上的可移植性。

**ptrdiff\_t**是signed类型，用于存放同一数组中两个指针之间的差距，它可以使负数，std::ptrdiff\_t.同上，使用ptrdiff\_t来得到独立于平台的地址差值.

**size\_type**是unsigned类型,表示容器中元素长度或者下标，vector::size\_type i = 0;

**difference\_type**是signed类型,表示迭代器差距，vector:: difference\_type = iter1-iter2.前二者位于标准类库std内，后二者专为STL对象所拥有。

## 操作符重载p38 ##

int& operator*()const
    {
    return (int&)m_i
    }

(int&)m\_i它告诉编译器，你确实要将const int转为non-const lvalue。  
这样方便对象作为左值。如果不明确的转换可能会报警告或错误。