C++ 标准允许隐式类型转换,即对特定的类,在特定条件下,某些参数或变量将隐形转换成类对象 ( 创建临时对象 ) .如果这种转换代价很大 ( 调用类的构造函数 ) ,隐式转换将影响性能。
隐式转换的发生条件:函数调用中,当参数类型不匹配,如果隐式转换后能满足类型匹配条件,编译器将启用类型转换。
控制隐式类型转换的两种途径:
1) 减少函数调用的参数不匹配情况:提供签名 ( 函数参数类型 ) 与常见参数类型的精确匹配的重载函数。
2) 限制编译器的启用隐式转换:使用 explicit 限制的构造函数和具名转换函数。
下面的例子将导致隐式类型转换:
1) 未限制的构造函数:
class Widget { // …
Widget( unsigned int widgetizationFactor );
Widget( const char* name, const Widget* other = 0 );
};
2) 转换操作符 ( 定义成 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 - 5; // compiles; undefined behavior
p = s1 + '0'; // compiles; doesn't do what you'd expect
if( s1 == "0" ) { ……} // compiles; doesn't do what you'd expect
合理的解决方案:
By default, write explicit on single-argument constructors:
默认时,为单参数 的构造函数加上 explicit :
class Widget { // …
explicit Widget( unsigned int widgetizationFactor );
explicit Widget( const char* name, const Widget* other = 0 );
};
使用提供的转换具名函数代替转换操作符:
Use named functions that offer conversions instead of conversion operators:
class String { // …
const char* as_char_pointer() const; // in the grand c_str tradition
};