码迷,mamicode.com
首页 > 其他好文 > 详细

模板系列(一)模板的模板参数

时间:2014-10-06 21:18:20      阅读:291      评论:0      收藏:0      [点我收藏+]

标签:style   blog   color   使用   strong   sp   div   c   on   

在之前,我们写过类似的stack

template <typename T, typename Alloc = std::vector<T> >
class Stack
{
public:
    void push(const T &);
    void pop();
    T top() const;
    bool empty() const;
private:
    Alloc cont_;
};

那么我们使用的时候,需要这样写

Stack<string, list<string> > st;

我们看到,string这个类型参数出现了两次,那么可不可以消除呢?

显然我们的目的是只指定容器的类型,而不包括元素的类型,这就需要借助模板的模板参数,来帮助我们写出一下代码:

Stack<string, list> st;

那么如何使用模板的模板参数呢?

我们需要这样定义模板参数的第二项修改为模板

template <typename T, 
          template <typename ELEM> class Alloc = std::vector>
class Stack

我们回忆一下,我们没接触泛型时,写的是普通的stack

class Stack;

当我们开始使用泛型时,就把这个类名加上模板参数。

template <typename T, typename Alloc = std::vector<T> >
class Stack;

上面两项叫做类的模板参数。现在我们需要把第二个模板参数改为泛型的,于是,我们给它加上模板参数:

template <typename T, 
          template <typename ELEM> 
          typename Alloc = std::vector>
class Stack;

但是上面的写法有一处错误,上面的Alloc必须是一个类,所以我们只能用class作为关键字,于是改为:

template <typename T, 
          template <typename ELEM> 
          class Alloc = std::vector>
class Stack;

我们写出完整的一份实现:

template <typename T, 
          template <typename ELEM> 
          class Alloc = std::vector>
class Stack
{
public:
    void push(const T &);
    void pop();
    T top() const
    {
        return cont_.back();
    }
    bool empty() const
    {
        return cont_.empty();
    }
private:
    Alloc<T> cont_;
};

template <typename T, template <typename> class Alloc>
void Stack<T, Alloc>::push(const T &val)
{
    cont_.push_back(val);
}

template <typename T, template <typename> class Alloc>
void Stack<T, Alloc>::pop()
{
    cont_.pop_back();
}

当我们使用:

Stack<string, list> st;

却不幸发现存在编译错误,有一条是:

expected a template of type ‘template<class ELEM> class Alloc’, got ‘template<class _Tp, class _Alloc> class std::list

这是因为,无论是vector还是list都有两个模板参数,于是无法与Alloc这个模板参数匹配。

我们修正为:

template <typename T, 
          template <typename ELEM, typename Alloc = std::allocator<ELEM> > 
          class Container = std::vector>
class Stack;

然后给出完整实现:

template <typename T, 
          template <typename ELEM, typename Alloc = std::allocator<ELEM> > 
          class Container = std::vector>
class Stack
{
public:
    void push(const T &);
    void pop();
    T top() const
    {
        return cont_.back();
    }
    bool empty() const
    {
        return cont_.empty();
    }
private:
    Container<T> cont_;
};

template <typename T, template <typename, typename> class Container>
void Stack<T, Container>::push(const T &val)
{
    cont_.push_back(val);
}

template <typename T, template <typename, typename> class Container>
void Stack<T, Container>::pop()
{
    cont_.pop_back();
}

测试代码:

Stack<string, list> st;
st.push("foo");
st.pop();

完毕!

模板系列(一)模板的模板参数

标签:style   blog   color   使用   strong   sp   div   c   on   

原文地址:http://www.cnblogs.com/inevermore/p/4008672.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!