函数表达式和箭头函数均作为函数对象存储在堆中，变量名存于栈中并指向堆地址；二者均不提升，运行时创建，区别在于this绑定、arguments及构造函数能力等行为特性。

函数表达式和箭头函数在内存中**都属于函数对象，存储在堆中；变量名（如 `const fn = ...`）存于栈中，指向堆里的函数对象**。它们不被提升，必须先定义后使用，但底层存储结构一致，关键区别在于创建时机、this 绑定和语法特性。

都是运行时创建，不提升

函数表达式（const fn = function() {}）和箭头函数（const fn = () => {}）本质都是“赋值语句”，右侧的函数体在执行到该行代码时才被创建为函数对象，并分配在堆内存中。

• 变量声明（const fn）会被提升，但初始化（即函数对象的创建和赋值）不会
• 访问未赋值前的变量会报错（ReferenceError for let/const）或返回 undefined（var）
• 函数对象本身只在赋值那一刻才生成，不是编译阶段就存在

堆中只存一份函数对象，栈中存引用

无论函数表达式还是箭头函数，JavaScript 引擎都会在堆内存中为它分配一块空间，存放函数代码、闭包环境、name 属性等元信息；而你在代码里写的变量名（如 fn），只是栈内存中的一个引用，指向这个堆地址。

小绿鲸

小绿鲸是一款AI论文写作工具，AI英文文献阅读工具。

下载

• 修改变量值（如 fn = null）只是切断栈中引用，不影响堆中函数对象本身
• 只要还有其他变量或闭包引用着它，函数对象就不会被垃圾回收
• 命名函数表达式（const f = function named() {}）的 named 不是额外绑定，只是函数对象自身的 name 属性，不影响内存布局

箭头函数的特殊性不在存储，而在行为

箭头函数和普通函数表达式在内存分配和引用机制上完全一致，差异体现在运行时行为：

• 没有自己的 this，而是继承外层词法作用域的 this
• 没有 arguments 对象，也不具备 prototype 和 super
• 不能用作构造函数（调用会报错），因此不会参与 new 操作的内存初始化流程
• 更轻量——省略了部分内部属性，但对堆内存占用影响微乎其微

数组和函数共享同一套内存模型

和数组一样，函数也是引用类型：数组元素存堆中，函数代码也存堆中；栈里只放“指针”。这意味着：

• 把函数赋给多个变量（const a = fn; const b = fn;），它们共用同一个堆地址
• 传递函数作为参数，传的是引用，不是拷贝
• 函数内部形成的闭包，会把外层变量保留在堆中，直到该函数不再被引用