我们需要在 C 移动赋值运算符中使用 `if (this != &rhs)` 检查吗？

移动赋值运算符和 if (this != &rhs)

在类的复制赋值运算符中，这是常见的做法检查正在分配的对象是否是调用对象以防止自分配：

Class& Class::operator=(const Class& rhs) {
    if (this != &rhs) {
        // Do the assignment
    }

    return *this;
}

此检查对于防止对象被分配给自身至关重要，这可能会导致意外的行为或错误。然而，对于移动赋值运算符，此检查的必要性是有争议的。

我们是否需要对移动赋值运算符进行相同的检查？

Class& Class::operator=(Class&& rhs) {
    if (this != &rhs) {
        // Do the assignment
    }

    return *this;
}

问题是，在某些情况下，对于移动赋值运算符， == &rhs 是否成立。答案取决于移动赋值运算符的解释。

移动赋值运算符的解释：

移动赋值运算符主要有两种解释：

1. 保留当前值：一些人认为自我移动分配（其中这== &rhs) 应保留对象的当前值。在这种情况下，if (this != &rhs) 检查是必要的，以防止意外的自赋值。
2. 设置为有效状态： 其他人认为自移动赋值运算符不一定要保留当前值，但应该使对象保持有效状态。在这种情况下，if (this != &rhs) 检查并不是绝对必要的。然而，它仍然可以作为一种优化来避免在自分配时执行移动操作。

当前和未来的标准：

C 11标准没有明确要求移动赋值运算符的具体解释。但是，它允许程序员通过实现移动赋值运算符来定义行为。

拟议的 C 20 工作草案包括有关移动赋值的部分，建议自移动赋值不应崩溃，但它没有指定是否应该保留当前值或将对象保留在有效但未指定的值中

结论：

移动赋值运算符中是否需要 if (this != &rhs) 检查是一个解释和具体实现要求的问题。如果希望自移动赋值保留当前值，则需要进行检查。否则作为优化可以省略。

以上是我们需要在 C 移动赋值运算符中使用 `if (this != &rhs)` 检查吗？的详细内容。更多信息请关注PHP中文网其他相关文章！