动态内存分配问题与字符VLA:代码运行疑问及正确性排查
问题解答
1. 为什么使用new的代码能正常运行?
这纯粹是碰运气,本质属于未定义行为:
main函数里的n是未初始化的局部变量,值是随机的垃圾值。cuv=new char[n];和ccuv=new char[n];实际上是用这个随机值分配了内存空间。- 刚好这个随机值足够大,能装下你输入的单词,所以没触发内存越界崩溃。但如果输入的单词长度超过这个随机值,程序照样会崩溃或者出现异常行为。
- 另外代码还有严重问题:
gets函数早已被C标准废弃,它不检查输入长度,必然存在缓冲区溢出风险;同时混用了C标准库(stdio.h、string.h)和C++的内存管理语法(new/delete),写法极不规范。
2. 无函数的代码崩溃原因及VLA创建是否正确?
这段代码的VLA(变长数组)创建完全错误,这就是崩溃的核心原因:
- C语言的变长数组要求声明时,数组的大小必须是已初始化的确定值。但代码里
char cuv[n], ccuv[n];声明时,n还是未初始化的局部变量,值是随机垃圾值,用它创建的数组大小完全不可控。 - 如果这个随机值很小,
gets(cuv)输入的单词长度超过数组大小,会直接触发栈内存溢出,破坏程序的栈结构,导致崩溃。后续的strcpy、strcat操作还会基于错误的数组大小继续越界操作,进一步加剧内存破坏。 - 正确的做法是先获取输入单词的长度,再创建VLA(或更安全的用
malloc动态分配内存)。比如先将输入读到临时缓冲区,拿到长度后再分配对应大小的内存空间。
内容的提问来源于stack exchange,提问作者Ion Tudos
相关产品推荐
相关产品推荐

