函数声明、函数表达式、箭头函数的本质区别在于创建时的绑定时机：函数声明预编译期提升并固化作用域链；函数表达式运行时构造，作用域链依附当前上下文；箭头函数无独立上下文，创建时即静态继承外层this与词法环境。
执行上下文栈视角下的函数创建本质
函数创建阶段的本质差异，不在于“写法”，而在于它们在进入执行上下文栈（Execution Context Stack, ECS）前的**绑定时机、作用域链构建方式和this绑定逻辑**。这三种形式——函数声明（Function Declaration）、函数表达式（Function Expression）、箭头函数（Arrow Function）——在创建时就已决定其后续在调用栈中的行为模式。
函数声明：预编译期绑定，独立上下文入口
函数声明在代码解析阶段（即预编译）就被提升（hoisted）并**立即初始化为可执行对象**，拥有自己的词法环境（LexicalEnvironment）和变量环境（VariableEnvironment）。它在进入执行上下文栈前，已具备完整的闭包结构与独立的作用域链根节点。
- 每次调用都会压入一个全新执行上下文，但其[[Environment]]指向定义时的外层词法环境，与调用位置无关
- this默认绑定到调用时的宿主对象（非严格模式下为global/window，严格模式下为undefined）
- 可被提前调用，因为其函数对象已在全局/函数上下文创建阶段完成实例化
函数表达式：运行时构造，依附于父级上下文
函数表达式本身是赋值语句的一部分，其函数对象在执行到该语句时才被创建。它不会被提升，且其词法环境直接继承自当前执行上下文的LexicalEnvironment，没有独立的“定义时刻快照”。
- 函数对象创建时，[[Environment]]直接引用当前执行上下文的词法环境，因此闭包捕获的是执行时的变量状态
- 若作为方法被调用（如
obj.method()），this由调用方式决定；若独立调用，则遵循默认绑定规则 - 命名函数表达式（如
const f = function foo(){}）中，foo仅在自身函数体内可见，不影响外部作用域
箭头函数：无独立上下文，this与词法环境均继承
箭头函数没有自己的[[ThisMode]]和[[Environment]]，它在创建时就**静态捕获外层普通函数（或全局）执行上下文的this值和词法环境引用**。它根本不会生成自己的执行上下文，调用时直接复用外层上下文的this和作用域链。
- 无法用
new调用，因为它没有[[Construct]]内部方法 - 没有
arguments对象，需用剩余参数...args替代 - 其[[Environment]]始终等于外层第一个普通函数上下文的LexicalEnvironment，不随调用位置变化
关键对比落点：不是“怎么写”，而是“何时定”
三者的核心分野，在于创建阶段是否已固化关键运行时属性：
- 函数声明：this绑定时机未定（留待调用时），但作用域链和函数对象已固化
- 函数表达式：作用域链与函数对象同步创建，this仍延迟绑定
- 箭头函数：this值与作用域链在创建瞬间就完全锁定，不可更改
理解这一点，才能真正看穿为何箭头函数不能用作构造器、为何setTimeout里的箭头函数能自然保持this、以及为何IIFE中用函数表达式比声明更利于隔离变量——这些都不是语法糖，而是执行上下文栈底层机制的必然结果。
