折叠引用

89 阅读2分钟

开启掘金成长之旅!这是我参与「掘金日新计划 · 12 月更文挑战」的第5天,点击查看活动详情

折叠引用(模板和右值引用)

右值引用的好处,在新代码中,右值引用是值得大力使用的。但是,在使用的时候,有例外情况

了:T&&并不是一定表示右值,比如,如果它绑定的类型是未知的话,既可能是左值,又可能是右值。比如: template void f(T&& param);

f(10); // 10是右值

int x = 10;

f(x); // x是左值

以上这种未定的引用类型(param的类型)称为universal references(统一引用),这种类型必须被初

始化,而它是左值还是右值则取决于它的初始化,如果被左值初始化,那么它就是左值,反之亦然。那么什么时候是左值,什么时候是右值,就需要进行类型推导才知道。由于存在 ``&&这种未定的引用类型,当它作为参数时,有可能被一个左值引用或右值引用的参数初始化,这是经过类型推导的T&&类型,相比右值引用(&&)会发生类型的变化,这种变化就称为引用折叠。

1.所有右值引用折叠到右值引用上仍然是一个右值引用。(A&& &&变成A&&)2.所有的其他引用类型

之间的折叠都将变成左值引用。(A& &变成A&; A& &&变成A&; A&& &变成A&)

就是左值引用会传染,只有纯右值&& && = &&,沾上一个左值引用就变左值引用了

就是左值引用会传染,只有纯右值&& && = &&,沾上一个左值引用就变左值引用了

A& &变成A&

A& &&变成A&

A&& &变成A&

A&& &&变成A&&

解决方法:

其实如果第一次传递右值引用的话是没问题的,如果在这个模板函数中

再次调用了右值引用就会出现折叠引用的问题。因为右值引用之间是无法互相赋值的,因为=右边的虽是一个右值引用,但其实也是一个左值。

现在要解决的问题是如何让一个右值变量再次转换成右值。

第一个解决办法: std::move 修改模板内函数f(std::move(t1),t2);

  1. 第二个解决办法 : std::forward 注意 forward必须显示模板参数,来实例化

还是修改一行代码:f(std::forward(t1),std::forward(t2));