ITEM5谨慎定义类型转换函数及单参数构造函数

谨慎定义类型转换函数及单参数构造函数

类型转换的分类

1. 显示类型转换；
2. 隐式类型转换；

隐式转换的实现方式

1. 定义单参数构造函数
2. 定义operator type()函数，如operator double();

隐式类型转换的问题

1. 隐式类型转化是编译器的自发行为，使用方便但往往不可控，一旦出现业务问题极难调查；
2. 隐式转换造成代码晦涩不易维护；

解决方案

原则：尽量少用隐式转换；

1. 定义单参数构造函数时加explicit关键字；
2. 定义转换函数时，函数名不使用语法关键字，如operator asDouble(); 此时类型转换需显式调用。
3. 当想用单参数构造函数在类型实例化时进行类型转换，可以在自定义类中嵌套代理，代理接受基本类型；如下：

Template <class T>
class Array {
public:
class ArraySize { // 这个类是新的
public:
ArraySize(int numElements): theSize(numElements) {}
int size() const { return theSize; }
bool operator==( const Array<int>& lhs, const Array<int>& rhs);
private:
int theSize;
};
Array(int lowBound, int highBound);
Array(ArraySize size); // 注意新的声明
...
};

Array<int> a(10);


Array<int> a(10);
Array<int> b(10);
...
for (int i = 0; i < 10; ++i)
if (a == b[i]) ... // 哎呦! "a" 应该是 "a[i]";编译器无法进行连续隐式转换，报错。

定义a(10)时，编译器会调用Array的构造函数；但无法找到对应的构造函数，就会尝试将int转换成ArraySize；
注：因为编译器无法连续调用两个用户定义的类型转换，所以隐式类型转换被禁止。