C++中為什么要保證拷貝賦值對自我賦值安全

本篇內容介紹了“C++中為什么要保證拷貝賦值對自我賦值安全”的有關知識，在實際案例的操作過程中，不少人都會遇到這樣的困境，接下來就讓小編帶領大家學習一下如何處理這些情況吧！希望大家仔細閱讀，能夠學有所成！

如果x=x改變了x的值，人們會覺得很奇怪，同時也會發生很不好的錯誤。（通常會包含泄露）

標準庫容器處理自我賦值的方式優雅且高效：

std::vector<int> v = {3, 1, 4, 1, 5, 9};
v = v;
// the value of v is still {3, 1, 4, 1, 5, 9}

Note（注意）

產生于正確處理了自我賦值的成員的默認的賦值操作會處理自我賦值問題。

struct Bar {
    vector<pair<int, int>> v;
    map<string, int> m;
    string s;
};

Bar b;
// ...
b = b;   // correct and efficient

Note（注意）

你可以通過明確地對自我賦值進行檢查的方式防止自我賦值，但是通常不使用上述檢查的處理方式（例如使用swap）的方式更快，更優雅。

class Foo {
    string s;
    int i;
public:
    Foo& operator=(const Foo& a);
    // ...
};

Foo& Foo::operator=(const Foo& a)   // OK, but there is a cost
{
    if (this == &a) return *this;
    s = a.s;
    i = a.i;
    return *this;
}

這種做法看起來安全并且高效。但是如果在一百萬次賦值中只發生一次自我賦值的情況下會怎么樣呢？大概有一百萬次多余的檢查（但是由于本質上結果總是一樣的，計算機的分支預測會每次都猜對）。考慮下面的代碼：

Foo& Foo::operator=(const Foo& a)   // simpler, and probably much better
{
    s = a.s;
    i = a.i;
    return *this;
}

std::string對自我賦值安全，int也是。所有的代價都來自（極少）發生的自我賦值。

(簡單)賦值運算符不應該包含以下的檢查：if (this == &a) return *this;

“C++中為什么要保證拷貝賦值對自我賦值安全”的內容就介紹到這里了，感謝大家的閱讀。如果想了解更多行業相關的知識可以關注億速云網站，小編將為大家輸出更多高質量的實用文章！