c++中的未定义行为(UB)有哪些_c++常见Undefined Behavior汇总【安全编程】

未定义行为（UB）是C++标准完全不约束后果的行为，编译器可任意优化或生成错误代码；常见于数组/指针越界、解引用空/野/已释放指针等场景，极易引发安全漏洞。

未定义行为（Undefined Behavior，UB）不是“随机出错”，而是标准完全不管后果——编译器可以优化、忽略、崩溃、静默改值，甚至生成看似正常但实际错得离谱的代码。它是C++中最危险也最容易被忽视的安全隐患，尤其在底层开发、嵌入式、安全敏感场景中，一个UB可能直接导致内存破坏、提权漏洞或逻辑失控。

访问越界：数组、指针、容器

超出合法索引范围读写，是UB最高发的来源之一：

int a[3] = {1,2,3}; a[5] = 42; —— 数组下标越界（即使没崩溃，也不保证安全）
int* p = new int[2]; p[3] = 0; —— new分配后越界写，UB，不触发std::bad_alloc
std::vector v{1,2}; v.at(5); —— at()会抛异常，但v[5]是UB（operator[]不检查）
char buf[10]; strcpy(buf, "hello world"); —— 缓冲区溢出，经典UB，也是栈溢出漏洞根源

解引用空/野/已释放指针

指针失效后继续使用，结果不可预测：

int* p = nullptr; *p = 1; —— 解引用空指针，UB（不是“一定段错误”，优化后可能被整个删掉）
int* p = new int(42); delete p; cout —— 使用已释放内存（dangling pointer），UB
int* p; cout —— 未初始化指针解引用，UB（哪怕只是读，也可能触发陷阱值）
int x = 10; int* p = &x; } /* x析构 */ cout —— 访问已离开作用域的局部对象，UB

有符号整数溢出与未定义运算

无符号整数溢出是定义良好的（自动回绕），但有符号整数溢出是UB：

int x = INT_MAX; x++; —— 有符号加法溢出，UB（编译器可假设它永不发生，进而删除相关分支）
int y = -1; y —— 左移导致符号位变化或溢出，UB（右移负数也是UB）
int a = 1, b = 0; a / b; —— 除零，UB（浮点除零是特殊值，整数除零是纯UB）
int x; cout —— 读取未初始化的非静态局部变量，UB（静态变量会零初始化，但自动存储期变量不会）

违反严格别名规则与类型双关

C++禁止用不兼容类型指针访问同一块内存（防止编译器优化失准）：

float f = 3.14f; int* p = (int*)&f; cout —— C风格强制转换绕过类型系统，UB
union { int i; float f; } u; u.f = 3.14f; cout —— 在C++中（C++17前）读取非最后写入成员是UB；C++17起允许“活跃成员切换”，但仍有严格限制
char buf[sizeof(int)]; int* p = reinterpret_cast(buf); *p = 42; —— 未满足对齐要求或未正确构造对象，UB（需用placement new或std::bit_cast（C++20））

基本上就这些。UB不复杂，但容易忽略；它不总当场报错，却可能在优化后、换平台后、或攻击者精心构造输入时才爆发。用AddressSanitizer（ASan）、UndefinedBehaviorSanitizer（UBSan）、Clang-Tidy和静态分析工具主动捕获，比靠运气更可靠。

# 栈 # c++ # 底层开发 # char # int # 指针 # operator # 空指针 # delete # undefined # 也不 # 浮点 # 它是 # 能在 # 仍有 # 报错 # 它不 # 最容易 # 时才 # 极易

返回目录在线咨询

上一篇：专属代码制作网站有哪些,三国群英传8专属武器代码怎么用？
下一篇：使用云指建站可以添加哪些互动元素？增强用户粘性的方法

您的项目需求