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

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

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

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

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 的标准来吧。

知识星球

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

公众号音视频开发进阶对应的知识星球,一个编程开发领域的专业圈子,贩卖知识和技巧!

※ 入群须知:了解该星球能提供的价值和帮助,在提问时务必阐述好背景,附带相关的信息。

iOS 用户可以加我微信 ezglumes 邀请你进星球,有疑问也可以加我微信咨询。

※ 星球内容:

基础教程:

在知识星球连载的干货教程,可以在专栏中找到,随着时间的推移,教程也会越来越多:

- 音视频基础概念
- WebRTC 入门教程及源码实践
- 播放器教程及源码实践
- OpenGL 和特效开发教程
- Vulkan 入门教程

部分内容可以在博客 https://glumes.com 中检索到,后面会在星球里持续更新.

干货分享:

涵盖了移动开发和音视频工程领域的绝大部分,从项目实战角度出发,提升能力,包括但不限于以下领域:

- Android/iOS 移动开发
- Camera 开发
- 短视频编辑 SDK 项目实践
- 在线直播和推流
- WebRTC 开发
- 播放器基础和提高
- OpenGL 图像渲染及特效开发
- C++ 基础和提高
- FFmpeg 使用和分析
- 干货资源和书籍分享

不止于技术方面的,各种 IT 新闻、茶余饭后、生活趣事也欢迎大家分享!!!

技术答疑解惑:

针对上述基础教程和干货分享的答疑,另外还有音视频和 IT 开发中的各种交流讨论。

- 基础知识点答疑
- 工业项目实践答疑
- 问题排查思路分析

一个 BUG 排查很久,不如来星球里提个问题,效率提升百倍。

求职和面试辅导:

一站式职场服务,每份工作都值得用心对待!!!

- 面试题和面试经验分享
- 简历修改和模拟面试
- 大厂内推和信息同步
- 职场经验分享
- 职业规划和发展分析

※ 星主和合伙人介绍

星主是公众号音视频开发进阶的作者,也是网站 https://glumes.com 的作者,曾参与过抖音、剪映等头部音视频 APP 底层 SDK 的开发。

合伙人也是在头条、快手从事音视频架构师的职位,具有多年的音视频开发经验,能力圈覆盖了音视频的绝大多数领域,资深音视频从业人员为你保驾护航。

微信公众号

扫描下面的二维码关注我的微信公众号《音视频开发进阶》,推送更多精彩内容!

添加我的微信 ezglumes 拉你入音视频与图形图像技术群一起交流学习~

wechat-account-qrcode

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