说到ref() 函数,就必须先提ref() 函数的返回值 reference_wrapper 类类型,reference_wrapper<T> 是个类模板,用来模仿一个类型为T 的对象的引用,使用起来就像是引用一样,不过reference_wrapper<T> 对象是可以拷贝构造和赋值构造的。
template<class Ty>
class reference_wrapper
{
public:
reference_wrapper(Ty& p) : ptr(p) { }//构造函数
Ty& get() const { return *ptr ;} //返回私有成员变量
operator Ty&() const {return *ptr; } //类型转换函数 使reference_wrapper类对象能够隐式的转换为 Ty& 类型的引用, 所以看起来像一个引用
template<class T1, class T2, ..., class TN>
typename result_of<T(T1, T2, ..., TN)>::type
operator()(T1& t1, T2& t2, ..., TN& tN) { (*ptr)(t1, t2, ... ,tN);} //对可调用对象的包装 使包装一个可调用对象时,包装之后的也是可以调用的
private:
Ty *ptr; // exposition only
};
测试代码:
#include <iostream>
#include <functional>
using namespace std;
int main()
{
int i{9};
auto m = ref(i);
cout << typeid(m).name() << endl;
++m;
cout << i << endl;
cin.get();
return 0;
}
m是对i的引用包装,m 可以进行对 i 一样的操作,比如这里的前置 ++ 运算符 , 实际的效果相当于 对 i 进行了 ++ 操作, 即引用语义。
输出结果如下: