显-隐式转换问题

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';