2020-11-23 ＜typeinfo＞类型提升

最新推荐文章于 2023-10-22 20:02:08 发布

原创最新推荐文章于 2023-10-22 20:02:08 发布 · 193 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #数据类型

本文探讨了C++中类型提升的规则，特别是涉及无符号整数与负数运算时可能出现的问题。类型提升遵循(char, short)→int→unsigned int→long→double的顺序，其中double级别最高。当负数与无符号整数相加时，结果将是一个无符号整数，可能导致数值溢出。在使用如vector的容器时，需注意size_t（通常为unsigned int）参与的运算，防止因负数引起的不预期行为。文章通过示例代码展示了类型提升和溢出情况，并提到了typeinfo头文件在类型检查中的应用。

继上篇模运算出现的错误，发现自己对类型提升有些误解。似乎类型提升并没有想象中那么“人性化”或者说intuitive。

真正的顺序是（char，short）→int→unsigned int →long → double ←float，也就是说最高级的是double，其中需要注意的是int反而没有unsigned int高级。

也就是说当把一个负数与某无符号整数相加的时候，其结果是一个无符号整数。

所以当碰到一个负数加上无符号，值本身就大于0到没什么（也可能直接overflow了），但是值若小于0就会变成某巨大整数了（也算overflow吧，毕竟underflow特指float）。

出问题的地方不知道会是哪里，一般不是用int就是用longlong，关键是在vector等类似容器中，数组下标返回的是个size_t，这玩意儿是个unsigned int，就比较坑，需要注意其参与所有可能含有负值的运算。

类似旋转数组的时候下标取余可能会碰到，另外设置哨兵时也要注意不能让他越界，要不然编译器可能会报错。

另外发现了非常好用的typeinfo头文件，不过输出有点奇怪
可见
https://blog.youkuaiyun.com/chenyiming_1990/article/details/8979260

测试用代码
输出j代表是 unsigned int

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

int main() {
    int a = -200;
    unsigned b = 130;
    cout << typeid(a%b).name() << endl;
    cout << a%b << endl;
    cout << typeid(b + a).name() << endl;
    cout << b + a << endl;
    return 0;
}