std::reference_wrapper 与整数&

Question

我正在尝试使用以下 sn-p 的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&。然后我有一些问题：

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

谢谢！！

Answer 1

1. 我认为 std::ref 给了我们 std::reference_wrapper 而不是 &？

这不是问题，但你想的没错。

1. 我应该如何解释 & 的情况以及为什么它与 std::reference_wrapper 不同。

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

行为上的区别在于，当您分配引用时，您修改了引用的对象，而当您分配引用包装器时，您重新绑定包装器以引用另一个对象，而不是修改引用的对象。

我还注意到，对于 std::reference_wrapper，std::get(t) = 52;不编译。 （而在 & 的情况下确实如此）。错误是“调用类 'std::__1::reference_wrapper' 的私有构造函数”。有人可以更详细地解释一下吗？

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

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