C++11变长模板解析(深入理解C++11)

2023-11-05

参考自:深入理解C++11


变长模版:

      变长函数和变长的模版参数

       变长函数:

       double sum(int n, ...)//求n个double数据之和

{

    double sum = 0;

    va_list args;//接受输入数据的数据结构,需声明stdarg.h

    va_start(args, n); //初始化数据

    while (n>0)

    {

        sum += va_arg(args, double); //将args中的数据一一取出,每隔sizeof(double)取一次数,再求和

        --n;

    }

    va_end(args);

    return sum;

}

         变长的模版参数:

         pair<int, double> PairNum

    std::tuple<>double, char, int, std::string> collections

变长模版:模版参数包和函数参数包

         模版参数包:

         变长类模版:

                   template<typename...Elements>class tuple;

        在标识符Elements之前使用了省略号…来表示该参数是变长的。Elements被称作三一个“模版参数包”。这样tuple 就可以接受任意多个参数作为模版参数。其实例化的tuple模版类:

        tuple<int ,char,double>

    编译器则可以将多个模版参数打包成大哥的模版参数包Elements,即Elements在进行模版推导的时候,就是一个包含int,char,double三种类型类型集合。

        也可以声明非类型的模版参数包,如:

        template<int …A>classNonTypeVariadicTemplate{}

        NonTypeVariadicTemplate<1,2,3>ntvt;

    就是定义了个:

    template<int,int,int>class NonTypeVariadicTemplate{}

        NonTypeVariadicTemplate<1,2,3>ntvt;

 

一个模版参数包在模版推导的时候会被认为是模版的单个参数。为了使用模版参数包,我们总是需要将其解包(Unpack)。在C++11中,这通常需要通过一个名为包扩展的表达式来完成:

         template <typename …A>classTemplate:private B<A…>{};

         式中的表达式A…就是一个包扩展。这样参数包会在包扩展的位置展开为多个参数。如:

         template<typename T1, typename T2>class B{};

template<typename ...A>class Template :private B<A...>{};

Template<X, Y> xy;

这样,我们为类模版声明了一个参数包A,而使用参数包A…则是在Template的私有基类B<A…>中,那么最后一个表达式就声明了一个基类为B<X,Y>的模版类Template<X,Y>的对象xy。基类B总是接受两个参数,如果参数包的参数个数大于两个,我们在进行模版推导的时候就会发生错误。

事实上,C++11就给出了解决的办法。实现tuple模版的方式给出了一种使用模版参数包的答案。

    template<typename...Elements>class tuple ;//变长模版声明

    //递归的偏特化定义

template<typename Head, typename ... Tail>class tuple<Head,Tail...> :private tuple < Tail... > { Head head; };

template <> class tuple<> {};//边界条件

 

如我们实例化tuple<double,int,char,float>,则我们需要构造tuple<int,char,float>,然后将设置head为double型。依次构造tuple<char,float>和设置int head,tuple<float>,char head,tuple<> float head;这样就完成了实例化。

template<long...nums> struct Multiply;

 

template<long first,long ... last>

struct Multiply<first,last...>

{

            static const long val = first*Multiply<last...>::val;

};

template<> struct Multiply < > { static const long val = 1; };

 

 

         函数参数包:

       template<typename...T> void f(T...args);

    T为变长模板参数,args则是对应于这些变长类型的数据,即函数参数包。C++11中,要去函数参数包必须唯一而且是函数的最后一个参数(模板参数包没有这样的要求)。

void Printf(const char *s)

{

    while (*s)

    {

        if (*s == '%'&&*++s != '%')

        {

            throw runtime_error("invalid formatstring: missing arguments");

        }

        cout << *s++;

    }

}

 

 

template<typename T,typename...Args>

void Printf(const char * s, T value, Args... args)

{

    while (*s)

    {

        if (*s=='%'&&*++s!='%')

        {

            cout << value;

            return Printf(++s, args...);

        }

        cout << *s++;

    }

    throw runtime_error("extraarguments provided to Printf");

}

int main()

{

    Printf("hello %s\n", std::string("world"));

    return 0;

}

相比于变长函数,变长函数模板不会丢弃参数的类型信息。因此重载的cout总是可以将具有类型的变量正确的打印出来。这就是变长模板函数强于变长函数的地方。

 

C++11定义了七种参数包可以展开的位置:

1. 表达式

2.      初始化列表

3.      基类描述列表

4.      类成员初始化列表

5.      模板参数列表

6.      通用属性列表

7.      Lambda函数的捕捉列表

如果我们生命Arg为参数包,那么可以使用Arg&&…这样的包扩展表达式,其解包后等价于Arg1&&,…,Argn&&(Arg1为包中的第一个参数,Argn为包中的第n个参数)。

        

1.      template<typename…A>classT:private B<A>…{};

2.      template<typename…A>classT:private B<A…>{};

同样实例化T<X,Y>;

1解包后为classT<X,Y>:private B<X>,private B<Y>{};

2解包后为classT<X,Y>:private B<X, Y>{};

 

操作符sizeof…,其作用是计算参数包中的参数个数。

 


本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

C++11变长模板解析(深入理解C++11) 的相关文章

随机推荐

  • 【问题记录】05 Host key for [ip] has changed and you have requested strict checking.Host key verification

    1 报错信息如下 为主机ip WARNING REMOTE HOST IDENTIFICATION HAS CHANGED IT IS POSSIBLE THAT SOMEONE IS DOING SOMETHING NASTY Someo
  • 操作系统实验——互斥与同步

    目录 1 SYSTEM V信号量 1 创建或打开 semget 2 申请或释放 semop 3 设置信号量 semctl 2 POSIX信号量 1 初始化 sem init 2 申请和释放 sem wait 3 销毁 sem destroy
  • 详细记录YOLACT实例分割ncnn实现

    点击上方 AI算法修炼营 选择加星标或 置顶 标题以下 全是干货 整理 公众号 深度学习与计算机视觉 作者 nihui 链接 https zhuanlan zhihu com p 128974102 本文转载自知乎 作者已授权 未经许可请勿
  • 《写给大家看的设计书(第4版)》读书笔记

    文章目录 前言 设计原则 亲密性 对齐 重复 对比 结语 前言 设计类的书籍看过一些 大多分为两类 一类是讲基础的 构图 明暗 色彩等基础理论 还有一类是分享介绍具体案里的 这两类书籍对于大多数并不想真正成为设计师的人来说很多时候并没有什么
  • 位置无关码介绍

    1 基本概念 应用程序必须经过编译 汇编和链接后才变成可执行文件 在链接时 要对所有目标文件进行地址重定位 建立符号引用规则 同时为变量 函数等分配运行地址 当程序执行时 系统必须把代码加载到链接时所指定的地址空间即链接地址 链接地址介绍在
  • 使用C写Python的模块

    使用C写Python的模块 2012 12 21 23 49 更新 邹业盛 概述 引入 Python h 头文件 编写包装函数 处理从 Python 传入的参数 实现逻辑功能 处理 C 中的返回值 注册函数 注册模块 编译 原文发于2010
  • 【开发工具】【make】make 3.82源码编译安装

    摘要 通过下载make 3 82源码 再编译机上安装make 3 82版本 解决make版本过高的问题 1 下载make 3 82 下载地址为 wget ftp ftp gnu org gnu make make 3 82 tar gz 我
  • 全局监控 click事件的四种方式

    本文主要给大家分享如何在全局上去监听 click 点击事件 并做些通用处理或是拦截 使用场景可能就是具体的全局防快速重复点击 或是通用打点分析上报 用户行为监控等 以下将以四种不同的思路和实现方式去监控全局的点击操作 由简单到复杂逐一讲解
  • Linux学习笔记-----网络编程套接字

    目录 一 概念 一 端口号概念 二 套接字概念 三 套接字 socket 编程接口 四 sockaddr结构 五 网络字节序 二 基于UDP的相关理解 一 UDP协议 二 编写简单的UDP服务端和客户端 三 小结 三 基于TCP的相关理解
  • iOS 自动构建命令——xcodebuild

    想想当初天天来到公司 每天需要做一件事就是打开Xcode打包ipa 上传到fir 日复一日月复一月年复一年的做着同样的事情 作为有志成为优秀工程师的我来说 这是必须要解决的问题 所以决定自动化解决问题 简介 xcodebuild 是苹果发布
  • Qt环境变量配置

    在桌面找到 此电脑 右击 找到属性 点击属性 找到高级系统设置 点击 选中环境变量 选中path 点击编辑 进入环境变量是这个样子的 下一步找到Qt安装的位置复制路径 这个是2015 64的 2015 32和2017 64的路径都要 然后
  • 如何选择期权品种,是做期货期货还是做期权

    有朋友问 国内的疫情目前得到较好的控制 经济也在逐渐恢复运行 国外的疫情在加重 也许会有部分国家经济做阶段停摆 假如上面的成立 我们是不是可以选择一种套利 买入国内经济需求会带动上涨的商品 卖出国外经济下滑会带动下跌的商品 如果这个方案可行
  • 分布式系统下的纠删码技术(一) -- Erasure Code (EC)

    近几个月主要参与一个分布式存储系统的纠删码部分 用于数据容错 纠删码在学术界出现比较早 现在ceph 微软的存储系统 Hadoop 3 0等都用了EC 文章会分为多篇 主要将Erasure Code LRC 以及相关的数学基础 作为学习总结
  • 前端技术搭建贪吃蛇小游戏(内含源码)

    功能介绍 以下是贪吃蛇小游戏的玩法和规则 游戏开始时 玩家控制一条小蛇在游戏区域内移动 通过吃食物来增加分数 小蛇的移动方向由玩家控制 可以使用键盘上的方向键来控制小蛇的移动方向 当小蛇吃到食物时 它会变长 并且玩家的分数会增加 如果小蛇撞
  • 拷贝构造函数(默认的,自定义的,什么时候一定要自定义,什么时候系统会自动调用)

    为什么有指针成员的类 要自定义拷贝构造函数 参考了 https blog csdn net caoshangpa article details 79226270 没有拷贝构造函数的类 系统会创建默认的拷贝构造函数 默认拷贝构造函数是浅拷贝
  • 【JSON 初级】

    概述 前后台数据交换的格式标准 一种优秀的 数据格式 采用键值对的方式 取数据 用键 优势 比XML更小 更快 更容易解析 JSON是存储和交换文本信息的语法 类似XML 工具 网上有校验json数据 并提示错误 将数据转化为json数据
  • 深入理解java虚拟机【并发编程缓存】

    2019独角兽企业重金招聘Python工程师标准 gt gt gt 随着多核CPU的高速发展 为了充分利用硬件的计算资源 操作系统的并发多任务功能正变得越来越重要 但是CPU在进行计算时 还需要从内存读取输出 并 将计算结果存放到内存中 然
  • 【华为OD机试】分苹果(C++ Python Java)2023 B卷

    时间限制 C C 1秒 其他语言 2秒 空间限制 C C 262144K 其他语言524288K 64bit IO Format lld 语言限定 C clang11 C clang 11 Pascal fpc 3 0 2 Java jav
  • 闲聊:自动化到底是干什么的?

    很多人会问 自动化到底是干什么的 也许是因为这个专业所要学习和掌握的知识太庞杂了 以至于自动化被称之为万能胶 干什么都行 却又都不专业 很大一部分同学上到大二大三还不知道自己具体能做什么 迷茫中便选择了转行 希望还在迷茫中的低年级的同学看了
  • C++11变长模板解析(深入理解C++11)

    参考自 深入理解C 11 变长模版 变长函数和变长的模版参数 变长函数 double sum int n 求n个double数据之和 double sum 0 va list args 接受输入数据的数据结构 需声明stdarg h va