一旦我有移動功能，我是否需要在所有地方添加空測試？

Question

我不太確定這裏要走的路是什麼;如果我有一個帶有指針成員的類和一個將指針成員設置爲nullptr的移動構造函數，並且移動函數是可以將指針成員設置爲0的唯一函數，那麼我是否需要在任何地方都將測試置零：我解引用的成員，因爲該對象可能已被傳遞給移動構造函數？

例如，函數

unisgned size() 
{ 
    return memberpointer->size(); 
} 

將成爲

unisgned size() 
{ 
    if memberpointer == nullptr 
     return 0; 
    return memberpointer->size(); 
} 

否則當然這將給段錯誤如果size()被稱爲移動的對象上。這是否是用戶的錯，或者是我的錯，因爲沒有構建一個空測試？如果用戶不重新初始化之前訪問移動的對象，這可能不是隻要我把在拷貝賦值運算符的空測試發生：

C& operator=(C& src) 
    { 
     if (this != &src) 
     { 
      if (memberpointer == nullptr) 
       init(); 
      *memberpointer = *src.memberpointer; 
     } 
     return *this; 
    } 

把測試空到處會降低性能，這如果用戶知道訪問移動的而不是重新初始化的對象是未定義的行爲，則將是不必要的。 這是怎麼回事？

Answer 1

不，沒有必要進行所有這些測試，比如果您根本沒有移動語義。如果在調用某種初始化函數之前使用對象是非法的，那麼在移動後使用該對象也應該認爲是非法的。你的對象應該處於一個可以正常破壞的狀態，但是沒有其他規則指定應該是什麼狀態。

例如：

Foo foo; 
foo.Init(); // required 
// foo is now allowed to be used 

Foo bar = std::move(foo); 
// No guarantees on whether foo is now initialised or not. 

移動語義並沒有規定什麼狀態的對象移動從後招會英寸它只要求對象處於某種內部一致的狀態。因此，您的移動構造函數或賦值運算符完全有權swap成員（如果它希望的話）...提供該對象的所有其他內部狀態與此一致。也就是說，這是完全沒關係有這種情況：

Foo foo, bar; 
foo.Init(); 
bar.Init(); 
bar = std::move(foo); 
// foo and bar contents now swapped. 
// caveat: you should not use foo again 

但是，你不能指望這。規則是在移動之後，您不應該嘗試再次使用該對象。

Answer 2

C++標準庫通過將移動對象置於「有效但未指定」狀態解決了這個問題：換句話說，您可以對其進行操作，使用它不會導致程序崩潰，但唯一可以預測的是do是寫信給它重新建立一個已知的狀態。

如果您的默認構造函數沒有將指針留空，那麼您的移動構造函數不應該：它應該將move-from對象保留在可以安全地調用成員但不依賴於任何特定值。如果您的默認構造函數將指針留空（null），那麼對於移動構造函數來說顯然也沒有問題。