vs2013之ref源码解析



看到很多地方都是用ref,比如thread绑定函数接口及参数，虽然绑定的函数参数需要引用，但是thread的构造函数不知道，
还是会拷贝一份临时变量出来给函数，然后函数使用的是临时变量的引用。无法达到用户真正的需求

今天仔细看了下ref的实现
以vs2013实现ref为例。boost之类的应该也大同小异
先看ref的使用
TestFunction(ref(T));在一些标准库或则dll内部接口无法传入引用的时候可以用这个方法来传递。或则一些模板接口需要参数为T时也可以这样
ref是一个std下的全局函数
template<class _Ty>
reference_wrapper<_Ty> ref(_Ty& _Val) _NOEXCEPT
{ // create reference_wrapper<_Ty> object
    return (reference_wrapper<_Ty>(_Val));
}
返回了reference_wrapper<_Ty>的值，reference_wrapper实际上是一个包装层
再看下去
template<class _Ty>
class reference_wrapper : public _Refwrap_impl<_Ty>
{
    // 这个函数很重要，在传入给TestFunction接口时，会将T转换为T&。如果TestFunction接受的参数是一个模糊的类型(即可以接受T，也可以接受T&)，那么就没有拷贝代价了
    // 但是如果TestFunction不接受引用，那还是会有一份拷贝的，这个是无法避免的
    operator _Ty&() const _NOEXCEPT
    { // return reference
        return (this->_Get());
    }
}
继续继承，看基类
template<class _Ty>
struct _Refwrap_impl
: _Call_wrapper<_Callable_obj<_Ty, true>,
    is_abstract<_Ty>::value>,
    _Refwrap_result2<_Ty, _Has_result_and_2arg_type<_Ty>::type::value>
{
    _Refwrap_impl(_Ty& _Val)
    : _Call_wrapper<_Callable_obj<_Ty, true>,
    is_abstract<_Ty>::value>(_Val)
    { // construct
    }
}
会发现_Call_wrapper里面第一个变量是_Callable_obj<_Ty, true>类型的，而
_Call_wrapper的构造函数中会发现
_Call_wrapper_base由是_Call_wrapper的上一层.
_Call_wrapper_base(_MyTy& _Val)
: _Callee(_Val)
{ // construct
}
_MyCnstTy _Get() const
{ // get
return (_Callee._Get());
}
其实就是把_Callable_obj类型的值保存下来了，所以_Callable_obj这个类型才是最后保存T值的东西，get也是获取_Callable_obj的值，好了重点看_Callable_obj了
template<class _Ty,
bool _Indirect = false>
struct _Callable_obj
: _Callable_base<_Ty, _Indirect>
{
    typedef _Callable_base<_Ty, _Indirect> _Mybase;
    _Callable_obj(_Ty2&& _Val)
    : _Mybase(_STD forward<_Ty2>(_Val))
    { // construct
    }
}
struct _Callable_base<_Ty, true>
{
    // 就是把_Ty的指针取出来然后保存下来
    _Callable_base(_Ty& _Val)
    : _Ptr(_STD addressof(_Val))
    { // construct
    }
    // Get返回的是一个引用。如果函数需要值，那就会把引用来个赋值给值即可
    _Ty& _Get()
    { // return reference to stored object
        return (*_Ptr);
    }
}

private:
_Ty *_Ptr; // 里面实际存储的是一个指针
}

//address是获取T的地址
template<class _Ty> inline
_Ty *addressof(_Ty& _Val) _NOEXCEPT
{ // return address of _Val
return (reinterpret_cast<_Ty *>(
(&const_cast<char&>(
reinterpret_cast<const volatile char&>(_Val)))));
}

相对来说ref是比较简单的，就是类层次比较多，需要找啊找的