今天主要给大家介绍几种数据结构，这几种数据结构在实现原理上较为类似，我习惯称之为类list的容器。具体有list、stack以及queue。

list的节点Node

首先介绍下node，也就是组成list的节点。从面向对象的角度来说节点也是就一个类，list里面包含了node对象的实例，以及操作/管理这些实例的方法。先给出一个粗糙的node的C++代码如下代码块所示。可以看出除了保有当前节点的信息，其还有指向前一个节点和后一个节点的指针。如果单独使用当然另外还需要相应的构造函数。如果是使用node组成其他的如list数据结构，也可以不需要node自己的构造函数，而完全交由list分配空间和数据，这部分可以参考《STL源码剖析》。好吧，扯得有点远了，为了讲述的简单，后面的代码都将采取简易的实现方式，如有不妥欢迎私信。

template<typename T>

struct Node

{

	typedef void *  void_pointer;

	void_pointer prev;

	void_pointer next;

	T data;

	Node(T data){

		this->data = data;

		prev = nullptr;

		next = nullptr;

	}

};

Node构成的数据结构有哪些

说完了node，那么由node(或其变体)作为基本单元的数据结构有哪些呢？当然首先有list(链表)，其次stack(栈)以及queue(队列)也是哈。list是双向链接的，头和尾都可以插入和删除node，当然中间插入删除也是可以的。而stack则是先进后出的队列，啥意思呢，也就是说：插入和删除都是针对最顶层的node的；queue则不同，它是先进先出的，和我们日常排队买东西是一样的原理。接下来分别介绍。

list

先来个图感性认识一下：

其实看了图之后也就无需多言了哈，不就是node一个链接一个么。嘿，简单！！！

stack

那stack呢，更加简单啦。只要将双向的链表换成单向的链表就可以实现了哈。在表的前端插入来实施push操作，通过删除表的前端元素来完成pop操作。top操作知识考察表前端元素并返回它的值。（当然stack也可以用基于vector来实现）。

queue

先进先出，其实现可以基于链表。但是也可以基于deque/vector。与stack一样若基于已有的结构，其实现是较为简单的，这里不详细叙述。

实现一个list

其实从stl的源码可以看出，要真正实现一个list并不像看上去那么简单。考虑到内存分配以及构造的细节，还是比较麻烦的。这里我们主要是为了掌握list的基本结构，对其主要操作做一个了解。所以不必写那么复杂的实现（哈哈，太复杂的我也写不好，还是建议阅读源码哈）。

list的迭代器

迭代器是后需几乎所有操作的基础。那么怎么组织这个迭代器呢，或者换句换说，迭代器在哪里定义呢？我们可以这么组织我们的代码：

using namespace std;

template <typename Object>

class List

{

  private:

    struct Node

    {

		...

    };

  public:

    class const_iterator

    {

      public:

		...

      protected:

        Node *current;

		...

        friend class List<Object>;

    };

    class iterator : public const_iterator

    {

      public:

  		...

        friend class List<Object>;

    };

  public:

    List( )

      { init( ); }

    ~List( )

    //其他方法：

	...

	...

  private:

    int   theSize;

    Node *head;

    Node *tail;

    void init( )

    {

        theSize = 0;

        head = new Node;

        tail = new Node;

        head->next = tail;

        tail->prev = head;

    }

};

稍微分析一下，首先list由node一个链接一个构成，所以需要一个node类。另外不希望第三方类使用，所以是私有的。在看迭代器，迭代器是为了方便遍历list或者指代list的当前位置的。所以其本质是一个指针，而且是指向node的指针，所以可以看到const_iterator类有个指针的定义：Node *current;。因为有时候通过迭代器只是想单纯访问数据而已，而有时候是希望能够改变node节点的数据。所以就有了const_iterator以及iterator两套哈。我不打算在这里给出迭代器的实现细节，这部分内容有很多教材的源码都是不错的，STL源码可能复杂些不建议。推荐《数据结构与算法分析--C++语言描述(第四版)》，请参考我的GitHub。但是还是有几个细节需要提一下：

迭代器的类要是list的友元。
迭代器在某种意义上就是某种智能指针，所以重载*以及->(或者++, --)操作是必须的。
为了后续操作的方便，在list中==以及！=通常也少不了。
通常需要head(表示第一个元素的前一个位置)以及tail(最后一个元素的最后一个位置)。这是为了在遍历的时候可以用迭代器！=head以及tail来判断是否到达边界。

几个list重要操作的原理与实现

现在假设我们已经有了一个功能完整的迭代器，那么接下来的操作基于迭代器就好了。

删除

先给出图和代码：

iterator erase( iterator itr )

    {

        Node *p = itr.current;

        iterator retVal( p->next );

        p->prev->next = p->next;

        p->next->prev = p->prev;

        delete p;

        --theSize;

        return retVal;

    }

	iterator erase( iterator from, iterator to )

    {

        for( iterator itr = from; itr != to; )

            itr = erase( itr );

        return to;

    }

直观上看我们只要删除1和2号线，增加3和4号线就可以了。代码就是上面的代码哈，很简单。但是，经常容易犯得错误是：忘记先保存删除节点的位置。那么在1与2号线删除之后就再也无法释放其资源了哈，这就是第一行代码 Node *p = itr.current; 的用意。第二行代码 iterator retVal( p->next ); 是为了删除之后仍然能够得到有效的迭代器。

插入

插入操作也是类型的，只不过这里用了一个较为看上去复杂的操作 p->prev = p->prev->next = new Node{ x, p->prev, p } 。记住，c++赋值语句，是从右往左执行的。结合图，也就不难理解这句话了。

// Insert x before itr.

    iterator insert( iterator itr, const Object & x )

    {

        Node *p = itr.current;

        ++theSize;

        return iterator( p->prev = p->prev->next = new Node{ x, p->prev, p } );

    }

    // Insert x before itr.

    iterator insert( iterator itr, Object && x )

    {

        Node *p = itr.current;

        ++theSize;

        return iterator( p->prev = p->prev->next = new Node{ std::move( x ), p->prev, p } );

    }

其他--stl/java

stl里list的实现实际上稍有出入，主要体现在内存分配与构造。实在是能力有限，在这里不敢瞎说。推荐大家阅读侯捷老师的《STL源码剖析》。另外java里的迭代器需要实现Iterator接口就好了。

关于queue与stack的基于node的实现就不赘述了。另外dequeue也可基于node实现，但是stl里是基于分段连续线性空间实现的，如果有可能会在后续的博客中详细讲述。

最后给一个我之前写的dequeue-java版本作为结束。

import java.util.Iterator;

import java.util.NoSuchElementException;

public class Deque<Item> implements Iterable<Item> {

	private Node first = null;

	private Node last = null;

	private int size = 0;

	public Deque() {

	}

	private class Node{

		Item item;

		Node next;

		Node previous;

	}

	public boolean isEmpty() {

		return first==null && last==null;

	}

	public int size() {

		return size;

	}

	public void addFirst(Item item) {

		if(item==null)

			throw new IllegalArgumentException();

		if(0==size) {

			//if size==0, let first and last point to item

			first = new Node();

			first.item = item;

			last = first;

		}else {

			Node oldfirst = first;

			first = new Node();

			first.item = item;

			first.next = oldfirst;

			oldfirst.previous = first;

		}

		size++;

	}

	public void addLast(Item item) {

		if(item==null)

			throw new IllegalArgumentException();

		if(0==size) {

			//if size==0, let first and last point to item

			last = new Node();

			last.item = item;

			first = last;

		}else {

			Node oldlast = last;

			last = new Node();

			last.item = item;

			last.previous = oldlast;

			oldlast.next = last;

		}

		size++;

	}

	public Item removeFirst() {

		if(size==0)

			throw new NoSuchElementException();

		Item itemtem = first.item;

		if(size==1) {

			first = null;

			last = null;

		}else {

			Node oldfirst = first;

			first = oldfirst.next;

			first.previous = null;

			oldfirst.next = null;

			oldfirst.item = null;

		}

		size--;

		return itemtem;

	}

	public Item removeLast() {

		if(size==0)

			throw new NoSuchElementException();

		Item itemtem = last.item;

		if(size==1) {

			itemtem = last.item;

			first = null;

			last = null;

		}else {

			Node oldlast = last;

			last = oldlast.previous;

			last.next = null;

			oldlast.previous = null;

			oldlast.item = null;

		}

		size--;

		return itemtem;

	}

	private class DequeIterator implements Iterator<Item>{

		private Node current = first;

		@Override

		public boolean hasNext() {

			return current != null;

		}

		@Override

		public Item next() {

			if(!hasNext())

				throw new NoSuchElementException();

			Item itemtem = current.item;

			current = current.next;

			return itemtem;

		}

		public void remove() {

			throw new UnsupportedOperationException();

		}

	}

	public Iterator<Item> iterator(){

		return new DequeIterator();

	}

	public static void main(String[] args) {

		// TODO Auto-generated method stub

		Deque<Integer> deque = new Deque<Integer>();

		deque.addFirst(1);

		deque.addFirst(2);

		deque.addFirst(3);

		deque.addLast(4);

		deque.addLast(5);

		deque.addLast(6);

		deque.removeFirst();

		deque.removeLast();

		deque.removeFirst();

		deque.removeLast();

		deque.removeFirst();

		deque.removeLast();

		for (Integer integer : deque) {

			System.out.println(integer);

		}

	}

}

See you next time. Happy Coding!!!

我的github

巴特西

数据结构与算法(4) -- list、queue以及stack