浅析C++模板类型中的原样转发和可变参数的实现

目录
  • 原样转发的意义
  • 模板的可变参数
  • 总结

原样转发的意义

前文我们实现了一个my_move函数，用来模拟stl的move操作，实现去引用的功能。其内部的原理就是通过remove_reference实现去引用操作。

有时我们也需要保留原类型的左值或者右值属性，进行原样转发，此时就要用forward实现转发功能。

我们先定义一个模板函数

template <typename F, typename T1, typename T2>
void flip1(F f, T1 t1, T2 t2)
{
    f(t2, t1);
}

flip1内部调用了函数f

我们写一个函数测试

void ftemp(int v1, int &v2)
{
    cout << v1 << " " << ++v2 << endl;
}
void use_ftemp(){
    int j = 100;
    int i = 99;
    flip1(ftemp, j, 42);
    cout << "i is " << i << " j is " << j << endl;
}

通过打印发现i和j的值没有变化，因为ftemp的v2参数虽然是引用，但是是flip1的形参t1的引用

t1只是形参，修改t1并不能影响外边的实参j。

想要达到修改实参的目的，需要将flip1的参数修改为引用，我们先实现修改后的版本flip2

template <typename F, typename T1, typename T2>
void flip2(F f, T1 &&t1, T2 &&t2)
{
    f(t2, t1);
}

我们定义了一个flip2函数，t1和t2分别是右值引用类型。接下来用一个测试函数进行测试

int j = 100;
int i = 99;
flip2(ftemp, j, 42);
cout << "i is " << i << " j is " << j << endl;

这次我们发现j被修改了，因为flip2的t1参数类型为T1的右值引用，当把实参j赋值给flip2时，T1变为int&,

t1的类型就是int& &&，通过折叠t1变为int&类型。这样t1就和实参j绑定了，在flip2内部修改t1，就达到了修改j的目的。

但是flip2同样存在一个问题，如果flip2的第一个参数f，如果f是一个接受右值引用参数的函数，会出现编译错误。

为说明这一点，我们实现一个接纳模板参数右值引用类型的函数

void gtemp(int &&i, int &j)
{
    cout << "i is " << i << " j is " << j << endl;
}

此时如果我们将gtemp作为参数传递给flip2会报错

int j = 100;
int i = 99;
// flip2(gtemp, j, 42) 会报错
// 因为42作为右值纯递给flip2，t2会被折叠为int&类型
// t2传递给gtemp第一个参数时，int&&无法绑定int&类型
//flip2(gtemp, i, 42);
cout << "i is " << i << " j is " << j << endl;

当我们将42传递给flip2第二个参数时，T2被实例化为int类型，t2就变为int && 类型，通过折叠t2变为int&类型。

t2作为参数传递给gtemp的第一个参数时会报错，

cannot bind rvalue reference of type ‘int&&’ to lvalue of type ‘int’

因为t2是一个左值，右值无法绑定该左值。

解决的办法就是实现一个flip函数，内部实现对T2，T1类型的原样转发。

template <typename F, typename T1, typename T2>
void flip(F f, T1 &&t1, T2 &&t2)
{
    f(std::forward<T2>(t2), std::forward<T1>(t1));
}

通过forward将t2类型转化为和T2类型一样的类型，也就是int的右值类型，接下来的调用就不会出问题了

void use_ftemp()
{
    int j = 100;
    int i = 99;
    flip(gtemp, i, 42);
    cout << "i is " << i << " j is " << j << endl;
}

模板的可变参数

模板同样支持可变参数

//可变参数的函数模板
template <typename T>
ostream &print(ostream &os, const T &t)
{
    return os << t; //输出最后一个元素
}
template <typename T, typename... Args>
ostream &print(ostream &os, const T &t, const Args &...rest)
{
    os << t << ", ";
    return print(os, rest...);
}

Args是可变的模板参数包， 然后再用Args定义rest变量，这是一个可变参数列表。

我们的模板函数print内部调用stl的print函数，通过对rest…实现展开操作。

调用过程可按如下的方式

void use_printtemp()
{
    int i = 100;
    string s = "hello zack!!!";
    print(cout, i, s, 42);
}

第一次调用print实际是调用的可变参数的print，之后才调用没有可变参数的print函数。

总结

本文介绍了模板类型的原样转发，以及多模板参数列表的使用。

视频链接

源码链接

到此这篇关于浅析C++模板类型中的原样转发和可变参数有什么意义的文章就介绍到这了,更多相关C++原样转发和可变参数内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们！

赞 (0)

相关推荐

  • C/C++中可变参数的用法详细解析

    可变参数即表示参数个数可以变化,可多可少,也表示参数的类型也可以变化,可以是int,double还可以是char*,类,结构体等等.可变参数是实现printf(),sprintf()等函数的关键之处,也可以用可变参数来对任意数量的数据进行求和,求平均值带来方便(不然就用数组或每种写个重载).在C#中有专门的关键字parame,但在C,C++并没有类似的语法,不过幸好提供这方面的处理函数,本文将重点介绍如何使用这些函数. 第一步 可变参数表示用三个点-来表示,查看printf()函数和scanf(

  • C++可变参数的实现方法

    可变参数的实现要解决三个问题: 1.如何调用带有可变参数的函数2.如何编译有可变参数的程序3.在带有可变参数的函数体中如何持有可变参数第一个问题, 调用时在可以传入可变参数的地方传入可变参数即可,当然,还有一些需要注意的地方,后面会提到. 第二个问题,编译器需要在编译时采用一种宽松的检查方案,,这会带来一些问题, 比如对编程查错不利. 第三个是我在这里要关心的问题,先以C语言为例分析其实现原理. printf和scanf是C语言标准库中最常见的可变参数函数, printf的签名是 复制代码 代码

  • c++11可变参数使用示例

    复制代码 代码如下: #include <iostream>#include <initializer_list>using namespace std;int get_sum(int, initializer_list<int>);int main(int argc, char *argv[]){     cout << get_sum(2, {1,2,3}) << endl;    return 0;} int get_sum(int i,

  • C/C++宏定义的可变参数详细解析

    编写代码的过程中,经常会输出一些调试信息到屏幕上,一般会调用printf这类的函数.但是当调试解决之后,我们需要手工将这些地方删除或者注释掉.最近在看<Linux C编程一站式学习>这本书,就想到一个方法: 复制代码 代码如下: void myprintf(char* fmt, ...){}#ifdef DEBUG#define printf(fmt, args...) myprintf(fmt, ##args)#endif 调试阶段带着DEBUG调试,正式上线就可以把printf变成一个空函

  • C/C++可变参数函数的实现

    一.变长参数函数 头文件:#include <stdarg.h> 函数声明 int add(int count, ...); 函数定义 int add(int count, ...) { va_list va; va_start(va, count); int sum = 0; for (int i = 0; i < count; i++) sum += va_arg(va, int); va_end(va); return sum; } 函数调用 int main() { cout&l

  • C++可变参数函数的实现方法示例

    C++编程中实现可变参数函数有多种途径,本文介绍一种最常见的实现途径,即可变参数宏方法:形参生命为省略符,函数实现时用参数列表宏访问参数. 1. 可变参数宏实现变参函数 可变参数宏实现可分为以下几个步骤: 函数形参原型中给出省略符: 函数实现中声明一个va_list可变参数列表变量: 开始初始化构造va_list变量: 访问变参列表: 完成清理工作: 上述步骤的实现需要使用到四个宏: va_list void va_start(va_list ap, last_arg) type va_arg

  • C/C++可变参数的使用

    可变参数即表示参数个数可以变化,可多可少,也表示参数的类型也可以变化,可以是int,double还可以是char*,类,结构体等等.可变参数是实现printf(),sprintf()等函数的关键之处,也可以用可变参数来对任意数量的数据进行求和,求平均值带来方便(不然就用数组或每种写个重载).在C#中有专门的关键字parame,但在C,C++并没有类似的语法,不过幸好提供这方面的处理函数,本文将重点介绍如何使用这些函数. 第一步 可变参数表示用三个点-来表示,查看printf()函数和scanf(

  • 浅析C/C++中的可变参数与默认参数

    千万要注意,C不支持默认参数 C/C++支持可变参数个数的函数定义,这一点与C/C++语言函数参数调用时入栈顺序有关,首先引用其他网友的一段文字,来描述函数调用,及参数入栈: ------------ 引用开始 ------------ C支持可变参数的函数,这里的意思是C支持函数带有可变数量的参数,最常见的例子就是我们十分熟悉的printf()系列函数.我们还知道在函数调用时参数是自右向左压栈的.如果可变参数函数的一般形式是:    f(p1, p2, p3, -)那么参数进栈(以及出栈)的顺

  • C++可变参数的函数与模板实例分析

    本文实例展示了C++可变参数的函数与模板的实现方法,有助于大家更好的理解可变参数的函数与模板的应用,具体内容如下: 首先,所谓可变参数指的是函数的参数个数可变,参数类型不定的函数.为了编写能处理不同数量实参的函数,C++提供了两种主要的方法:如果所有的实参类型相同,可以传递一个名为initializer_list的标准库类型:如果实参的类型不同,我们可以编写可变参数模板.另外,C++还有一种特殊的省略符形参,可以用它传递可变数量的实参,不过这种一般只用于与C函数交互的接口程序. 一.可变参数函数

  • 浅析C++模板类型中的原样转发和可变参数的实现

    目录 原样转发的意义 模板的可变参数 总结 原样转发的意义 前文我们实现了一个my_move函数,用来模拟stl的move操作,实现去引用的功能.其内部的原理就是通过remove_reference实现去引用操作. 有时我们也需要保留原类型的左值或者右值属性,进行原样转发,此时就要用forward实现转发功能. 我们先定义一个模板函数 template <typename F, typename T1, typename T2> void flip1(F f, T1 t1, T2 t2) {

  • C语言中可变参数的使用方法示例

    前言 在C语言程序编写中我们使用最多的函数一定包括printf以及很多类似的变形体.这个函数包含在C库函数中,定义为 int printf( const char* format, ...); 除了一个格式化字符串之外还可以输入多个可变参量,如: printf("%d",i); printf("%s",s); printf("the number is %d ,string is:%s", i, s); 格式化字符串的判断本章暂且不论,下面分析一

  • Python中的函数参数(位置参数、默认参数、可变参数)

    目录 一.位置参数 二.默认参数 三.可变参数 四.关键字参数 五.命名关键字参数 六.各种参数之间的组合 函数的参数:Python中函数定义非常简单,由于函数参数的存在,使函数变得非常灵活应用广泛:不但使得函数能够处理复杂多变的参数,还能简化函数的调用. Python中的函数参数有如下几种:位置参数.默认参数.可变参数.关键字参数和命名关键字参数 一.位置参数 位置参数(positional arguments)就是其他语言的参数,其他语言没有分参数的种类是因为只有这一种参数, 所有参数都遵循

  • 浅析java中String类型中“==”与“equal”的区别

    一.前言 1.1.首先很多人都知道,String中用"=="比较的是地址,用equals比较的是内容,很多人对此用的是记忆法,通过记忆来加强此的引用,但是其真正的原理其实并不难,当我们真正明白其为什么的时候,用起来也会更加灵活,更加有底气(形容得不太好,朋友别见怪): 二相关知识的准备 类型常量池 运行时常量池 字符串常量池 我们今天讨论的主题是当然是字符串常量池: 为什么在这要把另外两个常量池拿出说一下呢,首先小生我在网上或者cnds上看到很多人在争论字符串常量池是存在与方法区还是堆

  • Thinkphp模板没有解析直接原样输出的解决方法

    Thinkphp模板没有解析直接原样输出的解决方法

    本文实例讲述了Thinkphp模板没有解析直接原样输出的解决方法.分享给大家供大家参考.具体如下: 一.问题: 最近在学习thinkphp模板了,但是发现模板页原样出来了,经过一番艰苦搜索终于找到解决方案. 二.解决方法: 很多人都碰到相同问题,在变量中赋值的字符串中包含的__ROOT__.__PUBLIC__.__APP__,这种字符的, 在模板中display出来的时候都被替换成了真实路径.话说是在写Timi文件管理系统的时候发现的这个问题. 从文件中把源码读出来输出到页面后发现,只要是TP

  • 浅析c与c++中struct的区别

    这里有两种情况下的区别.(1)C的struct与C++的class的区别.(2)C++中的struct和class的区别.在第一种情况下,struct与class有着非常明显的区别.C是一种过程化的语言,struct只是作为一种复杂数据类型定义,struct中只能定义成员变量,不能定义成员函数(在纯粹的C语言中,struct不能定义成员函数,只能定义变量).例如下面的C代码片断: 复制代码 代码如下: struct Point        {                int x; //

  • 深入浅析JSON在java中的使用

    一.javaBean和json的互转 JavaBean类 public class Person { private Integer id; private String name; public Person() { } public Person(Integer id, String name) { this.id = id; this.name = name; } public Integer getId() { return id; } public void setId(Integer

  • 详解C++模板编程中typename用法

    typename的常规用法 typename在C++类模板或者函数模板中经常使用的关键字,此时作用和class相同,只是定义模板参数:在下面的例子中,该函数实现泛型交换数据,即交换两个数据的内容,数据的类型由_Tp决定. template <typename _Tp> inline void swap(_Tp& __a, _Tp& __b) { _Tp __tmp = __a; __a = __b; __b = __tmp; } typename的第二个用法:修饰类型 限定名和

随机推荐