按照C語言默認規定,只有一個參數的構造函數也定義了一個隱式轉換,將該構造函數對應數據類型的數據轉換為該類對象,如下面所示:
1
2
3
4
5
|
class String { String ( const char * p ); // 用C風格的字符串p作為初始化值 //… } String s1 = "hello" ; //OK 隱式轉換,等價于String s1 = String("hello"); |
但是有的時候可能會不需要這種隱式轉換,如下:
1
2
3
4
5
|
class String { String ( int n ); //本意是預先分配n個字節給字符串 String ( const char * p ); // 用C風格的字符串p作為初始化值 //… } |
下面兩種寫法比較正常:
1
2
|
String s2 ( 10 ); //OK 分配10個字節的空字符串 String s3 = String ( 10 ); //OK 分配10個字節的空字符串 |
下面兩種寫法就比較疑惑了:
1
2
|
String s4 = 10; //編譯通過,也是分配10個字節的空字符串 String s5 = 'a' ; //編譯通過,分配int('a')個字節的空字符串 |
s4 和s5 分別把一個int型和char型,隱式轉換成了分配若干字節的空字符串,容易令人誤解。
為了避免這種錯誤的發生,我們可以聲明顯示的轉換,使用explicit 關鍵字:
1
2
3
4
5
|
class String { explicit String ( int n ); //本意是預先分配n個字節給字符串 String ( const char * p ); // 用C風格的字符串p作為初始化值 //… } |
加上explicit,就抑制了String ( int n )的隱式轉換,
下面兩種寫法仍然正確:
1
2
|
String s2 ( 10 ); //OK 分配10個字節的空字符串 String s3 = String ( 10 ); //OK 分配10個字節的空字符串 |
下面兩種寫法就不允許了:
1
2
|
String s4 = 10; //編譯不通過,不允許隱式的轉換 String s5 = 'a' ; //編譯不通過,不允許隱式的轉換 |
因此,某些時候,explicit 可以有效得防止構造函數的隱式轉換帶來的錯誤或者誤解
explicit只對構造函數起作用,用來抑制隱式轉換。如:
1
2
3
4
|
class A{ A( int a); }; int Function(A a); |
當調用 Function(2) 的時候,2 會隱式轉換為 A 類型。這種情況常常不是程序員想要的結果,所以,要避免之,就可以這樣寫:
1
2
3
4
|
class A { explicit A( int a); }; int Function(A a); |
這樣,當調用Function(2)的時候,編譯器會給出錯誤信息(除非Function有個以int為參數的重載形式),這就避免了在程序員毫不知情的情況下出現錯誤。
總結:explicit只對構造函數起作用,用來抑制隱式轉換。