真实面经题目 · 原创解析

char arr[20]和char *p = new char[20]的区别?

char arr[20]和char *p = new char[20]的区别?这道腾讯牛客题的关键是围绕“栈数组与堆数组的生命周期和所有权”讲清概念、机制、取舍和边界。char arr[20] 和 char *p = new char[20] 都能表示 20 个 char 的连续空间,但生命周期、存储位置和所有权不同。arr 通常是自动存储期对象,离开作用域自动释放;new char[20] 在自由存储区分配,p 只是指向这块内存的指针,需要 delete[] 释放。

出现于:腾讯 · C/C++

60 秒回答模板

可以这样回答:char arr[20] 和 char *p = new char[20] 都能表示 20 个 char 的连续空间,但生命周期、存储位置和所有权不同。arr 通常是自动存储期对象,离开作用域自动释放;new char[20] 在自由存储区分配,p 只是指向这块内存的指针,需要 delete[] 释放。 arr 的类型是 char[20],在表达式中经常退化为 char*,但它本身不是可重新绑定的指针,sizeof(arr) 得到整个数组大小。p 的类型是 char*,sizeof(p) 得到指针大小,p 可以改指向别处,但原堆内存如果没有保存并 delete[] 就会泄漏。 栈数组分配释放快、局部性好,但大小通常要在编译期或作用域内确定,容量受栈空间限制;堆数组生命周期可跨作用域,适合动态大小或对象所有权转移,但要处理释放、异常安全、泄漏和越界。 不要只说一个在栈上一个在堆上。还要说明数组类型退化、sizeof 差异、delete[] 配对、悬垂指针、拷贝语义和现代 C++ 更推荐 std::array、std::vector 或 std::string 管理内存。 验证时重点看:验证时关注 sizeof 结果、作用域退出、delete[] 是否配对、ASan 泄漏/越界报告和异常路径资源释放。

考点 考点边界
主线 核心机制
易错点 把 arr 当成普通指针,忽略数组类型、作用域生命周期…

深入解析

01

考点边界

这题要围绕数组对象、指针变量、存储期和所有权回答。重点不是背“栈和堆”,而是说明 arr 的数组类型、p 的指针类型、sizeof 差异和 delete[] 责任。 本题对应“栈数组与堆数组的生命周期和所有权”,核心前提是:char arr[20] 和 char *p = new char[20] 都能表示 20 个 char 的连续空间,但生命周期、存储位置和所有权不同。arr 通常是自动存储期对象,离开作用域自动释放;new char[20] 在自由存储区分配,p 只是指向这块内存的指针,需要 delete[] 释放。

02

核心机制

arr 的类型是 char[20],在表达式中经常退化为 char*,但它本身不是可重新绑定的指针,sizeof(arr) 得到整个数组大小。p 的类型是 char*,sizeof(p) 得到指针大小,p 可以改指向别处,但原堆内存如果没有保存并 delete[] 就会泄漏。 关键证据要落到对象生命周期、内存布局、容器复杂度、编译链接证据,这样才能说明机制为什么能支撑题目结论。如果继续展开,要对应到对象生命周期、连续内存或节点结构、拷贝移动、析构时机、迭代器失效和 sanitizer/gdb 证据。

03

关键取舍

栈数组分配释放快、局部性好,但大小通常要在编译期或作用域内确定,容量受栈空间限制;堆数组生命周期可跨作用域,适合动态大小或对象所有权转移,但要处理释放、异常安全、泄漏和越界。 因此要结合对象生命周期、内存布局、异常安全、迭代器失效和 sanitizer 证据判断实现是否可靠。 这些取舍决定了方案在不同输入规模、延迟、内存、并发、泛化或一致性要求下是否仍然成立。

04

边界风险

不要只说一个在栈上一个在堆上。还要说明数组类型退化、sizeof 差异、delete[] 配对、悬垂指针、拷贝语义和现代 C++ 更推荐 std::array、std::vector 或 std::string 管理内存。 排查时优先看 ASan/UBSan、valgrind、gdb、对象地址、拷贝移动路径、析构时机和容器容量变化。 需要特别关注极端输入、数据分布变化、资源不足、并发竞争或观测口径错误带来的退化。修复时要先用工具定位对象或内存块的创建路径,再检查所有权、异常路径、容器扩容和释放时机。

05

验证抓手

工程上可以用编译选项、地址/未定义行为 sanitizer、gdb、valgrind、objdump、nm 和单元测试验证。能把语言机制和可观察的编译链接或运行时行为对应起来,会更有说服力。 针对本题,最有价值的验证信号是:验证时关注 sizeof 结果、作用域退出、delete[] 是否配对、ASan 泄漏/越界报告和异常路径资源释放。把验证抓手说出来,可以让答案从知识点延伸到C++ 运行时行为、构建链路和资源生命周期验证。

易错点

  • 把 arr 当成普通指针,忽略数组类型、作用域生命周期和 sizeof 差异。
  • 只说堆内存手动释放,不强调 delete[] 配对、异常安全和现代容器替代。
  • 把相邻概念混用,没有明确说明这道题真正考察的边界。
  • 没有给出验证方式,导致答案听起来完整但无法判断是否真的生效。

面试官追问

sizeof(arr) 和 sizeof(p) 为什么不同?

arr 的静态类型是 char[20],sizeof(arr) 计算整个数组对象大小;p 的类型是 char*,sizeof(p) 只计算指针本身大小,和它指向的堆数组长度没有直接关系。

为什么 new char[20] 要用 delete[]?

数组 new 和数组 delete 必须配对,运行时需要按数组分配形式释放内存。对对象数组还涉及逐个元素析构;即使 char 没有析构函数,使用 delete 而不是 delete[] 也是未定义行为风险。

“char arr[20]和char *p =”继续追问时最该补哪条边界?

应该围绕“栈数组与堆数组的生命周期和所有权”补适用前提、失败场景和验证证据。先说明哪些条件下这个机制成立,再说明哪些输入规模、并发状态、数据分布或资源限制会让答案需要调整。

“char arr[20]和char *p =”怎样回答才不是只背概念?

看它能否把“栈数组与堆数组的生命周期和所有权”的机制链路、关键取舍和可观测信号连起来。回答时应落到具体状态变化、数据路径、复杂度、指标或排查工具,而不是只复述定义。

“char arr[20]和char *p =”为什么要补生命周期边界?

因为 C++ 允许手动管理资源,也提供 RAII 和智能指针。面试官会关注你是否能避免泄漏、悬垂引用、重复释放、异常路径资源未释放和容器扩容导致的迭代器失效。