C++的隐式类型转换与转换操作符

C++标准允许隐式类型转换，即对特定的类，在特定条件下，某些参数或变量将隐形转换成类对象(创建临时对象)。如果这种转换代价很大(调用类的构造函数)，隐式转换将影响性能。隐式转换的发生条件：函数调用中，参数类型不匹配，如果隐式转换后能满足类型匹配条件，编译器将启用类型转换。

　　控制隐式类型转换的两种途径：

1) 减少函数调用的参数不匹配情况：提供签名(函数参数类型)与常见参数类型的精确匹配的重载函数。

2) 限制编译器的启用隐式转换：使用explicit限制的构造函数和具名转换函数。

下面的例子将导致隐式类型转换：

1) 未限制的构造函数：

class Widget { // …
    Widget( unsigned int factor );
    Widget( const char* name,const Widget* other =  );
};

2) 转换操作符(conversion operators, 定义成operator T()，其中T为C++类型)

class String {
public:
    operator const char*();  //在需要情况下，String 对象可以转成const char*指针。
};

上面的定义将使很多愚蠢的表达式通过编译(编译器启用了隐式转换)。

Assume s1, s2 are Strings:

int x = s1 - s2;              // compiles; undefined behavior
const char* p = s1 - ;   // compiles; undefined behavior
p = s1 + '';                  //compiles; doesn't do what you'd expect
if( s1 == "" ) { ...}        // compiles; doesn't do what you'dexpect

合理的解决方案：

1） 默认时，为单参数的构造函数加上explicit：

class Widget { // …
     explicit Widget( unsigned int factor );
     explicit Widget( const char*name, const Widget* other =  );
};

2）使用提供的转换具名函数代替转换操作符(conversion operators)：

class String { // …
public:
    const char* as_char_pointer()const;       // in the grand c_strtradition
};