C 中explicit關鍵字作用

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

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

class cxstring  // 沒有使用explicit關鍵字的類宣告, 即預設為隱式宣告  
cxstring(const char *p) 
// 析構函式這裡不討論, 省略... 
}; 
// 下面是呼叫: 
cxstring string1(10); // 這樣是可以的, 直接呼叫第乙個建構函式 
cxstring string2 = 10; // 這樣是可以的, 隱式轉換呼叫第乙個建構函式 
cxstring string3; // 這樣是不行的, 沒有預設建構函式
cxstring string4("aaa"); // 這樣是可以的, 直接呼叫第二個建構函式 
cxstring string5 = "aaa"; // 這樣也是ok的, 隱式轉換呼叫第二個建構函式 
cxstring string6 = 'c'; // 這樣也是ok的, 隱式轉換呼叫第乙個建構函式, 且size等於'c'的ascii碼 
string1 = 2; // 這樣也是ok的, 先隱式轉換為cxstring(int), 再呼叫operator=(const cxstring&)
string2 = "aaa"; // 這樣也是ok的, 先隱式轉換為cxstring(char*), 再呼叫operator=(const cxstring&) 
string4 = 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) //注意這裡沒加explicit
}; 
// 下面是呼叫: 
cxstring string1(10); // 這樣是可以的, 直接呼叫第乙個建構函式 
cxstring string2 = 10; // 這樣是不行的, 第乙個建構函式不能進行隱式轉換
cxstring string3; // 這樣是不行的, 沒有預設建構函式
cxstring string4("aaa"); // 這樣是可以的, 直接呼叫第二個建構函式 
cxstring string5 = "aaa"; // 這樣也是ok的, 隱式轉換呼叫第二個建構函式 
cxstring string6 = 'c'; // 這樣是不行的, 第乙個建構函式不能進行隱式轉換
string1 = 2; // 這樣是不行的, 先隱式轉換為cxstring(int)受阻, 再呼叫operator=(const cxstring&)
string2 = "aaa"; // 這樣也是ok的, 先隱式轉換為cxstring(char*), 再呼叫operator=(const cxstring&)

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

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

class cxstring  // explicit關鍵字在類構造函式引數大於或等於兩個時無效  
cxstring(const char *p) 
}; // 下面是呼叫: 
cxstring string1("aaa", 3); // 這樣是可以的，直接呼叫建構函式
cxstring string2 = ("aaa", 3); // 這樣是不行的, 第乙個建構函式不允許隱式轉換
cxstring string3 = cxstring("aaa", 3); // 這樣也是ok的, 直接呼叫第乙個建構函式
cxstring string4 = "aaa"; // 這樣也是ok的, 隱式轉換為呼叫第二個建構函式

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

class cxstring  // 使用關鍵字explicit宣告  
cxstring(const char *p, int size = 0) 
}; 
// 下面是呼叫: 
cxstring string1(10); // 這樣是可以的 
cxstring string2 = 10; // 這樣是不行的, 因為第乙個建構函式取消了隱式轉換 
cxstring string3 = "aaa"; // 這樣是可以的, 因為第二個建構函式還可以隱式轉換 
string1 = 2; // 這樣是不行的, 先隱式轉換為cxstring(int)受阻, 再呼叫operator=(const cxstring&)
string3 = "bbb"; // 這樣是可以的, 先隱式轉換為cxstring(char*), 再呼叫operator=(const cxstring&)

總結：

explicit關鍵字只需用於類內的單引數建構函式前面。由於無引數的建構函式和多引數的建構函式總是顯示呼叫，這種情況在建構函式前加explicit無意義。

google的c++規範中提到explicit的優點是可以避免不合時宜的型別變換，缺點無。所以google約定所有單引數的建構函式都必須是顯示的，只有極少數情況下拷貝建構函式可以不宣告稱explicit。例如作為其他類的透明包裝器的類。

effective c++中說：被宣告為explicit的建構函式通常比其non-explicit兄弟更受歡迎。因為它們禁止編譯器執行非預期（往往也不被期望）的型別轉換。除非我有乙個好理由允許建構函式被用於隱式型別轉換，否則我會把它宣告為explicit，鼓勵大家遵循相同的政策。

C 中explicit關鍵字作用

C 中explicit關鍵字作用

C 中explicit關鍵字的作用

C 中explicit關鍵字的作用

C 中explicit關鍵字作用

C 中explicit關鍵字作用

C 中explicit關鍵字的作用

C 中explicit關鍵字的作用

相關推薦