这里发生了什么？我将结果分配给 C++

Question

你能告诉我这里发生了什么吗？为什么会这样？

std::make_unique<int>(1) = std::make_unique<int>(1);

我以为make_unique 返回了一个右值...

编辑： 你能提供一些关于这种结构的有用例子吗？

Answer 1

我以为 make_unique 的返回值是 r-value...

是的。但是对于像std::unique_ptr<...> 这样的类类型，赋值是对重载成员函数的调用。您可以将右值作为参数传递给函数。更具体地说，在右值上调用成员函数。

---

例如，当您检查std::bitset 时，您会看到它的reference 类型实际上是一个类类型。该类型的赋值运算符被重载。它接受bool，但实际上执行按位操作来操作bitset 的压缩内存中的标志。

---

它适用于unique_ptr 右值，因为它在没有任何引用限定符的情况下被重载（并且为其他类类型隐式生成）。即

unique_ptr& operator=( unique_ptr&& r ) noexcept;

...而不是...

unique_ptr& operator=( unique_ptr&& r ) & noexcept;
// Can only be used on lvalues, no overload for rvalues

这本来是没有什么收获的。而且隐式生成的不太可能只用于左值。很多代码（有些甚至早于 C++11）对右值使用赋值，而没有对运算符进行 ref 限定。所以这会破坏现有的代码库。