线性表（二） 单链表应用——可利用空间表

常常会有频繁申请、释放内存的需求，比如在发送网络报文时，每次都要分配内存以存储报文，等报文发送完成后又需要删除报文。
为了避免频繁的new/delete对系统带来的开销，需要实现一个通用的FreeList机制。使用者总是从free list中分配内存，如果存在没有使用的内存块就直接摘出来使用，如果没有的话再从系统中分配。使用完毕后并不去直接delete该内存块，而是交给FreeList保管。这里的的Freelist就是我们这篇文章讨论的主角：可利用空间表。

简介

可利用空间表 是动态内存管理的一种方法。通过把空闲内存划分成固定大小的数据块，而且利用指针字段把这些数据块链接起来，并使用一个指针指向首结点，这样就形成了一个单链表，即可利用空间表（free list）。

如果一个链表周期性地增长然后缩短，特别是一个程序使用了多个线性表，可利用空间表是非常有用的：当用户请求分配时，系统从可利用空间表中删除一个结点分配之；当用户释放其所占内存时，系统即回收并将它插入到可利用空间表中，因此，可利用空间表亦称为存储池。

可利用空间表有三种结构：结点大小相同、结点有若干规格、结点大小不等。而今天我们主要介绍最简单的一种，即结点大小相同的可利用空间表。

ps:关于可利用可空间表更详细的简介可参考这篇博文可利用空间表(Freelist)

具体实现

可利用空间表的实现要点：

1. 一个静态成员指针static FreeList* freelist，用来指向可利用空间表。
2. 重载 new 和 delete。

还记得我们的老朋友Link类吗？

template <typename E> class Link 
{
public:
	E element;
	Link *next;
	Link(const E& elemval, Link* nextval = NULL)
	{	element = elemval;	next = nextval;	}
	Link(Link* nextval = NULL)
	{	next = nextval;	}
}

实现我们的可利用空间表只需要对Link类做些修改即可

template <typename E> class Link 
{
private:
	static Link<E>* freelist;
public:
	E element;
	Link *next;
	
	Link(const E& elemval, Link* nextval = NULL);
	Link(Link* nextval = NULL);
	void* operator new(size_t);
	void operator delete(void* ptr);
}


template <typename E>
Link<E>* Link<E>::freelist = NULL; //静态数据成员freelist初始化

template <typename E> 
Link<E>::Link(const E& elemval, Link* nextval = NULL)
{
	this->element = elemval;	
	this->next = nextval;	
}

template <typename E> 
Link<E>::Link( Link* nextval = NULL)
{
	this->next = nextval;	
}

template <typename E> 
void* Link<E>::operator new(size_t);
{
	/*freelist没有可用空间，就从系统分配*/
	if(freelist == NULL) return ::new Link;

	/*否则，从freelist表头摘取结点*/
	Link<E>* temp = freelist;
	freelist = freelist->next;
	return temp;
}

template <typename E> 
void Link::operator delete(void* ptr)
{
	/*把要释放的结点空间加入到freelist中*/
	((Link<E>*)ptr)->next = freelist;
	freelist = (Link<E>*)ptr;
}

注：

1. Link类中的::new表示原来系统的new函数，如果没有前面的冒号，意味着调用了Link类中定义的new操作，从而会导致死循环。
2. 可利用空间表本身被一个称为freelist的静态数据成员访问。如果一个数据成员被声明为静态的，则该类中的所有对象共享同一个数据成员。这样，所有Link对象都可以引用同一个freelist变量。
3. 一个程序可能需要很多个链表。如果它们的元素类型都是相同的，可以共享同一个可利用空间表。如果链表创建时的元素数据类型不同，由于源代码只是一个模板，编译器在编译时会发现该类使用不同的数据类型的需求，从而分别为不同的数据类型生成相应版本的Link类，因此不同数据类型的Link类会使用不同的可利用空间表。
4. 如果某个时候程序需要成千上万个链表结点，那么就需要调用很多次系统new操作符来建立它们。采用可利用空间表，对此问题有额外功效：可以采用调用一次系统new操作符时就分配很多个链表结点的方法，以避免需要更多的结点时可利用空间表马上就空了的情况发生。

针对4的具体实现，博主探讨性的给出下面的示例：

调用一次new操作获得100个结点的空间，远比调用100次new操作每次获得1个结点的空间要快。我们可以通过ptr = ::new Link[100]使ptr指向含有100个链表结点的数组，在Link类中重载的new操作符可以把这100个结点作为一个普通链表放在可利用空间表中。

template <typename E>
void* Link<E>::operator new(size_t)
{
	if(freelist == NULL)
	{
		/*开辟一块连续空间并将其组织成链表*/
		Link<E>* ptr = ::new Link[size_t];
		for(int i = 0; i < size_t-1; i++)
			ptr[i]->next = ptr[i+1];
		ptr[size_t-1]->next = NULL;
		freelist = ptr;
	}
	Link<E>* temp = freelist;
	freelist = freelist->next;
	return temp;
}

---

ps:关于非固定模式的分配和回收机制的通用存储管理器，博主将会在以后的文章中介绍，更新ing~