顯-隱式轉換問題

C++雖然是強型別語言，但是卻還不如Java、C#那麼足夠的強型別，原因是允許的隱式轉換太多

從C語言繼承下來的基本類型之間的隱式轉換
T*指標到void*的隱式轉換
non-explicit constructor 接受一個參數的隱式轉換
從子類到基類的隱式轉換(安全）
從const到non-const的同類型的隱式轉換(安全)
除開上面的五種隱式轉換外，C++的編譯器還非常聰明，當沒法直接隱式轉換的時候，它會嘗試間接的方式隱式轉換，這使得有時候的隱式轉換非常的微妙，一個誤用會被編譯器接受而會出現意想不到的結果。例如假設類A有一個non-explicit constructor，唯一的參數是類B，而類B也有一個non-explicit constructor接受類型C，那麼當試圖用類型C的執行個體初始化類A的時候，編譯器發現沒有直接從類型C構造的過程，但是呢，由於類B可以被接受，而類型C又可以向類型B隱式轉換，因此從C->B->A的路就通暢了。這樣的隱式轉換多數時候沒什麼大礙，但是不是我們想要的，因為它可能造成一些微妙的bug而難以捕捉。

 

C++中的顯式建構函式2007-04-16 10:52以兩個C++的小例子來說明怎樣通過使用顯式建構函式來防止隱式轉換。

     有如下一個簡單的複數類：

class ClxComplex
{
public:
     ClxComplex(double dReal = 0.0, double dImage = 0.0) { m_dReal = dReal; dImage = dImage; }

    double GetReal() const { return m_dReal; }
    double GetImage() const { return m_dImage; }

private:
    double m_dReal;
    double m_dImage;
};
     我們知道，下面的3行代碼是等價的：

ClxComplex lxTest = 2.0;
ClxComplex lxTest = ClxComplex(2.0);
ClxComplex lxTest = ClxComplex(2.0, 0.0);
     其實，對於前兩行來說，編譯器都是把它們轉換成第3行的代碼來實現的。因為我們寫了建構函式，編譯器就按照我們的建構函式來進行隱式轉換，直接把一個double數值隱式轉換成了一個ClxComplex的對象。可是，有些時候，我們不希望進行隱式轉換，或者隱式轉換會造成錯誤。比如下面的一個簡化的字串類：

class ClxString
{
public:
     ClxString(int iLength);
     ClxString(const char *pString);
    ~ClxString();

private:
    char *m_pString;
};

ClxString::ClxString(int iLength)
{
    if (iLength > 0)
         m_pString = new char[iLength];
}

ClxString::ClxString(const char *pString)
{
     m_pString = new char[strlen(pString)];
     strcpy(m_pString, pString);
}

ClxString::~ClxString()
{
    if (m_pString != NULL)
         delete m_pString;
}
     我們可以用字串的長度來初始化一個ClxString的對象，但是我們卻不希望看到下面的代碼：

ClxString lxTest = 13;  // 等同於ClxString lxTest = ClxString(13);
     這會給閱讀代碼造成不必要的歧義。
     還有，我們知道下面的代碼是用字串A來初始化一個ClxString的對象：

ClxString lxTest = "A";  // 等同於ClxString lxTest = ClxString("A");
     可是，如果有人寫成：

ClxString lxTest = 'A';  // 等同於ClxString lxTest = ClxString(65);
     那上面的代碼就會初始化一個長度為65（字母A的ASCII碼值，在C和C++中，字元是以ASCII值儲存的）的字串。
     當然，上面的情況都不是我們希望看到的。在這個時候我們就要用到顯示建構函式了。
     將建構函式聲明成explicit就可以防止隱式轉換。
     下面是使用顯示建構函式的ClxString：

class ClxString
{
public:
    explicit ClxString(int iLength);
     ClxString(const char *pString);
    ~ClxString();

private:
    char *m_pString;
};
     在這種情況下，要想用字串的長度來初始化一個ClxString對象，那就必須顯示的調用建構函式：

ClxString lxTest = ClxString(13);
     而下面這些代碼將不能通過編譯。

ClxString lxTest = 13;
ClxString lxTest = 'A';