模板高级用法: Template Template Argument

注意，template template parameter 是极晚近才加入的C++ 特性，因此上面这个程序可作为一个极佳工具，用来评估你的编译器对 template 特性的支持程度。

下面的代码在vs2008通过, codeblocks 通过, vs2003不通过

1. // stack8.cpp : Defines the entry point for the console application.
2. //
3. 
   
4. #include "stdafx.h"
5. #include <deque>
6. #include <vector>
7. #include <iostream>
8. #include <memory>
9. #include <string>
10. #include <exception>
11. 
    
12. using namespace std;
13. 
    
14. template <typename T, 
15. template <typename ELEM, typename = allocator<ELEM> >
16. class CONT = deque >
17. 
    
18. class CStack
19. {
20. public:
21.     void push(T const&);
22.     void pop();
23.     T top() const;
24.     bool empty() const;
25. 
    
26.     // 赋予一个「元素类型为 T2」的 stack
27.     template <class T2,
28.         template <class ELEM2, class = allocator<ELEM2> >
29.     class CONT2>
30.         CStack<T, CONT>& operator = (CStack<T2, CONT2> const&);
31. 
    
32. private:
33.     CONT<T> m_dqElems;
34. };
35. 
    
36. template <class T, template<class, class> class CONT>
37. bool CStack<T, CONT>::empty() const
38. {
39.     return m_dqElems.empty();
40. }
41. 
    
42. template <class T, template <class, class> class CONT>
43. void CStack<T, CONT>::push(T const& elem)
44. {
45.     m_dqElems.push_back(elem);
46. }
47. 
    
48. template <class T, template<class, class> class CONT>
49. void CStack<T, CONT>::pop()
50. {
51.     if (m_dqElems.empty())
52.     {
53.         throw out_of_range("stack empty!");
54.     }
55. 
    
56.     m_dqElems.pop_back();
57. }
58. 
    
59. template <class T, template<class, class> class CONT>
60. T CStack<T, CONT>::top() const
61. {
62.     if (m_dqElems.empty())
63.     {
64.         throw out_of_range("stack empty!");
65.     }
66. 
    
67.     return m_dqElems.back(); //传回最后一个元素的拷贝
68. }
69. 
    
70. template <class T, template<class, class> class CONT>
71. template <class T2, template<class, class> class CONT2>
72. CStack<T, CONT>& CStack<T, CONT>::operator = (CStack<T2, CONT2> const& op2)
73. {
74.     if ((void*)this == (void*)&op2)// 是否赋值给自己
75.     {
76.         return *this;
77.     }
78. 
    
79.     CStack<T2, CONT2> tmpOp2(op2);
80.     m_dqElems.clear();
81. 
    
82.     while (!tmpOp2.empty())
83.     {
84.         m_dqElems.push_front(tmpOp2.top());
85.         tmpOp2.pop();
86.     }
87. 
    
88.     return *this;
89. }
90. 
    
91. template <class T, template<class, class> class CONT>
92. void PrintStack(CStack<T, CONT> const& objStack)
93. {
94.     //做一个copy打印
95.     CStack<T, CONT> tmpStack(objStack);
96. 
    
97.     while (!tmpStack.empty())
98.     {
99.         cout << tmpStack.top() << "/t";
100.         tmpStack.pop();
101.     }
102. 
     
103.     cout << endl;
104. }
105. 
     
106. int main()
107. {
108.     int i = 0;
109.     try
110.     {
111.         CStack<int> intStack;
112.         CStack<float> floatStack;
113. 
     
114.         for (i = 0; i < 10; i++)
115.         {
116.             intStack.push(11 * i);
117.         }
118. 
     
119.         cout << "intStack contents: " << endl;
120.         PrintStack<int>(intStack);
121. 
     
122.         floatStack = intStack;
123.         cout << "floatStack contents: " << endl;
124.         PrintStack<float>(floatStack);
125.     }
126.     catch (exception const& exp)
127.     {
128.         cerr << "Exception: " << exp.what() << endl;
129.     }
130. 
     
131.     CStack<int, vector> vtStack;
132. 
     
133.     for (i = 0; i < 10; i++)
134.     {
135.         vtStack.push(2 * i);
136.     }
137. 
     
138.     PrintStack<int, vector>(vtStack);
139. 
     
140.     return 0;
141. }