文章详情

短信预约-IT技能 免费直播动态提醒

请输入下面的图形验证码

提交验证

短信预约提醒成功

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

2022-11-13 14:40

关注

原样转发的意义

前文我们实现了一个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++原样转发和可变参数内容请搜索编程网以前的文章或继续浏览下面的相关文章希望大家以后多多支持编程网!

阅读原文内容投诉

免责声明:

① 本站未注明“稿件来源”的信息均来自网络整理。其文字、图片和音视频稿件的所属权归原作者所有。本站收集整理出于非商业性的教育和科研之目的,并不意味着本站赞同其观点或证实其内容的真实性。仅作为临时的测试数据,供内部测试之用。本站并未授权任何人以任何方式主动获取本站任何信息。

② 本站未注明“稿件来源”的临时测试数据将在测试完成后最终做删除处理。有问题或投稿请发送至: 邮箱/279061341@qq.com QQ/279061341

软考中级精品资料免费领

  • 历年真题答案解析
  • 备考技巧名师总结
  • 高频考点精准押题
  • 2024年上半年信息系统项目管理师第二批次真题及答案解析(完整版)

    难度     813人已做
    查看
  • 【考后总结】2024年5月26日信息系统项目管理师第2批次考情分析

    难度     354人已做
    查看
  • 【考后总结】2024年5月25日信息系统项目管理师第1批次考情分析

    难度     318人已做
    查看
  • 2024年上半年软考高项第一、二批次真题考点汇总(完整版)

    难度     435人已做
    查看
  • 2024年上半年系统架构设计师考试综合知识真题

    难度     224人已做
    查看

相关文章

发现更多好内容

猜你喜欢

AI推送时光机
位置:首页-资讯-后端开发
咦!没有更多了?去看看其它编程学习网 内容吧
首页课程
资料下载
问答资讯