[轉] C++ explicit關鍵字詳解
本文轉自tiankong19999
首先, C++中的explicit關鍵字只能用于修飾只有一個參數的類構造函數, 它的作用是表明該構造函數是顯示的, 而非隱式的, 跟它相對應的另一個關鍵字是implicit, 意思是隱藏的,類構造函數默認情況下即聲明為implicit(隱式).
那么顯示聲明的構造函數和隱式聲明的有什么區別呢? 我們來看下面的例子:
1 class CxString // 沒有使用explicit關鍵字的類聲明, 即默認為隱式聲明 2 { 3 public: 4 char *_pstr; 5 int _size; 6 CxString(int size) 7 { 8 _size = size; // string的預設大小 9 _pstr = malloc(size + 1); // 分配string的內存 10 memset(_pstr, 0, size + 1); 11 } 12 CxString(const char *p) 13 { 14 int size = strlen(p); 15 _pstr = malloc(size + 1); // 分配string的內存 16 strcpy(_pstr, p); // 復制字符串 17 _size = strlen(_pstr); 18 } 19 // 析構函數這里不討論, 省略... 20 }; 21 22 // 下面是調用: 23 24 CxString string1(24); // 這樣是OK的, 為CxString預分配24字節的大小的內存 25 CxString string2 = 10; // 這樣是OK的, 為CxString預分配10字節的大小的內存 26 CxString string3; // 這樣是不行的, 因為沒有默認構造函數, 錯誤為: “CxString”: 沒有合適的默認構造函數可用 27 CxString string4("aaaa"); // 這樣是OK的 28 CxString string5 = "bbb"; // 這樣也是OK的, 調用的是CxString(const char *p) 29 CxString string6 = 'c'; // 這樣也是OK的, 其實調用的是CxString(int size), 且size等于'c'的ascii碼 30 string1 = 2; // 這樣也是OK的, 為CxString預分配2字節的大小的內存 31 string2 = 3; // 這樣也是OK的, 為CxString預分配3字節的大小的內存 32 string3 = string1; // 這樣也是OK的, 至少編譯是沒問題的, 但是如果析構函數里用free釋放_pstr內存指針的時候可能會報錯, 完整的代碼必須重載運算符"=", 并在其中處理內存釋放
上面的代碼中, "CxString string2 = 10;" 這句為什么是可以的呢? 在C++中, 如果的構造函數只有一個參數時, 那么在編譯的時候就會有一個缺省的轉換操作:將該構造函數對應數據類型的數據轉換為該類對象. 也就是說 "CxString string2 = 10;" 這段代碼, 編譯器自動將整型轉換為CxString類對象, 實際上等同于下面的操作:
1 CxString string2(10); 2 或 3 CxString temp(10); 4 CxString string2 = temp;
但是, 上面的代碼中的_size代表的是字符串內存分配的大小, 那么調用的第二句 "CxString string2 = 10;" 和第六句 "CxString string6 = 'c';" 就顯得不倫不類, 而且容易讓人疑惑. 有什么辦法阻止這種用法呢? 答案就是使用explicit關鍵字. 我們把上面的代碼修改一下, 如下:
1 class CxString // 使用關鍵字explicit的類聲明, 顯示轉換 2 { 3 public: 4 char *_pstr; 5 int _size; 6 explicit CxString(int size) 7 { 8 _size = size; 9 // 代碼同上, 省略... 10 } 11 CxString(const char *p) 12 { 13 // 代碼同上, 省略... 14 } 15 }; 16 17 // 下面是調用: 18 19 CxString string1(24); // 這樣是OK的 20 CxString string2 = 10; // 這樣是不行的, 因為explicit關鍵字取消了隱式轉換 21 CxString string3; // 這樣是不行的, 因為沒有默認構造函數 22 CxString string4("aaaa"); // 這樣是OK的 23 CxString string5 = "bbb"; // 這樣也是OK的, 調用的是CxString(const char *p) 24 CxString string6 = 'c'; // 這樣是不行的, 其實調用的是CxString(int size), 且size等于'c'的ascii碼, 但explicit關鍵字取消了隱式轉換 25 string1 = 2; // 這樣也是不行的, 因為取消了隱式轉換 26 string2 = 3; // 這樣也是不行的, 因為取消了隱式轉換 27 string3 = string1; // 這樣也是不行的, 因為取消了隱式轉換, 除非類實現操作符"="的重載
explicit關鍵字的作用就是防止類構造函數的隱式自動轉換.
上面也已經說過了, explicit關鍵字只對有一個參數的類構造函數有效, 如果類構造函數參數大于或等于兩個時, 是不會產生隱式轉換的, 所以explicit關鍵字也就無效了. 例如:
1 class CxString // explicit關鍵字在類構造函數參數大于或等于兩個時無效 2 { 3 public: 4 char *_pstr; 5 int _age; 6 int _size; 7 explicit CxString(int age, int size) 8 { 9 _age = age; 10 _size = size; 11 // 代碼同上, 省略... 12 } 13 CxString(const char *p) 14 { 15 // 代碼同上, 省略... 16 } 17 }; 18 19 // 這個時候有沒有explicit關鍵字都是一樣的
但是, 也有一個例外, 就是當除了第一個參數以外的其他參數都有默認值的時候, explicit關鍵字依然有效, 此時, 當調用構造函數時只傳入一個參數, 等效于只有一個參數的類構造函數, 例子如下:
1 class CxString // 使用關鍵字explicit聲明 2 { 3 public: 4 int _age; 5 int _size; 6 explicit CxString(int age, int size = 0) 7 { 8 _age = age; 9 _size = size; 10 // 代碼同上, 省略... 11 } 12 CxString(const char *p) 13 { 14 // 代碼同上, 省略... 15 } 16 }; 17 18 // 下面是調用: 19 20 CxString string1(24); // 這樣是OK的 21 CxString string2 = 10; // 這樣是不行的, 因為explicit關鍵字取消了隱式轉換 22 CxString string3; // 這樣是不行的, 因為沒有默認構造函數 23 string1 = 2; // 這樣也是不行的, 因為取消了隱式轉換 24 string2 = 3; // 這樣也是不行的, 因為取消了隱式轉換 25 string3 = string1; // 這樣也是不行的, 因為取消了隱式轉換, 除非類實現操作符"="的重載
浙公網安備 33010602011771號