对右值赋值:为什么以及如何?
为什么可以对类类型的返回值(右值)进行赋值?按照惯例,右值被认为是短暂的,缺少内存地址。那么,它们如何用作左手值(左值)呢?
考虑以下令人费解的代码:
class Y { public : explicit Y(size_t num = 0) {} }; int main() { Y(1) = Y(0); // WHAT?!? return 0; }
这段代码编译时没有错误,尽管它可能看起来不合逻辑。要理解其中的原因,我们需要深入研究赋值运算符背后的机制。
综合赋值运算符
当类没有显式定义赋值运算符时,编译器会自动生成一个。合成运算符可以采用以下两种形式之一:
后一种形式值得注意,因为它适用于右值。因此,在上面的示例中,编译器生成一个赋值运算符,它可以接受构造函数 Y(1) 返回的右值。
防止对右值进行赋值
If如果您希望禁止对右值赋值,可以使用引用限定符显式声明赋值运算符。通过这种方式,您可以限制运算符仅接受左值。例如:
class Y { public : explicit Y(std::size_t num = 0); Y& operator=(Y const&) & = default; };
通过使用引用限定符 &,可以确保合成的赋值运算符仅适用于左值。
以上是右值赋值:禁止还是功能?为什么我们可以分配一个返回值?的详细内容。更多信息请关注PHP中文网其他相关文章!