STL源代码剖析-02 Defalloc.h

SGI里面提供了一个简单的符合STL标准的内存分配器template class allocator，但是SGI里面没有文件用它分配空间，都是用的，这个allocator是对operator new 和 operator delete的简单封装。下面看它的源文件内容：

template <class T>
inline T* allocate(ptrdiff_t size, T*)
{
    set_new_handler(0);
    T* tmp = (T*)(::operator new((size_t)(size * sizeof(T))));
    if (tmp == 0)
    {
        cerr << "out of memory" << endl;
        exit(1);
    }
    return tmp;
}


template <class T>
inline void deallocate(T* buffer)
{
    ::operator delete(buffer);
}

template <class T>
class allocator
{
public:
    typedef T value_type;
    typedef T* pointer;
    typedef const T* const_pointer;
    typedef T& reference;
    typedef const T& const_reference;
    typedef size_t size_type;
    typedef ptrdiff_t difference_type;
    pointer allocate(size_type n)
    {
        return ::allocate((difference_type)n, (pointer)0);
    }
    void deallocate(pointer p) { ::deallocate(p); }
    pointer address(reference x) { return (pointer)&x; }
    const_pointer const_address(const_reference x)
    {
        return (const_pointer)&x;
    }
    size_type init_page_size()
    {
        return max(size_type(1), size_type(4096 / sizeof(T)));
    }
    size_type max_size() const
    {
        return max(size_type(1), size_type(UINT_MAX / sizeof(T)));
    }
};

class allocator<void>
{
public:
    typedef void* pointer;
};

在文件的最原后特化了void类型，对它不做任何处理。

唯一想不明白地方就是在template <class T> inline T* allocate(ptrdiff_t size, T*) 中的第一个参数类型是ptrdiff_t，它是在stddef.h中定义的，主要是计算两个指针之间的距离，但它是有符号的。虽然在new的时候转换成size_t类型了。。。