隐式类型转换与转换操作符operatorT

隐式类型转换与转换操作符operatorT

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

隐式转换的发生条件：函数调用中，当参数类型不匹配，如果隐式转换后能满足类型匹配条件，编译器将启用类型转换。

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

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

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

 

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

1) 未限制的构造函数：

class Widget { // …

 Widget( unsigned intwidgetizationFactor );

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

 

合理的解决方案：

By default, write explicit on single-argument constructors:

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

class Widget { // …

 explicit Widget( unsigned intwidgetizationFactor );

 explicit Widget( const char*name, const Widget* other = 0 );

};

 

使用提供的转换具名函数代替转换操作符：

Use named functions that offer conversions instead of conversionoperators:

class String { // …

 const char* as_char_pointer()const;       // in the grand c_strtradition

};