在前面的文章中,模板参数除了是类型之外,还可以是非类型参数,但只有整型和指向外部链接对象的指针才可以。
除此之外,模板类型同样可以作为类型参数,并且还很有用处。
在之前定义过如下的类模板:
1template <typename T,typename CONT = std::vector<T> >
2class Stack{
3
4};
5
6int main() {
7 Stack<int> stack1;
8 Stack<int,std::vector<int>> stack2;
9 return 0;
10}
要使用如上的类模板,并且不使用默认参数的话,那么就需要指定容器类型和容器所包含的元素类型。
但如果借助模板参数的话,就可以只指定容器的类型而不需要指定所包含元素的类型。
为了达到上述目标,就需要把第二个模板参数指定为模板的模板参数,声明方式如下:
1template <typename T, template<typename ELEM> class CONT = std::deque>
2class Stack{
3private:
4 CONT<T> elems;
5public:
6 void push(T const&);
7 void pop();
8 T top() const;
9 bool empty() const{
10 return elems.empty();
11 }
12};
不同之处在于,第二个模板参数选择被声明为一个类模板。
1template<typename ELEM> class CONT = std::deque
在使用时,第二个参数必现得是一个类模板,并且由第一个模板参数传递进来的类型进行实例化,如下代码所示:
1CONT<T> elems;
这也是比较特别的地方,使用第一个模板参数作为第二个模板参数的实例化类型。
一般来说,可以使用类模板内部的任何类型来实例化模板的模板参数。
使用 Class 关键字
作为模板参数的声明,通常可以使用 typename 关键字来替换 class 。但是上面的 CONT 是为了定义一个类,一个模板类,因此只能使用关键字 class
。
所以如下的声明反而是错误的:
1template <typename T, template<typename ELEM> typename CONT = std::deque>
但也不是绝对的,在 C++17 中也是允许上面声明方式了。
另外,由于代码中实际上用不到 “模板的模板参数” 中的模板参数,也就是 ELEM
,所以它是可以省略不写的。
省略之后的声明方式如下:
1template <typename T, template<typename> class CONT = std::deque>
2class Stack{
3private:
4 CONT<T> elems;
5public:
6 void push(T const&);
7 void pop();
8 T top() const;
9 bool empty() const{
10 return elems.empty();
11 }
12};
接下来在定义函数实现时,也要做相应的修改:
1template<typename T, template<typename> class CONT>
2void Stack<T>::push(const T &elem) {
3 elems.push_back(elem);
4}
5
6template<typename T, template<typename> class CONT>
7void Stack<T>::pop() {
8 if (!elems.empty()) {
9 elems.pop_back();
10 }
11}
12
13template<typename T, template<typename> class CONT>
14T Stack<T>::top() const {
15 if (!elems.empty()) {
16 return elems.back();
17 }
18 throw std::out_of_range("Stack::top(); empty Stack");
19}
成员函数的声明要和类模板的声明一致。
另外,函数模板是不支持模板类型作为模板参数的。
模板的模板参数实参匹配
完成了以上的声明定义之后,还不能直接使用 Stack 类模板,因为 CONT 的默认值 std::deque 和模板的模板参数 CONT 并不匹配。
这是因为模板的模板实参(比如 std::deque)是一个具有参数 A 的模板,它将替换模板的模板参数(比如 CONT),而模板的模板参数是一个具有参数 B 的模板。
std::deque 的声明如下:
1template <class _Tp, class _Allocator = allocator<_Tp> > class _LIBCPP_TEMPLATE_VIS deque;
匹配过程要求参数 A 和参数 B 必现完全匹配。然后在这里,并没有考虑到模板的模板实参的默认模板参数,也就是上面的 allocator ,从而也就是使 B 中缺少了这些默认参数值,当然就不能获得精确的匹配。
std::deque 还有一个参数,也就是第二个参数,内存分配器 allocator ,它有一个默认值,但在匹配 std::deque 的参数和 CONT 的参数时,并没有考虑到这个参数值。
因此修改类的声明,让 CONT 的参数是具有两个模板参数的容器。
1template <typename T, template<typename ELEM,typename ALLOC = std::allocator<ELEM>> class CONT = std::deque>
2class Stack{
3private:
4 CONT<T> elems;
5public:
6 void push(T const&);
7 void pop();
8 T top() const;
9 bool empty() const{
10 return elems.empty();
11 }
12};
由于 ALLOC 用不到,实际上它也是可以省略的。
1template <typename T, template<typename ELEM,typename = std::allocator<ELEM>> class CONT = std::deque>
2class Stack{
3private:
4 CONT<T> elems;
5public:
6 void push(T const&);
7 void pop();
8 T top() const;
9 bool empty() const{
10 return elems.empty();
11 }
12};
相应的,也要将成员函数修改了,凡是用不到的都可以省略。
1template <typename T, template<typename ,typename > class CONT>
2void Stack<T,CONT>::push(const T &elem) {
3 elems.push_back(elem);
4}
5
6template <typename T, template<typename ,typename > class CONT>
7void Stack<T,CONT>::pop() {
8 if (!elems.empty()) {
9 elems.pop_back();
10 }
11}
12template <typename T, template<typename ,typename > class CONT>
13T Stack<T,CONT>::top() const {
14 if (!elems.empty()) {
15 return elems.back();
16 }
17 throw std::out_of_range("Stack::top(); empty Stack");
18}
将 Stack 的函数声明和实现拼起来,就是最终的版本,使用起来也不需要再指定容器所包含的类型了。
1int main() {
2 Stack<int,std::vector> intStack;
3 intStack.push(2);
4 intStack.top();
5 intStack.pop();
6 return 0;
7}
小结
在本篇中模板的模板参数声明时,使用到了 class 关键字,要注意它的使用场景,因为模板的模板参数是一个类,所以要用 class 关键字。
参考 std::deque 的声明,前面两个 class 关键字可以用 typename 替换,后面一个就不行了。
1template <class _Tp, class _Allocator = allocator<_Tp> > class _LIBCPP_TEMPLATE_VIS deque;
另外,在 C++ 17 之后,也是可以用 typename 关键字来声明模板的模板参数类型了,但考虑到 C++ 17 普及使用程度不高,还是按照 C++ 11 的标准来吧。
原创文章,转载请注明来源: C++ 模板系列小结05-模板类型作为模板参数
相关文章
- C++ 模板系列小结04-类模板中的成员模板
- C++ 模板系列小结03-在模板中指定变量类型
- C++ 模板系列小结02-非类型模板参数
- C++ 模板系列小结01-函数模板和类模板
- C++ 标准容器库小结
留言