std::reference_wrapperv.s。整数&

Question

我正在尝试使用以下代码段 std::reference_wrapper

int a = 42, b = 52;
std::tuple<std::reference_wrapper<int>> t = std::make_tuple(std::ref(a));

std::get<0>(t) = b;
std::cout << "t[0] = " << std::get<0>(t) << ", a = " << a << ", b = " << b
          << std::endl;

输出是 t[0] = 52, a = 42, b = 52，这并不奇怪。

但是，如果我只是用auto代替t，即

int a = 42, b = 52;
auto t = std::make_tuple(std::ref(a));

std::get<0>(t) = b;
std::cout << "t[0] = " << std::get<0>(t) << ", a = " << a << ", b = " << b
          << std::endl;

然后我得到了t[0] = 52, a = 52, b = 52

看起来类型变成了int&。然后我有一些问题：

我以为 std::ref 给了我们 std::reference_wrapper 而不是 &？
我应该如何解释 & 的情况以及为什么它与 std::reference_wrapper 不同。
我还注意到，在 std::reference_wrapper 的情况下，std::get<0>(t) = 52; 不编译。（而在 & 的情况下确实如此）。错误是“调用 class 'std::__1::reference_wrapper' 的私有构造函数”。有人可以更详细地解释一下吗？

谢谢！！

Answer 1

I thought std::ref gives us std::reference_wrapper rather than &?

这不是问题，但你想对了。

How I should explain the case of & and why it is different from std::reference_wrapper.

当 std::reference_wrapper 参数传递给 std::make_tuple 时，生成的元组将具有引用成员而不是引用包装器。

行为上的差异是因为当您分配一个引用时，您修改了被引用的对象，而当您分配一个引用包装器时，您反而重新绑定包装器以引用另一个对象并且不修改被引用的对象。

I also noticed that, in the case of std::reference_wrapper, std::get<0>(t) = 52; does not compile. (While in the case of & it does). the error is "calling a private constructor of class 'std::__1::reference_wrapper'". Could someone explain that in more detail?

std::reference_wrapper 没有针对引用类型的赋值运算符。它只有另一个引用包装器的赋值运算符。 std::reference_wrapper 有一个接受左值但不接受右值的隐式转换构造函数。

这就是为什么您可以分配左值 b，但不能分配纯右值 52 的原因。这是一件好事，因为引用包装器无法延长临时对象的生命周期。

std::reference_wrapperv.s。整数&

std::reference_wrapper v.s. int&

c++

c++11

reference-wrapper