本文深入剖析 `fun1()` 与 `fun2()` 行为差异的本质：前者通过函数名重赋值实现单次初始化 + 闭包缓存，后者每次调用均创建全新数组；核心区别在于对象生命周期、作用域绑定及引用共享。
在 JavaScript 中，看似等价的函数写法可能因执行上下文和变量绑定方式的不同，产生截然不同的运行时行为。fun1() 与 fun2() 的对比正是理解函数重定义（function reassignment）、闭包（closure） 和引用语义（reference semantics） 的经典案例。
? 行为差异的本质原因
关键不在“返回什么”，而在于何时创建数组以及该数组被谁持有：
✅ fun1()：
第一次调用时，const arr = [...] 创建一个数组，并立即通过 fun1 = function() { return arr; } 将全局/外层作用域中的 fun1 标识符重新绑定到一个新函数。该新函数形成闭包，永久捕获并持有首次创建的 arr 引用。后续所有 fun1() 调用都执行这个重定义后的函数，始终返回同一数组实例。❌ fun2()：
每次调用都独立执行 const arr = [...]，创建全新的数组对象。函数返回的是该次调用中新建数组的引用，调用之间无任何共享或持久化。
因此，test_fun_1.pop() 修改的是同一个数组对象，而 test_fun_2.pop() 只影响当次返回的临时数组，下一次 fun2() 调用又生成一个原始的 ["a","b","c","d","e"]。
? 代码验证：观察引用一致性
function fun1() {
const arr = ["a", "b", "c", "d", "e"];
fun1 = () => arr; // 重定义：fun1 现在指向闭包函数
return fun1();
}
function fun2() {
return ["a", "b", "c", "d", "e"]; // 每次新建数组
}
console.log(fun1() === fun1()); // true —— 同一对象引用
console.log(fun2() === fun2()); // false —— 不同对象引用⚠️ 注意事项与潜在陷阱
-
作用域层级决定重定义效果：
fun1 = ... 赋值成功，是因为 fun1 在函数声明时被提升为函数作用域外的可写绑定（非严格模式下，函数声明在全局或函数作用域中默认可重赋值）。若在严格模式（"use strict"）中执行，此操作会抛出 TypeError（禁止对函数声明赋值）。立即学习“Java免费学习笔记（深入）”；
不是“懒加载”，而是“单例初始化”：
这种模式常用于实现轻量级单例或初始化缓存（如配置对象、DOM 元素查询），但需注意：它不可逆，且首次调用承担初始化开销。-
避免误用：局部 let/const 不会触发相同行为：
若改为 let fun1 = ... 或 const fun1 = ... 声明，则内部重赋值仅作用于局部变量，不影响外部调用逻辑，行为将退化为 fun2()：function fun3() { const arr = ["a", "b", "c", "d", "e"]; let localFun = () => arr; // 局部变量，不影响外部 fun3 return localFun(); } // fun3() 每次返回新数组？❌ 错！仍返回同一 arr —— 但这是闭包，非重定义 // 正确对比应为：不修改 fun3 标识符本身
✅ 推荐替代方案：显式缓存更安全、可维护
现代 JavaScript 更推荐使用模块级私有变量或 WeakMap 实现可控缓存：
// 方案1：模块级缓存（ES Module）
let _cachedArray = null;
export function fun1() {
if (!_cachedArray) {
_cachedArray = ["a", "b", "c", "d", "e"];
}
return _cachedArray;
}
// 方案2：IIFE 封装（CommonJS 或脚本环境）
const fun1 = (() => {
let cached = null;
return () => {
if (cached === null) cached = ["a", "b", "c", "d", "e"];
return cached;
};
})();这类写法语义清晰、支持严格模式、易于单元测试，且避免了对函数名的“魔法”重赋值。
? 总结
fun1() 的“魔法”并非语法特性，而是 JavaScript 执行模型的自然结果：函数声明提升 + 作用域链闭包 + 可变标识符绑定共同作用下的引用持久化。理解它，有助于你识别性能优化机会（如避免重复计算），也警示你谨慎使用隐式状态——尤其是在需要可预测性与可测试性的工程场景中。真正的技巧，不在于写出最短的代码，而在于让意图清晰、行为可预期。
