C++ explicit關鍵字詳解
首先, C++中的explicit關鍵字只能用於修飾只有一個引數的類建構函式, 它的作用是表明該建構函式是顯示的, 而非隱式的, 跟它相對應的另一個關鍵字是implicit, 意思是隱藏的,類建構函式預設情況下即宣告為implicit(隱式).
那麼顯示宣告的建構函式和隱式宣告的有什麼區別呢? 我們來看下面的例子:
class CxString // 沒有使用explicit關鍵字的類宣告, 即預設為隱式宣告 { public: char *_pstr; int _size; CxString(int size) { _size = size; // string的預設大小 _pstr = malloc(size + 1); // 分配string的記憶體 memset(_pstr, 0, size + 1); } CxString(const char *p) { int size = strlen(p); _pstr = malloc(size + 1); // 分配string的記憶體 strcpy(_pstr, p); // 複製字串 _size = strlen(_pstr); } // 解構函式這裡不討論, 省略... }; // 下面是呼叫: 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的類宣告, 顯示轉換 { public: char *_pstr; int _size; explicit CxString(int size) { _size = size; // 程式碼同上, 省略... } 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關鍵字在類建構函式引數大於或等於兩個時無效
{
public:
char *_pstr;
int _age;
int _size;
explicit CxString(int age, int size)
{
_age = age;
_size = size;
// 程式碼同上, 省略...
}
CxString(const char *p)
{
// 程式碼同上, 省略...
}
};
// 這個時候有沒有explicit關鍵字都是一樣的 但是, 也有一個例外, 就是當除了第一個引數以外的其他引數都有預設值的時候, explicit關鍵字依然有效, 此時, 當呼叫建構函式時只傳入一個引數, 等效於只有一個引數的類建構函式, 例子如下:
class CxString // 使用關鍵字explicit宣告
{
public:
int _age;
int _size;
explicit CxString(int age, int size = 0)
{
_age = age;
_size = size;
// 程式碼同上, 省略...
}
CxString(const char *p)
{
// 程式碼同上, 省略...
}
};
// 下面是呼叫:
CxString string1(24); // 這樣是OK的
CxString string2 = 10; // 這樣是不行的, 因為explicit關鍵字取消了隱式轉換
CxString string3; // 這樣是不行的, 因為沒有預設建構函式
string1 = 2; // 這樣也是不行的, 因為取消了隱式轉換
string2 = 3; // 這樣也是不行的, 因為取消了隱式轉換
string3 = string1; // 這樣也是不行的, 因為取消了隱式轉換, 除非類實現操作符"="的過載 以上即為C++ explicit關鍵字的詳細介紹.