最近评论
正在载入评论列表...
3.5 缺省模板实参
对于类模板，你还可以为模板参数定义缺省值；这些值就被称为缺省模板实参；而且，它们还可以引用之前的模板参数。例如，在类Stack<>中，你可以把用于管理元素的容器定义为第2个模板参数，并且使用std::vector<>作为它的缺省值：
//basics/stack3.hpp
#include <vector>
#include <stdexcept>
template <typename T, typename CONT = std::vector<T> >
class Stack {
private:
CONT elems; // 包含元素的容器
public:
void push(T const&); // 压入元素
void pop(); // 弹出元素
T top() const; // 返回栈顶元素
bool empty() const { // 返回栈是否为空
return elems.empty();
}
};
template <typename T, typename CONT>
void Stack<T,CONT>::push (T const& elem)
{
elems.push_back(elem); // 把传入实参elem附加到末端
}
template <typename T, typename CONT>
void Stack<T,CONT>::pop ()
{
if (elems.empty()) {
throw std::out_of_range("Stack<>::pop(): empty stack");
}
elems.pop_back(); // 删除末端元素
}
template <typename T, typename CONT>
T Stack<T,CONT>::top () const
{
if (elems.empty()) {
throw std::out_of_range("Stack<>::top(): empty stack");
}
return elems.back(); // 返回末端元素的拷贝
}
可以看到：我们的类模板含有两个模板参数，因此每个成员函数的定义都必须具有这两个参数：
template <typename T,typename CONT>
void Stack<T,CONT>::push(T const& elem)
{
elems.push_back(elem); //附加传入实参elem的拷贝
}
你仍然可以像前面例子一样使用这个栈（stack）；就是说，如果你只传递第一个类型实参给这个类模板，那么将会利用vector来管理stack的元素：
template<typename T,typename CONT = std::vector<T> >
class Stack {
private:
CONT elems; //包含元素的容器
...
};
另外，当在程序中声明Stack对象的时候，你还可以指定容器的类型：
//basics/stack3test.cpp
#include <iostream>
#include <deque>
#include <cstdlib>
#include "stack3.hpp"
int main()
{
try {
// int栈:
Stack<int> intStack;
// double栈，它使用std::deque来管理元素
Stack<double,std::deque<double> > dblStack;
// 使用int栈
intStack.push(7);
std::cout << intStack.top() << std::endl;
intStack.pop();
// 使用double栈
dblStack.push(42.42);
std::cout << dblStack.top() << std::endl;
dblStack.pop();
dblStack.pop();
}
catch (std::exception const& ex) {
std::cerr << "Exception: " << ex.what() << std::endl;
return EXIT_FAILURE; // 退出程序，且有ERROR标记
}
}
使用
Stack<double,std::deque<double> >
你可以声明一个“元素类型为double，并且使用std::deque<>在内部管理元素”的栈。
