C++避坑指南-隐式类型转换

隐式类型转换介绍

c++编译时会在不同类型间进行自动转换, 因此使用不同数据类型进行比较、赋值等操作时, 可能不会报错，但可能因为忽略这些隐式类型转换而产生问题，而且不易排查

分场景代码示例

int负数值隐式转换为unsigned int

如下示例代码:

#include <iostream>
using namespace std;

int main(int argc, char* argv[])
{
    int i = -1;
    unsigned int j = 10000;
    if(i < j)
    {
        cout << "i < j" << endl;
    }
    else
    {
        cout << "i >= j" << endl;
    }
    
    return 0;
}

运行结果:

那么int型-1隐式转换为unsigned int的数值时转换成了具体哪个数值呢?

这里涉及到计算机数值存储的补码方式，-1实际转换成了unsigned int的最大值0xffffffff(32bit)

看如下检验代码

#include <iostream>
#include <limits>
using namespace std;

int main(int argc, char* argv[])
{
    int i = -1;
    unsigned int j = std::numeric_limits<unsigned int>::max();
    if(i < j)
    {
        cout << "i < j" << endl;
    }
    else if(i == j)
    {
        cout << "i == j" << endl;
    }
    else
    {
        cout << "i > j" << endl;
    }

    return 0;
}

 运行结果:

 int型隐式转换bool型

能够用来进行条件判断的类型一定是bool型，但如果放一个int型编译器也不会报错，会触发隐式转换

void TestIntToBool()
{
    int ret = -1;
    if(ret)
    {
        cout << "ret = true" << endl;
    }
    else
    {
        cout << "ret = false" << endl;
    }
}

运行结果:

 int型非0值转换为bool全部为true

float隐式转换为bool

void TestFloatToBool()
{
    float i = 0.0001;
    if(i)
    {
        cout << i << " true" << endl;
    }
    else
    {
        cout << i << " false" << endl;
    }
}

运行结果:

 浮点数非0值转bool全部为true

总结

由于编译器较为宽松, 代码中可能在不经意间引入很多隐式转换, 而这些可能在一些特殊情况下产生bug。此类问题不易排查