您可以分配给类类型的右值引用吗？ 一个悖论的解释。

分配给类类型的右值引用：已解决的悖论

在 C 领域，左值和右值之间的区别至关重要。左值表示具有可以修改的内存位置的对象，而右值则表示不能修改的临时对象或常量。然而，一个有趣的代码片段引发了关于这个基本分歧的问题：

<code class="cpp">class Y {
public:
    explicit Y(size_t num = 0) {}
};

int main() {
    Y(1) = Y(0); // Here lies the enigma!
    return 0;
}</code>

为什么这段代码可以编译？构造函数返回的右值不是短暂的，因此不适合赋值吗？

理解这个悖论的关键在于 C 中的隐式赋值运算符。当没有为类显式定义赋值运算符时，编译器会合成默认赋值运算符。至关重要的是，这个合成运算符在某些情况下可以适用于右值。

这就是显式关键字发挥作用的地方。在给定的示例中，Y 类没有声明赋值运算符，因此编译器会生成一个。显式关键字可以防止右值的隐式转换，但不会阻止合成赋值运算符应用于右值。

因此，在我们的代码中，合成赋值运算符：

<code class="cpp">Y& Y::operator=(Y const&);</code>

或

<code class="cpp">Y& Y::operator=(Y&);</code>

可以用左侧的右值Y(1)来调用。即使 Y(1) 是右值，这也允许赋值继续进行。

为了防止对临时对象进行赋值，可以使用引用限定符 (&) 显式声明赋值运算符：

<code class="cpp">class Y {
public:
    explicit Y(std::size_t num = 0);
    Y& operator=(Y const&) & = default;
};</code>

在这种情况下，赋值运算符将不会被合成，并且尝试分配给右值将导致编译错误。

以上是您可以分配给类类型的右值引用吗？ 一个悖论的解释。的详细内容。更多信息请关注PHP中文网其他相关文章！