C++11 之 " = delete "

1  預設函數

  設計一個類，沒有成員函數 (member function)，隻有成員資料 (member data)

1.1  特殊成員函數

  C++98 編譯器會為其隐式的産生四個函數：預設構造函數，析構函數；拷貝構造函數，拷貝指派算子

  而 C++11 編譯器，除了産生這四個函數外，還會多産生兩個函數：移動構造函數，移動指派算子

1.2  兩個實作形式

  預設構造函數，是為了初始化類的成員資料，相當于如下形式：

   而拷貝指派算子的實作，則相當于如下形式：

  結尾為何傳回 *this，可以參見另一篇博文 C++ 之 重載指派操作符  中的 “1.1  鍊式指派”

2  禁止預設函數

  作為開發者，如果不想讓使用者使用某個類成員函數，不聲明該函數即可；但對于由編譯器自動産生的特殊成員函數 (special member fucntions)，則是另一種情況。

  例如，設計一個樹葉類，如下所示：

  萊布尼茨說過，“世上沒有兩片完全相同的樹葉” (Es gibt keine zwei Blätter, die gleich bleiben)，是以，對于一片獨一無二的樹葉，下面的操作是錯誤的。

  由以上代碼可知，此時需要避免使用 “拷貝構造函數” 和 “拷貝指派算子”

2.1  私有+不實作

  C++98 中，可聲明這些特殊成員函數為私有型 (private)，且不實作該函數，具體如下：

  程式中如果調用了 LeafFromTree 類的拷貝構造函數 (或拷貝指派操作符)，則在編譯時，會出現連結錯誤 (link-time error)

  為了将報錯提前到編譯時 (compile time)，可增加了一個基類 Uncopyable，并将拷貝構造函數和拷貝指派算子聲明為私有型

  而 LeafFromTree 則私有繼承自 Uncopyable 基類

2.2  delete 關鍵字

  C++11 中比較簡單，隻需在想要 “禁止使用” 的函數聲明後加 “= delete”，需要保留的則加 "= default" 或者不采取操作

3  delete 的擴充

  C++11 中，delete 關鍵字可用于任何函數，不僅僅局限于類成員函數

3.1  函數重載

  在函數重載中，可用 delete 來濾掉一些函數的形參類型，如下：

  這樣在調用 isLucky 函數時，如果參數類型不對，則會出現錯誤提示

3.2  模闆特化

  在模闆特例化中，也可以用 delete 來過濾一些特定的形參類型。

  例如，Widget 類中聲明了一個模闆函數，當進行模闆特化時，要求禁止參數為 void* 的函數調用。

  如果按照 C++98 的 “私有不實作“ 思路，應該是将特例化的函數聲明為私有型，如下所示：

  問題是，模闆特化應該被寫在命名空間域 (namespace scope)，而不是類域 (class scope)，是以，該方法會報錯。

  而在 C++11 中，因為有了 delete 關鍵字，則可以直接在類域外，将特例化的模闆函數聲明為 delete， 如下所示：

  這樣，當程式代碼中，有調用 void* 作形參的 processPointer 函數時，則編譯時就會報錯。

C/C++基本文法學習

STL

C++ primer