一个专注音视频领域的小圈子

在前面的文章中,模板参数除了是类型之外,还可以是非类型参数,但只有整型和指向外部链接对象的指针才可以。

除此之外,模板类型同样可以作为类型参数,并且还很有用处。

在之前定义过如下的类模板:

template <typename T,typename CONT = std::vector<T> >
class Stack{

};

int main() {
    Stack<int> stack1;
    Stack<int,std::vector<int>> stack2;
    return 0;
}

要使用如上的类模板,并且不使用默认参数的话,那么就需要指定容器类型和容器所包含的元素类型。

但如果借助模板参数的话,就可以只指定容器的类型而不需要指定所包含元素的类型。

为了达到上述目标,就需要把第二个模板参数指定为模板的模板参数,声明方式如下:

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

不同之处在于,第二个模板参数选择被声明为一个类模板。

template<typename ELEM> class CONT = std::deque

在使用时,第二个参数必现得是一个类模板,并且由第一个模板参数传递进来的类型进行实例化,如下代码所示:

CONT<T> elems;

这也是比较特别的地方,使用第一个模板参数作为第二个模板参数的实例化类型。

一般来说,可以使用类模板内部的任何类型来实例化模板的模板参数。

使用 Class 关键字

作为模板参数的声明,通常可以使用 typename 关键字来替换 class 。但是上面的 CONT 是为了定义一个类,一个模板类,因此只能使用关键字 class

所以如下的声明反而是错误的:

template <typename T, template<typename ELEM> typename CONT = std::deque>

但也不是绝对的,在 C++17 中也是允许上面声明方式了。

另外,由于代码中实际上用不到 “模板的模板参数” 中的模板参数,也就是 ELEM ,所以它是可以省略不写的。

省略之后的声明方式如下:

template <typename T, template<typename> class CONT = std::deque>
class Stack{
private:
    CONT<T> elems;
public:
    void push(T const&);
    void pop();
    T top() const;
    bool empty() const{
        return elems.empty();
    }
};

接下来在定义函数实现时,也要做相应的修改:

template<typename T, template<typename> class CONT>
void Stack<T>::push(const T &elem) {
    elems.push_back(elem);
}

template<typename T, template<typename> class CONT>
void Stack<T>::pop() {
    if (!elems.empty()) {
        elems.pop_back();
    }
}

template<typename T, template<typename> class CONT>
T Stack<T>::top() const {
    if (!elems.empty()) {
        return elems.back();
    }
    throw std::out_of_range("Stack::top(); empty Stack");
}

成员函数的声明要和类模板的声明一致。

另外,函数模板是不支持模板类型作为模板参数的。

模板的模板参数实参匹配

完成了以上的声明定义之后,还不能直接使用 Stack 类模板,因为 CONT 的默认值 std::deque 和模板的模板参数 CONT 并不匹配。

这是因为模板的模板实参(比如 std::deque)是一个具有参数 A 的模板,它将替换模板的模板参数(比如 CONT),而模板的模板参数是一个具有参数 B 的模板。

std::deque 的声明如下:

template <class _Tp, class _Allocator = allocator<_Tp> > class _LIBCPP_TEMPLATE_VIS deque;

匹配过程要求参数 A 和参数 B 必现完全匹配。然后在这里,并没有考虑到模板的模板实参的默认模板参数,也就是上面的 allocator ,从而也就是使 B 中缺少了这些默认参数值,当然就不能获得精确的匹配。

std::deque 还有一个参数,也就是第二个参数,内存分配器 allocator ,它有一个默认值,但在匹配 std::deque 的参数和 CONT 的参数时,并没有考虑到这个参数值。

因此修改类的声明,让 CONT 的参数是具有两个模板参数的容器。

template <typename T, template<typename ELEM,typename ALLOC = std::allocator<ELEM>> class CONT = std::deque>
class Stack{
private:
    CONT<T> elems;
public:
    void push(T const&);
    void pop();
    T top() const;
    bool empty() const{
        return elems.empty();
    }
};

由于 ALLOC 用不到,实际上它也是可以省略的。

template <typename T, template<typename ELEM,typename = std::allocator<ELEM>> class CONT = std::deque>
class Stack{
private:
    CONT<T> elems;
public:
    void push(T const&);
    void pop();
    T top() const;
    bool empty() const{
        return elems.empty();
    }
};

相应的,也要将成员函数修改了,凡是用不到的都可以省略。

template <typename T, template<typename ,typename > class CONT>
void Stack<T,CONT>::push(const T &elem) {
    elems.push_back(elem);
}

template <typename T, template<typename ,typename > class CONT>
void Stack<T,CONT>::pop() {
    if (!elems.empty()) {
        elems.pop_back();
    }
}
template <typename T, template<typename ,typename > class CONT>
T Stack<T,CONT>::top() const {
    if (!elems.empty()) {
        return elems.back();
    }
    throw std::out_of_range("Stack::top(); empty Stack");
}

将 Stack 的函数声明和实现拼起来,就是最终的版本,使用起来也不需要再指定容器所包含的类型了。

int main() {
    Stack<int,std::vector> intStack;
    intStack.push(2);
    intStack.top();
    intStack.pop();
    return 0;
}

小结

在本篇中模板的模板参数声明时,使用到了 class 关键字,要注意它的使用场景,因为模板的模板参数是一个类,所以要用 class 关键字。

参考 std::deque 的声明,前面两个 class 关键字可以用 typename 替换,后面一个就不行了。

template <class _Tp, class _Allocator = allocator<_Tp> > class _LIBCPP_TEMPLATE_VIS deque;

另外,在 C++ 17 之后,也是可以用 typename 关键字来声明模板的模板参数类型了,但考虑到 C++ 17 普及使用程度不高,还是按照 C++ 11 的标准来吧。

原创文章,转载请注明来源:    C++ 模板系列小结05-模板类型作为模板参数