C++ explicit關鍵字 詳解（用於構造函數）

【出處】http://blog.csdn.net/chollima/article/details/3486230

在C++程序中很少有人去使用explicit關鍵字，不可否認，在平時的實踐中確實很少能用的上。再說C++的功能強大，往往一個問題可以利用好幾種C++特性去解決。但稍微留心一下就會發現現有的MFC庫或者C++標準庫中的相關類聲明中explicit出現的頻率是很高的。瞭解explicit關鍵字的功能及其使用對於我們閱讀使用庫是很有幫助的，而且在編寫自己的代碼時也可以嘗試使用。既然C++語言提供這種特性，我想在有些時候這種特性將會非常有用。

按默認規定，只用傳一個參數的構造函數也定義了一個隱式轉換。舉個例子：

（下面這個CExample沒有什麼實際的意義，主要是用來說明問題）

//Example.h
#pragma once
class CExample
{
public:
    CExample(void);
public:
    ~CExample(void);
public:
    int m_iFirst;
    int m_iSecond;
public:
    CExample(int iFirst, int iSecond = 4);
};

//Example.cpp
#include "StdAfx.h"
#include "Example.h"
CExample::CExample(void)
    : m_iFirst(0)
{
}
CExample::~CExample(void)
{
}
CExample::CExample(int iFirst, int iSecond):m_iFirst(iFirst), m_iSecond(iSecond)
{
}

//TestExplicitKey.cpp
...//其它頭文件
#include "Example.h"
int _tmain(int argc, _TCHAR* argv[])
{
    CExample objOne; //調用沒有參數的構造函數
    CExample objTwo(12, 12); //調用有兩個參數的構造函數
    CExample objThree(12); //同上，可以傳一個參數是因爲該構造函數的第二個參數有默認值
    CExample objFour = 12; //執行了隱式轉換,等價於CExample temp(12);objFour(temp);注意這個地方調用了
    //編譯器爲我們提供的默認複製構造函數
    return 0;
}

如果在構造函數聲明中加入關鍵字explicit，如下

explicit CExample(int iFirst, int iSecond = 4);

那麼CExample objFour = 12; 這條語句將不能通過編譯。在vs05下的編譯錯誤提示如下

error C2440: 'initializing' : cannot convert from 'int' to 'CExample'

        Constructor for class 'CExample' is declared 'explicit'

對於某些類型，這一情況非常理想。但在大部分情況中，隱式轉換卻容易導致錯誤（不是語法錯誤，編譯器不會報錯）。隱式轉換總是在我們沒有察覺的情況下悄悄發生，除非有心所爲，隱式轉換常常是我們所不希望發生的。通過將構造函數聲明爲explicit（顯式）的方式可以抑制隱式轉換。也就是說，explicit構造函數必須顯式調用。

引用一下Bjarne Stroustrup的例子:

class String{
      explicit String(int n);
      String(const char *p);
};
String s1 = 'a'; //錯誤：不能做隱式char->String轉換
String s2(10);   //可以：調用explicit String(int n);
String s3 = String(10);//可以：調用explicit String(int n);再調用默認的複製構造函數
String s4 = "Brian"; //可以：隱式轉換調用String(const char *p);再調用默認的複製構造函數
String s5("Fawlty"); //可以：正常調用String(const char *p);
void f(String);
String g()
{
    f(10); //錯誤：不能做隱式int->String轉換
    f("Arthur"); //可以：隱式轉換，等價於f(String("Arthur"));
    return 10; //同上
}

在實際代碼中的東西可不像這種故意造出的例子。

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

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