JavaScript变量内存管理：设undefined、null还是初始类型值更好？

以下基于现代带JIT优化的JavaScript引擎（V8、SpiderMonkey等）的运行逻辑，从内存占用、执行效率两个维度对比三种初始化方案：

三种方案的核心差异 #

• 选项A：仅声明不赋值（默认undefined）
  变量初始类型为Undefined，JIT无法预判后续赋值的类型，会预留可容纳任意类型的通用槽位（通常为指针大小内存+额外类型标记位）。如果后续首次赋值为其他类型，JIT需要重新修改类型标记，极端情况会触发类型去优化（deopt）。同时undefined语义模糊，容易和「变量未声明、未初始化」的状态混淆，不利于代码维护。

• 选项B：显式赋值为null
null属于Null类型，语义上明确表示「此处预期存储引用类型，当前为空」。内存层面和undefined类似，同样预留通用指针槽位，但JIT可以识别到开发者意图是后续存储引用类型，类型推断成本比undefined更低。如果后续赋值确实为对象类型，几乎不会产生额外开销；如果变量后续不再使用，主动赋值为null也可以提前标记引用可被GC回收，适合临时持有大对象的场景。

• 选项C：提前赋值为最终使用类型的空值（如空数组[]、空字符串''等）
  这是对JIT优化最友好的方案，初始化时就明确了变量的固定类型，JIT会直接为该类型分配对应大小的内存（基础类型直接存储值，无需额外指针开销；引用类型提前匹配对应结构的槽位），后续只要赋值类型不发生变化，不会触发类型去优化，运行效率最高。但该方案有两个明显限制：如果后续实际赋值类型和初始空值类型不一致，反而会触发严重的类型去优化，性能表现比前两个方案更差；如果初始是空对象/空数组，即使后续未被使用也会产生实际的对象内存开销，不适合大概率不会触发赋值的分支场景。

场景化选择建议 #

参考代码场景：

var items = null;

if (performAction) {
   items = getSelectedItems();
   performOtherAction(items);
}

针对该场景的选择逻辑：

1. 如果getSelectedItems()固定返回数组，且performAction判断条件大概率为true：优先选择选项C，初始赋值为var items = []，JIT直接标记变量为数组类型，后续赋值不需要修改类型标记，内存分配效率最高。
2. 如果performAction判断条件大概率为false：选择选项B，赋值为null，避免创建空数组的额外内存开销，同时明确语义是预期存储引用类型。
3. 不建议选择选项A：仅声明不赋值的undefined语义模糊，容易被后续维护人员误以为变量未被使用，且JIT的类型预判效率比null更低。

通用选择原则 #

• 优先选选项C：如果能100%确定变量后续的赋值类型，且变量大概率会被赋值使用，提前赋值对应类型的空值，最大化JIT优化收益。
• 次选选项B：如果变量预期存储引用类型，但大概率不会被赋值，或者无法确定具体的引用类型（比如可能是数组也可能是普通对象），显式赋值为null，明确空语义同时避免不必要的内存开销。
• 尽量不选选项A：仅声明不赋值的undefined仅适合变量后续会立刻赋值的短上下文场景（如let a; if(x) a=1; else a=2，该场景下JIT可直接推断类型，无额外性能损耗），其他场景语义模糊，不利于维护也不利于JIT优化。

内容的提问来源于stack exchange，提问作者1.21 gigawatts