C++的模板(五):压缩格式

声明一个C++的模板语法是，template 〈class c…〉 …
如果要向模板传递的参数类型比较多，这个template表就会很长，用起来很不方便。这时候可以用上template参数的压缩格式。

压缩格式的用法很简单。就是在外部定义一个struct, 把传给模板的参数，定义到struct 里面，这样就只要传一个struct 好了。

比如原来的template是这样的：
template<class Node_type, class Value_type> …
可以把传给template两个参数类型收集到一个struct里面去。然后再把这个struct传给template：
struct my_value {…};
struct my_node {…};
struct my_schema {
typedef my_node Node_type;
typedef my_value Value_type;
};

template 〈class Schema〉 class X
{
typedef Schema::Node_type Node_type;
typedef Schema::Value_type Value_type;
…
};

使用的时候，用template <my_schema>…，这个用template <my_node, my_value>…有相同的效果。

作为例子，下面抄录了一段STL中的代码：

template<typename _Iterator, typename _Sequence>
    class _Safe_iterator : public _Safe_iterator_base
    {
      typedef _Safe_iterator _Self;

      /*. ... ......... .. ..... .. ... ......... ... ........ .......
       .  ... ..........
       */
      enum _Distance_precision
	{
	  __dp_equality, //. ... ....... ........ ......... ....
	  __dp_sign,     //. ... ......... ........ ... ........
	  __dp_exact     //. ... ......... ........ .........
	};

      //. ... .......... ........
      _Iterator _M_current;

      //. ......... .. .... .. . ........ .........
      bool
      _M_constant() const
      {
	typedef typename _Sequence::const_iterator const_iterator;
	return __is_same<const_iterator, _Safe_iterator>::value;
      }

      typedef std::iterator_traits<_Iterator> _Traits;

    public:
      typedef _Iterator                           _Base_iterator;
      typedef typename _Traits::iterator_category iterator_category;
      typedef typename _Traits::value_type        value_type;
      typedef typename _Traits::difference_type   difference_type;
      typedef typename _Traits::reference         reference;
      typedef typename _Traits::pointer           pointer;

      //. ..... ... ........ .. ........ ... ..........
      _Safe_iterator() : _M_current() { }
...
};

里面一上来用了很多typedef。相当于把很多本来要通过template 参数表传递的参数先收集到_Traits，然后再传入一个_Traits。这样就简化了template参数传递。