C 關鍵字之explicit與轉換建構函式

首先, c++中的explicit關鍵字只能用於修飾只有乙個引數的類建構函式,它的作用是表明該建構函式是顯示的, 而非隱式的, 跟它相對應的另乙個關鍵字是implicit, 意思是隱藏的,類建構函式預設情況下即宣告為implicit(隱式).

那麼顯示宣告的建構函式和隱式宣告的有什麼區別呢? 我們來看下面的例子:

class cxstring  // 沒有使用explicit關鍵字的類宣告, 即預設為隱式宣告  
cxstring(const char *p)  
// 析構函式這裡不討論, 省略...  
};  
// 下面是呼叫:  
cxstring string1(24);     // 這樣是ok的, 為cxstring預分配24位元組的大小的記憶體  
cxstring string2 = 10;    // 這樣是ok的, 為cxstring預分配10位元組的大小的記憶體  
cxstring string3;         // 這樣是不行的, 因為沒有預設建構函式, 錯誤為: 「cxstring」: 沒有合適的預設建構函式可用  
cxstring string4("aaaa"); // 這樣是ok的  
cxstring string5 = "bbb"; // 這樣也是ok的, 呼叫的是cxstring(const char *p)  
cxstring string6 = 'c';   // 這樣也是ok的, 其實呼叫的是cxstring(int size), 且size等於'c'的ascii碼  
string1 = 2;              // 這樣也是ok的, 為cxstring預分配2位元組的大小的記憶體  
string2 = 3;              // 這樣也是ok的, 為cxstring預分配3位元組的大小的記憶體  
string3 = string1;        // 這樣也是ok的, 至少編譯是沒問題的, 但是如果析構函式裡用free釋放_pstr記憶體指標的時候可能會報錯, 完整的**必須過載運算子"=", 並在其中處理記憶體釋放

上面的**中, 「cxstring string2 = 10;」這句為什麼是可以的呢? 在c++中, 如果的建構函式只有乙個引數時, 那麼在編譯的時候就會有乙個預設的轉換操作:將該建構函式對應資料型別的資料轉換為該類物件. 也就是說「cxstring string2 = 10;」這段**, 編譯器自動將整型轉換為cxstring類物件, 實際上等同於下面的操作:

cxstring string2(10);  
或  cxstring temp(10);  
cxstring string2 = temp;

但是, 上面的**中的_size代表的是字串記憶體分配的大小, 那麼呼叫的第二句「cxstring string2 = 10;」和第六句「cxstring string6 = 『c』;」就顯得不倫不類, 而且容易讓人疑惑. 有什麼辦法阻止這種用法呢? 答案就是使用explicit關鍵字. 我們把上面的**修改一下, 如下:

class cxstring  // 使用關鍵字explicit的類宣告, 顯示轉換  
cxstring(const char *p)  
};  
// 下面是呼叫:  
cxstring string1(24);     // 這樣是ok的  
cxstring string2 = 10;    // 這樣是不行的, 因為explicit關鍵字取消了隱式轉換  
cxstring string3;         // 這樣是不行的, 因為沒有預設建構函式  
cxstring string4("aaaa"); // 這樣是ok的  
cxstring string5 = "bbb"; // 這樣也是ok的, 呼叫的是cxstring(const char *p)  
cxstring string6 = 'c';   // 這樣是不行的, 其實呼叫的是cxstring(int size), 且size等於'c'的ascii碼, 但explicit關鍵字取消了隱式轉換  
string1 = 2;              // 這樣也是不行的, 因為取消了隱式轉換  
string2 = 3;              // 這樣也是不行的, 因為取消了隱式轉換  
string3 = string1;        // 這樣也是不行的, 因為取消了隱式轉換, 除非類實現操作符"="的過載

explicit關鍵字的作用就是防止類建構函式的隱式自動轉換.

上面也已經說過了, explicit關鍵字只對有乙個引數的類建構函式有效, 如果類構造函式引數大於或等於兩個時, 是不會產生隱式轉換的, 所以explicit關鍵字也就無效了.例如:

class cxstring  // explicit關鍵字在類構造函式引數大於或等於兩個時無效  
cxstring(const char *p)  
};  
// 這個時候有沒有explicit關鍵字都是一樣的

但是, 也有乙個例外, 就是當除了第乙個引數以外的其他引數都有預設值的時候, explicit關鍵字依然有效, 此時, 當呼叫建構函式時只傳入乙個引數, 等效於只有乙個引數的類建構函式, 例子如下:

class cxstring  // 使用關鍵字explicit宣告  
cxstring(const char *p)  
};  
// 下面是呼叫:  
cxstring string1(24);     // 這樣是ok的  
cxstring string2 = 10;    // 這樣是不行的, 因為explicit關鍵字取消了隱式轉換  
cxstring string3;         // 這樣是不行的, 因為沒有預設建構函式  
string1 = 2;              // 這樣也是不行的, 因為取消了隱式轉換  
string2 = 3;              // 這樣也是不行的, 因為取消了隱式轉換  
string3 = string1;        // 這樣也是不行的, 因為取消了隱式轉換, 除非類實現操作符"="的過載

在實際**中的東西可不想這種故意造出的例子。

發生隱式轉換，除非有心利用，隱式轉換常常帶來程式邏輯的錯誤，而且這種錯誤一旦發生是很難察覺的。

原則上應該在所有的建構函式前加explicit關鍵字，當你有心利用隱式轉換的時候再去解除explicit，這樣可以大大減少錯誤的發生。

C 關鍵字之explicit與轉換建構函式

C 關鍵字之explicit

C 之「關鍵字explicit」

C 關鍵字之explicit

相關推薦