2

据我了解,引用包装器只是引用的包装器,没什么特别的。但是为什么当作为函数参数传递时它被视为函数内部的引用本身(而不是包装器)?

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

void f(int& x){
    cout<<"f on int called"<<endl;
}

void f(reference_wrapper<int>& x){
    cout<<"f on wrapper called"<<endl;
}

int main(){
    int x = 10;
    f(ref(x)); // f on int called, why?

    reference_wrapper<int> z = ref(x);
    f(z); // f on wrapper called, this makes sense though
}

为什么 ref(x) 在函数调用中被视为 x 本身?我遇到这个问题是因为我试图了解在不同线程之间传递数据时 ref() 的使用。我认为 ref() 是必要的,因此任何带有 '&' 的函数参数都不需要重写以避免线程相互干扰。但是为什么线程可以在不使用 x.get() 的情况下将 ref(x) 视为 x 呢?

4

1 回答 1

3
f(ref(x)); // f on int called, why?

因为std::reference_wrapper对存储的引用有一个转换运算符;ref(x)返回一个std::reference_wrapper,它可以被int&隐式转换为。

void f(reference_wrapper<int>& x)对非常量进行左值引用,std::ref按值返回,即它返回的是一个右值,它不能绑定到对非常量的左值引用。然后f(ref(x));调用第一个重载f而不是第二个。如果您将其更改为void f(reference_wrapper<int> x)orvoid f(const reference_wrapper<int>& x)然后它将被调用。

居住

于 2021-12-29T07:56:21.960 回答