本文主要是介绍C++ 模版中的一些稀奇古怪的技巧，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
- typename和.template的其他用法。
- 将成员函数和嵌套类也定义为模板。
- 模板的模板参数。
- 零初始化。
- 使用字符串作为模板实参时需要注意的地方。
先看typename。在前面，typename总是用来定义一个模板参数，在这个时候他和classname有相同的功效。可是，typename的作用并不限于此。试想，在模板参数的类型中有一个嵌套类，而在我们的模板中需要使用这个嵌套类。那么，可能的写法为[T::SubType * ptr]。问题是，T只是一个类型参数，编译器并不能确切的知道T中有哪些成员。因此，对于编译器来说，更为合理的做法把SubType看成了一个T中的静态成员，从而把上面的代码理解为T中的静态成员SubType乘上ptr。（ 我想，这与编译器在模板实例化时的处理方式有关。我不知道编译器在实例化模板的时候会按什么步骤走，但是肯定和普通的类实例化完全不一样。因为按照正常的类的实例化过程，编译器完全应该能知道SubType是T中的一个嵌套类。希望书中后面的内容能提供解释 ）。这个时候typename就能够明确的告诉编译器，SubType是一个类型，需要按照类型的方式处理。
下面是书中的一个实例：
2 #include < vector >
3
4 template < typename T >
5 void 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
18 int _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 }
下面说说.template。书中从下面的例子说起：
2 #include < bitset >
3 using namespace std;
4
5 template < int N >
6 void printBitset(std::bitset < N > const & bs)
7 {
8 std::cout << bs.template to_string < char , char_traits < char > , allocator < char >> ();
9 }
10
11 int _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 }
关于 printBitset 函数的调用，我想上面实例中的调用明确的指定了N为8。但实际上，由于我们在定义bs的时候已经指定了bs的模板实例化参数为8，那么也就是说直接使用bs作为参数调用 printBitset 模板函数的时候也应该能确定N为8，从而推演出 printBitset 的模板参数为8。也就是说，下面的调用方法都应该是没有问题的：
- printBitset<8>(bs);
- printBitset<>(bs);
- printBitset(bs);
这篇关于C++ 模版中的一些稀奇古怪的技巧的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
