本文深入解析为何在函数体内重新赋值自身函数名会改变行为：`fun1` 通过首次调用完成“自我升级”，利用闭包持久化内部数组；而 `fun2` 每次调用都新建数组，二者本质差异在于状态是否共享。
在 JavaScript 中，看似冗余的“函数自重定义”（如 fun1 = function() { ... }）并非无意义的代码噪音，而是一种经典的状态缓存模式——常被称为 “惰性初始化”（Lazy Initialization） 或 “函数自替换”（Function Self-Overwriting）。它巧妙结合了变量提升、作用域链与闭包特性，实现单例式数据复用。
核心机制：一次初始化，永久复用
观察 fun1 的执行流程：
function fun1() {
const arr = ["a", "b", "c", "d", "e"];
fun1 = function() { // ⚠️ 关键：重赋值全局 fun1 标识符
return arr;
};
return fun1(); // 此时 fun1 已被覆盖，调用的是新函数
}- 首次调用：创建新数组 arr，然后将全局变量 fun1 重新绑定为一个闭包函数（该函数引用着本次创建的 arr），最后返回 arr。
- 后续调用：fun1 已不再是原始函数，而是那个闭包函数；它不再创建新数组，而是直接返回同一个 arr 引用。
这意味着：fun1() 总是返回对同一数组实例的引用——修改它（如 .pop()）会影响下次调用的结果。
对比 fun2：纯函数式，无状态共享
function fun2() {
const arr = ["a", "b", "c", "d", "e"]; // ✅ 每次调用都新建数组
return arr; // 返回新数组的引用
}fun2 是典型的纯函数（无副作用、无外部依赖）。每次执行都独立创建新数组，返回的是全新引用。因此对 test_fun_2 的修改不会影响下一次调用结果。
立即学习“Java免费学习笔记（深入）”；
验证差异：引用 vs 副本
以下代码清晰揭示本质：
// fun1：返回同一引用 let a1 = fun1(); // ["a","b","c","d","e"] let a2 = fun1(); // ["a","b","c","d","e"] ← 同一数组！ console.log(a1 === a2); // true // fun2：返回不同引用 let b1 = fun2(); // ["a","b","c","d","e"] let b2 = fun2(); // ["a","b","c","d","e"] console.log(b1 === b2); // false ← 不同数组实例
? 注意：JavaScript 中数组是引用类型，=== 比较的是内存地址而非内容。true 表明 a1 和 a2 指向同一对象。
实际应用场景与注意事项
这种模式常见于：
- 模块初始化（如 DOM 元素缓存、配置一次性加载）
- 性能敏感场景（避免重复计算或资源分配）
- 兼容性检测（运行时探测后固化逻辑）
⚠️ 使用须知：
- 非线程安全：若函数可能被多处并发调用（尤其在异步/事件驱动中），需确保首次调用原子性；
- 调试困难：函数体在运行时改变，开发者工具中看到的“源码”与实际执行逻辑不一致；
- ES6+ 模块限制：在严格模式或模块作用域中，对 const 声明的函数名重新赋值会抛出 TypeError（但本例中 fun1 是函数声明，在非严格全局/函数作用域中允许重绑定）；
- 替代方案更推荐：现代开发中，优先使用 let/const + 惰性初始化变量，语义更清晰：
let cachedArr;
function fun1Optimized() {
if (!cachedArr) {
cachedArr = ["a", "b", "c", "d", "e"];
}
return cachedArr;
}总结
fun1 与 fun2 的行为差异，根源不在语法糖，而在执行时的数据生命周期管理策略：
✅ fun1 利用函数自重定义 + 闭包，实现“首次计算、永久复用”的状态缓存；
✅ fun2 遵循函数式原则，保证每次调用的隔离性与可预测性。
选择哪种方式，取决于你的需求：需要共享状态与性能优化？选前者；强调可测试性、可维护性与无副作用？后者更稳妥。理解这一机制，是掌握 JavaScript 执行模型与高级模式的关键一步。
