C++学习之Numeric overflow due to incorrect type casting

由于不正确的类型转换导致的数字溢出，可能会导致错误的结果。这种错误通过debug并不好追踪。

示例1：

typedef unsigned long long uint64_t;
typedef unsigned int uint32_t;
uint64_t foo(uint32_t x, uint32_t y){
    uint64_t z;
    z = (uint64_t)( x * y );
    z = (uint64_t)( y * 100000U);
    return z;
}

上面的代码中，开发者希望两数相乘的结果占 64 字节，尽管 x 和 y 都是32位的。但如果 x * y 所得结果大于 32 位，再进行强制类型转换就会出现溢出问题。上面的 5/6 两行 code 都会产生 klockwork issue。

fixed code example 1

typedef unsigned long long uint64_t;
typedef unsigned int uint32_t;
uint64_t foo(uint32_t x, uint32_t y){
    uint64_t z;
    z = (uint64_t)( x ) * y;
    z = (uint64_t)( y ) * 100000U;
    return z;
}

第 5 行中先将 x 强制转换为 64 位，然后在与 y 相乘时，y 会先自动转换为 64 位的数字，之后两者相乘即可得一个 64 位数字 z 。第 6 行同理。

示例 2：

typedef unsigned long long uint64_t;
typedef unsigned int uint32_t;
uint32_t get_val();
uint64_t foo(uint32_t x, uint32_t y){
    uint64_t z;
    z = (uint64_t)( y * get_val() );
    return z;
}

fixed code example 2:

typedef unsigned long long uint64_t;
typedef unsigned int uint32_t;
uint32_t get_val();
uint64_t foo(uint32_t x, uint32_t y){
    uint64_t z;
    z = (uint64_t)( y ) * get_val();
    return z;
}