我們需要在 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中文網其他相關文章！