C++ 模版中的一些稀奇古怪的技巧

本文主要是介绍C++ 模版中的一些稀奇古怪的技巧，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

typename和.template的其他用法。
将成员函数和嵌套类也定义为模板。
模板的模板参数。
零初始化。
使用字符串作为模板实参时需要注意的地方。

一：typename和.template的另类用法。
先看typename。在前面，typename总是用来定义一个模板参数，在这个时候他和classname有相同的功效。可是，typename的作用并不限于此。试想，在模板参数的类型中有一个嵌套类，而在我们的模板中需要使用这个嵌套类。那么，可能的写法为[T::SubType * ptr]。问题是，T只是一个类型参数，编译器并不能确切的知道T中有哪些成员。因此，对于编译器来说，更为合理的做法把SubType看成了一个T中的静态成员，从而把上面的代码理解为T中的静态成员SubType乘上ptr。（我想，这与编译器在模板实例化时的处理方式有关。我不知道编译器在实例化模板的时候会按什么步骤走，但是肯定和普通的类实例化完全不一样。因为按照正常的类的实例化过程，编译器完全应该能知道SubType是T中的一个嵌套类。希望书中后面的内容能提供解释）。这个时候typename就能够明确的告诉编译器，SubType是一个类型，需要按照类型的方式处理。
下面是书中的一个实例：

  
 1#include <iostream>
  2#include <vector>
  3
  4template<typename T>
  5void printcoll(T const& coll)
  6{
  7    typename T::const_iterator pos;
  8    typename T::const_iterator end(coll.end());
  9
 10    for(pos = coll.begin(); pos != end; ++pos)
 11    {
 12        std::cout<<*pos<<' ';
 13    }
 14
 15    std::cout<<std::endl;
 16}
 17
 18int _tmain(int argc, _TCHAR* argv[])
 19{
 20    // 测试printcoll
 21    std::vector<int> intVector;
 22    intVector.push_back(1);
 23    intVector.push_back(2);
 24    intVector.push_back(3);
 25    intVector.push_back(4);
 26
 27    printcoll(intVector);
 28    return 0;
 29}  

注意到第7行和第8行，在定义变量的时候迭代器const_iterator 是容器T中的一个类型。因此，在定义T:: const_iterator 的变量的时候需要在前面加上typename。可以说，正是由于 const_iterator 是一个依赖于模板参数的类型，所以我们必须使用typename明确的指它是一个类型。否则，编译器就不能正常识别。

下面说说.template。书中从下面的例子说起：

  
 1#include <iostream>
  2#include <bitset>
  3using namespace std;
  4 
  5template<int N>
  6void printBitset(std::bitset<N> const& bs)
  7{
  8    std::cout<<bs.template to_string<char, char_traits<char>, allocator<char>>();
  9}
 10 
 11int _tmain(int argc, _TCHAR* argv[])
 12{
 13    // 测试printBitset
 14    std::bitset<8> bs;
 15    bs = (long)131;
 16
 17    printBitset<8>(bs);
 18    return 0;
 19}  

在进一步说道.template以前，我觉得有必要先说说这里例子是作什么的。bitset本身就是一个模板类，它需要一个int参数来实例化。int参数在bitset中代表的是bit的长度。比如，我们通常说的4位或者8位等。其中，bitset模板类的to_string成员是将二进制的bit以string的形式表示出来。只是我不知道为啥to_string会有那么多的模板参数。因此，上面的 printBitset 函数就是为了将一个bitset输出到控制台上。mian函数的第14和15行向我们展示了正常情况下的bitset的使用方法。但是，在模板函数 printBitset 中，bitset的实例化参数来自模板函数的参数。也就是说，bitset的实例化依赖于printBitset模板函数的实例化。在书中说，如果没有.template编译器就不知道后面的"<"是小于号还是模板参数列表的起始符（至于原因。我想应该还是与编译器处理模板实例化的方式有关系。但是，我在VS2005中就算没有。.tamplate也能正常的编译通过。期待高手解答）。因此，需要.template来标识后面的"<"当作模板参数列表的起始符来处理。
关于 printBitset 函数的调用，我想上面实例中的调用明确的指定了N为8。但实际上，由于我们在定义bs的时候已经指定了bs的模板实例化参数为8，那么也就是说直接使用bs作为参数调用 printBitset 模板函数的时候也应该能确定N为8，从而推演出 printBitset 的模板参数为8。也就是说，下面的调用方法都应该是没有问题的：