本文采用知识共享署名 4.0 国际许可协议进行许可，转载时请注明原文链接，图片在使用时请保留全部内容，可适当缩放并在引用处附上图片所在的文章链接。
最近遇到一个问题，time_t（__int64）类型与float类型直接相加得到的结果是错误的：
1
2
3
|
time_t curTime = 1563924292;
float timeOffset = 3.56951;
time_t result = curTime + timeOffset; //结果为1563924352，计算错误
|
错误原因涉及算术运算中的隐式转换规则，遂查阅资料整理了相关知识。
c++隐式转换分为以下类型：
- 算数转换：在混合类型的算数表达式中，最宽的数据类型成为目标转换类型。
1
2
3
|
time_t curTime = 1563924292;
float timeOffset = 3.56951;
curTime + timeOffset; //time_t(__int64)类型隐式转换为float类型
|
这就造成一个问题：float 精度最高为7位，运算结果中最后三位已经超出精度范围。所以即使再转换为time_t类型，计算结果后三位也会出问题。解决方法为对float显式转换为int或time_t类型。
1
|
curTime + (int)timeOffset;
|
- 赋值转换：将一种类型赋值给另一种类型，将会转换成被赋值类型。
1
2
|
float a(5.6);
int b = a; //a转换为int类型
|
- 函数形参实参不一致转换：传给函数的实参与函数形参类型不一致，将会把实参转换为形参的类型。
1
2
3
|
double Function(double a);
int b(5);
double c = Function(b); //此处b转换为double类型计算
|
- 函数返回值与返回类型不一致：返回值转换为返回类型。
1
2
3
4
|
double difference(int ival1, int ival2)
{
return ival1 - ival2; //返回值转换为double类型
}
|
- 构造函数隐式转换
按照默认规定，只有一个参数的构造函数也定义了一个隐式转换，将该构造函数对应数据类型的数据转换为该类对象，如下面所示：
1
2
3
4
5
|
class String {
String ( const char* p ); // 用C风格的字符串p作为初始化值
//…
}
String s1 = “hello”; //OK 隐式转换，等价于String s1 = String（“hello”）
|
但是有的时候可能会不需要这种隐式转换，如下：
1
2
3
4
5
|
class String {
String ( int n ); //本意是预先分配n个字节给字符串
String ( const char* p ); // 用C风格的字符串p作为初始化值
//…
}
|
下面两种写法比较正常：
1
2
|
String s2 ( 10 ); //OK 分配10个字节的空字符串
String s3 = String ( 10 ); //OK 分配10个字节的空字符串
|
下面两种写法就比较疑惑了：
1
2
|
String s4 = 10; //编译通过，也是分配10个字节的空字符串
String s5 = ‘a’; //编译通过，分配int（‘a’）个字节的空字符串
|
s4 和s5 分别把一个int型和char型，隐式转换成了分配若干字节的空字符串，容易令人误解。
为了避免这种错误的发生，我们可以声明显示的转换，使用 explicit 关键字：
1
2
3
4
5
|
class String {
explicit String ( int n ); //本意是预先分配n个字节给字符串
String ( const char* p ); // 用C风格的字符串p作为初始化值
//…
}
|
加上 explicit ，就抑制了String ( int n )的隐式转换，
下面两种写法仍然正确：
1
2
|
String s2 ( 10 ); //OK 分配10个字节的空字符串
String s3 = String ( 10 ); //OK 分配10个字节的空字符串
|
下面两种写法就不允许了：
1
2
|
String s4 = 10; //编译不通过，不允许隐式的转换
String s5 = ‘a’; //编译不通过，不允许隐式的转换
|
因此，某些时候， explicit 可以有效得防止构造函数的隐式转换带来的错误或者误解。