模板编程之转发引用(forwarding reference)

最新推荐文章于 2024-05-12 20:54:02 发布

drift_

最新推荐文章于 2024-05-12 20:54:02 发布

阅读量700

点赞数 1

本文链接：https://blog.youkuaiyun.com/drift_/article/details/115904613

版权

本文探讨了模板编程中万能引用的概念，即模板参数(T&&)能够匹配左值和右值的特点，并通过实例展示了如何利用这一特性实现完美转发。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

大意就是，在模板编程时，模板参数(T&&)既能匹配左值又能匹配右值，以前也叫做万能引用(universal reference)。

这个规则应该只适用于模板函数，也就是在发生类型推导(type deduction)的时候会按这个规则来，普通函数不行的，例如下面的就不行

void f(int &&i);
int main(){
    int a=0;
    f(a);    //会报错，说左值不能绑定到右值
    return 0;
}

用法如下

template <typename T>  
void f(T && t);

就目前所知，就是只要是模板函数，不管三七二十一，上（T&&）就行了。

关于这个主题，以及引用折叠、完美转发更详细的知识这里有：https://blog.youkuaiyun.com/theonegis/article/details/86568427

其中，关于完美转发的例子很好，代码如下

#include <iostream>

using std::cout;
using std::endl;

template<typename T>
void func(T& param) {
	cout << "传入的是左值" << endl;
}
template<typename T>
void func(T&& param) {
	cout << "传入的是右值" << endl;
}


template<typename T>
void wrap(T&& param) {
	func(param);
}


int main() {
	int num = 2019;
	wrap(num);
	wrap(2019);
	return 0;
}

但是他的解释我有点懵，我的理解是，wrap(2019)传了右值给void wrap(T&& param)，此时param是一个右值。但是在void wrap(T&& param)内部调用一个具名的右值param时，此右值就会被当作左值处理