隐式类型转换

隐式类型转换

定义：

C++ 的基本类型中并非是完全的对立，部分数据类型之间是可以进行隐式转换的。隐式转换指的是不需要用户干预，编译器私下进行的类型转换行为。很多时候用户可能都不知道发生了哪些转换。

为何要进行隐式转换：

C++ 面向对象的多态性，就是通过父类的类型实现对子类的封装。通过隐式转换，你可以直接将一个子类的对象使用父类的类型进行返回。…又或者数值和布尔类型的转换，整数和浮点数的转换等。

C++ 隐式转换的原则：

基本数据类型的转换以低精度到高精度，即保证精度不丢失。如：char 到 int，int 到 long。
自定义对象：子类对象可隐式的转换为父类对象。

C++ 隐式转换发生条件：

混合类型的算术运算表达式中；

int a = 3;
double b = 4.5;
double c = a + b;     // a 将被自动转换为 double 类型，再加法。

不同类型的赋值操作中；

int a = true;         // bool 类型转换为 int 类型
int *ptr = null;      // null 被转换为 int * 类型

**函数参数传值；**
```c
void func(double a) {};
func(1);               // 1 被隐式的转换为 double 类型1.0

函数返回值：

double add(int a, int b)
{
    return a + b;      // 运算的结果会被隐式的转换为 double 类型再返回
}

强制类型转换：

double a = 2.0;        // 会损失精度，可能带来潜在的错误
int b = (int)a;

隐式转换的风险：

隐式转换的风险一般存在于自定义的类构造函数中。 按照默认规定，只有一个参数的构造函数也定义了一个隐式转换，将该构造函数对应数据类型的数据转换为该类对象。
如：

class String
{
public:
    String (const char* p);       // 用 C 风格的字符串p作为初始化值
}
...
String s1 = "hello";              // OK 隐式转换，等价于 String s1 = String("hello")

但是有时可能会不需要这种隐式转换，如：
class String
{
public:
    String( int n);               // 本意是预先分配 n 个字节给字符串
    String( const char* p);       // 用 C 风格的字符串 p 作为初始化值
}
...
String s2(10);                    // OK 分配10个字节的空字符串
String s3 = String(10);           // OK 分配10个字节的空字符串

String s4 = 10;                  // 编译通过，也是分配10个字节的空字符串
String s5 = 'a';                 // 编译通过，分配 int('a') 个字节的空字符串
// s4 和 s5 分别把一个 int 型和 char 型，隐式转换成了分配若干字节的空字符串，容易令人误解。

class Test
{
public:
    Test(int a);
    bool isSame(Test other)
    {
        return m_val == other.m_val;
    }
private:
    int m_val;    
}

Test a(10);
if(a.isSame(10));                   // 该语句将返回true

本来用于两个Test对象的比较，对象 a 竟然和 int 类型相等了。这就是由于发生了隐式转换，实际上进行比较的是一个临时的 Test 对象。发生了异常。

禁止隐式转换：explicit

c++ 中的 explicit 关键字只能用于修饰只有一个参数的类构造函数，即作用为：禁止隐式调用类内的单参数构造函数。

1. 该关键字只能用来修饰类内部的构造函数；
2. 禁止隐式调用拷贝构造函数；
3. 禁止类对象之间的隐式转换；

class Test
{
    explicit Test(int a);
}

Test aa(10);                         // OK 
Test aa = 10;                        // 非法，此操作被禁止。加入explicit 可以有效的防止隐式转换的发生，提高程序质量。
Test bb = aa;                        // 非法，取消了隐式转换，除非重载操作符“=”

Google的C++规范中建议使用 explicit 关键字。effective C++ 中说，被声明为 explicit 的构造函数通常比其 non-explicit 兄弟更受欢迎。
【参考文献】
https://www.cnblogs.com/solidblog/p/3381628.html