C语言中的整数安全:溢出、回绕

一、无符号数回绕

无符号数永远不会溢出,只是在无限的循环往复。对于加法、乘法,假装有额外的有效位来承载运算结果,最后再直接截断。

cpp 复制代码
for (uint32 i = n; i >= 0; i--) {
    ... // 死循环
}

加法例子

cpp 复制代码
uint8 sum =  ...;
uint8 i = ...;
if (sum + i > 255) {
    ; // 永远不会进入
}

减法例子

cpp 复制代码
uint8 sum =  ...;
uint8 i = ...;
if (sum - i < 0) {
    ; // 永远不会进入
}

二、溢出

数值0被表示为"正"数

cpp 复制代码
#define abs(n) ((n) < 0 ? -(n) : (n))

三、单边限制不完全

cpp 复制代码
void Func(int len) {
    int a = 0;
    int b = 0;
    int data[20] = {0};
    if (len < 20) {
        a = 1; // 执行
        unsigned int idx = len;
        data[idx] = 7; // 越界
    }
    if (len < 20u) {
        b = 1; // 未执行
    }
    return;
}
相关推荐
田里的水稻2 小时前
C++_队列编码实例,从末端添加对象,同时把头部的对象剔除掉,中的队列长度为设置长度NUM_OBJ
java·c++·算法
Florence232 小时前
计算机组成原理:GPU架构、并行计算、内存层次结构等
c语言
Jayden_Ruan3 小时前
C++逆向输出一个字符串(三)
开发语言·c++·算法
不吃鱼的羊3 小时前
启动文件Startup_vle.c
c语言·开发语言
liulun3 小时前
Skia如何渲染 Lottie 动画
c++·动画
点云SLAM4 小时前
C++ 常见面试题汇总
java·开发语言·c++·算法·面试·内存管理
UnnamedOrange6 小时前
ROS2 配置 linter 的代码格式化工具为 clang-format
c++·cmake
Dobby_056 小时前
【面试题】C++系列(一)
c++·面经
一拳一个呆瓜6 小时前
【MFC】对话框节点属性:Language(语言)
c++·mfc
歪歪1006 小时前
qt creator新手入门以及结合sql server数据库开发
c语言·开发语言·后端·qt·数据库开发