std::reference_wrapper

• reference_wrapper 將引用包裝成一個對象匿沛，即引用的包裝器；
• reference_wrapper 是一個引用包裹器榛鼎，可以包裹一個指向?qū)ο蠡蛘咧赶蚝瘮?shù)指針的引用逃呼，既可以通過拷貝構(gòu)造，也可以通過賦值構(gòu)造借帘；
• std::reference_wrapper的實(shí)例是一個對象蜘渣，但是會隱式的轉(zhuǎn)換為T&，因此std::reference_wrapper可以作為將把被其包裹類型為參數(shù)的函數(shù)的實(shí)參肺然∧韪祝【太拗口了，上原文：Instances of std::reference_wrapper are objects (they can be copied or stored in containers) but they are implicitly convertible to T&, so that they can be used as arguments with the functions that take the underlying type by reference.】际起。如下面的代碼中拾碌，函數(shù)func的參數(shù)類型為int，而傳遞給func的參數(shù)確是std::reference_wrapper<int>類型的對象街望。這個特性是保證reference_wrapper對象可以作為函數(shù)實(shí)參的關(guān)鍵校翔。

void func(int param){
    std::cout <<  param << std::endl;
}
int a = 3;
std::reference_wrapper<int> ra = a;
func(ra);

• 若reference_wrapper包裹的引用是可以調(diào)用的，則reference_wrapper對象也是可調(diào)用的灾前；
• std::ref 和std::cref 通常用來產(chǎn)生一個reference_wrapper對象防症；
• reference_wrapper 常通過引用傳遞對象給std::bind函數(shù)或者std::thread構(gòu)造函數(shù)。

std::reference_wrapper可能的實(shí)現(xiàn)

template <class T>
class reference_wrapper {
public:
  // types
  typedef T type;
 
  // construct/copy/destroy
  reference_wrapper(T& ref) noexcept : _ptr(std::addressof(ref)) {}//接受使用ref直接構(gòu)造
  reference_wrapper(T&&) = delete;// 說明，不可以傳遞右值
  reference_wrapper(const reference_wrapper&) noexcept = default;//接受使用一個reference_wrapper構(gòu)造
 
  // assignment
  reference_wrapper& operator=(const reference_wrapper& x) noexcept = default;
 
  // access
  operator T& () const noexcept { return *_ptr; }// T&操作符的重載是其可以作為函數(shù)實(shí)參的關(guān)鍵
  T& get() const noexcept { return *_ptr; }
 
  template< class... ArgTypes >
  std::invoke_result_t<T&, ArgTypes...>
    operator() ( ArgTypes&&... args ) const {
    return std::invoke(get(), std::forward<ArgTypes>(args)...);
  }
 
private:
  T* _ptr;
};

std::reference_wrapper使用實(shí)例

#include <iostream>
#include <functional>
using namespace std;

void func(int a, int b)
{
    cout << "a = " << a <<",";
    cout << "b = " << b << endl;
}

void func1(int i)
{
    cout << "i = " << i << endl;
}

int main()
{
    // 包裹函數(shù)指針
    int x=5, y=7;
    std::reference_wrapper<void(int,int)> f0 = func;
    f0(5,7);

    auto f1 = std::ref(func);
    f1(5,7);

    // 和bind結(jié)合使用
    int i = 10;

    auto f2 = std::bind(func1, i);
    auto f3 = std::bind(func1, std::ref(i));

    i = 30;

    f2();
    f3();

    return 0;
}

//a = 5,b = 7
//a = 5,b = 7
//i = 10
//i = 30

參考

• C++ Difference between std::ref(T) and T&?
• std::reference_wrapper
• std::ref, std::cref