为什么C风格强制类型转换在堆内存场景未触发栈变量损坏报错？

报错差异的核心原因 #

两种写法本质都属于未定义行为，报错差异来自VS默认开启的栈运行时检查（/RTC选项）和堆内存检测机制的不同，再加上第二段代码存在指针取值的逻辑疏漏：

1. 栈场景报错的原因 #

VS编译时默认开启/RTCs（栈帧运行时检查）选项，会在栈上分配的局部变量前后插入固定的哨兵字节：

• 定义的char c仅占1字节栈内存，int在绝大多数平台占4字节，通过强制转换后的int指针写入4字节数据时，除了修改c本身的1字节，还会覆盖紧跟在后面的3字节哨兵值。
• 函数返回前运行时会检查哨兵值是否被篡改，一旦发现改动就直接抛出「栈变量周围内存损坏」的报错。

对应代码：

char c{ 10 };
int* i = (int*)&c;
*i = 1; // 越界覆盖3字节栈哨兵，触发运行时检查

2. 堆场景未报错的两个原因 #

2.1 代码存在指针取值错误，本质操作的不是堆内存

第二段代码里int* i = (int*)&c;取的是栈上指针变量c本身的地址，而不是c指向的堆内存地址：

• 指针变量c本身在32位系统占4字节、64位系统占8字节，写入4字节的int值1完全在指针变量的内存范围内，根本不会触发越界，自然不会报错。
• 如果要操作堆内存，正确写法应该是int* i = (int*)c;，去掉取地址符&。

2.2 即使正确操作堆内存也不会立刻报错

堆内存的边界检测和栈的检测时机完全不同：

• 堆块的前后哨兵只会在调用delete释放内存时才会被检查，代码里已经把delete c注释掉了，程序退出前不会触发堆完整性校验，自然不会抛出错误。
• 就算打开delete注释，很多情况下堆越界也不会立刻崩溃，只有当覆盖的内容刚好是堆管理结构的关键数据时，才会在释放或者后续申请堆内存时报错。

注意：两种场景不管有没有报错，都是不符合C++标准的未定义行为，绝对不能在生产代码中出现。C风格强制转换会跳过类型安全检查，非常容易写出这类隐蔽的越界问题，推荐优先使用static_cast/reinterpret_cast等明确语义的转换，方便排查问题。

内容的提问来源于stack exchange，提问作者Original nickname