实现 list 的主要思想及过程
首先，实现过程中的所有代码必须放在自己定义的命名空间中。
定义一个结点的结构体类模板，结点的数据类型就应该是模板类型 T，定义的 next指针和 prev指针都应该是模板指针类型，并且结构体类中药有构造函数，确保在 new 结点的时候，不会出现未初始化的情况。
第二步就是定义一个迭代器的类模板，其中模板参数要有三个，分别做数据类型和返回值类型，保证普通迭代器和 const 类型的迭代器都能通用，在泛型编程下，只要保证模板参数的数量足够，编译器就能自动推导需要的数据类型！
最后一步就是写出 list 的类模板，这个其实只需要传一个模板参数即可，在使用迭代器的时候，使用迭代器自己实例化的模板参数来自动推导即可。
因为list 在使用迭代器的时候只需要控制普通迭代器和 const 迭代器的返回类型即可，所以只需要两种不同模板参数的迭代器区分返回值即可。
#include<iostream> using namespace std; namespace zyb { template<class T> struct list_node { T _val; list_node<T>* _next; list_node<T>* _prev; list_node(const T& x = T()) :_val(x), _next(nullptr), _prev(nullptr) {} }; template<class T,class Ref,class Ptr> struct __list_iterator { typedef list_node<T> Node; typedef __list_iterator<T, Ref, Ptr> self; Node* _node; __list_iterator(Node* node) :_node(node) { } self operator++(int) { self tmp = __list_iterator(_node); _node = _node->_next; return tmp; } self operator--(int) { self tmp = __list_iterator(_node); _node = _node->_prev; return tmp; } self& operator++() { _node = _node->_next; return *this; } self& operator--() { _node = _node->_prev; return *this; } bool operator==(const self& it) { return it._node == _node; } bool operator!=(const self& it) { return it._node != _node; } Ref operator*() { return _node->_val; } Ptr operator->() { return &(_node->_val); } }; }
泛型编程中模板的再理解
过程中学习到的一些模板的知识：如何自己实现一个函数，可以打印不同容器中不同的数据类型？
这是实现 list 的不同数据打印的代码，值得注意的是，在 list<T> 前面加了一个 typename ，包括前面的模板声明，也用的是 typename 这是为什么呢？
如果不加 typename ，因为 list<T> 就是未实例化的模板，因为类型是不确定的，里面会有好多未确认的类型，并且编译器无法辨别 const_iterator 是 内嵌类型 还是 静态成员变量（只有内嵌类型和静态成员变量才能通过类域去访问），编译器就会报错；那么前面加一个 typename，就相当于一个给编译器的声明，这是一个内嵌类型（保证编译的时候不会报错），等 list<T> 实例化之后，再去对应的类里找到实例化类型来替换。
template<typename T> void print_list(const list<T>& lt) { typename list<T>::const_iterator it1 = lt.begin(); while (it1 != lt.end()) { cout << *it1 << ' '; ++it1; } cout << endl; for (auto e : lt) { cout << e << ' '; } }
当然，也可以改写为一个针对全部容器打印数据的代码，
Container 的类型根据传入的容器类型来推导出来，相当于对于上面的模板再抽象了一层。
这就是泛型编程！
template<typename Container> void print_container(const Container& x) { typename Container::const_iterator it1 = x.begin(); while (it1 != x.end()) { cout << *it1 << ' '; ++it1; } cout << endl; for (auto e : x) { cout << e << ' '; } }
