ES6块级函数声明语义变化核心在于作用域归属：允许带{}的块内声明，但提升行为存在var/let双轨制，实际应优先使用函数表达式。
es6 块级作用域中函数声明的语义变化，核心不在“能不能写”，而在于“写了之后到底算谁的”——它从一种被浏览器容忍的非标准行为，变成了一个有明确定义但又刻意留出兼容弹性的规范特性。识别这种巨变，关键看三点：作用域边界、提升行为、执行环境。
看声明位置是否合法：ES5 不允许，ES6 允许但有条件
ES5 规范明确禁止在块级作用域（如 if、for、{} 内）声明函数。例如：
if (true) { function foo() {} } —— 在严格模式下是语法错误，非严格模式下虽能运行，但属于浏览器自行放宽的兼容行为。
ES6 正式允许该写法，但附加重要前提：必须显式使用大括号构成块级结构。没有 {} 的条件语句体（如 if (true) function foo() {}）仍会报错。
看变量提升和作用域绑定：从“类似 var”滑向“类似 let”，但实际执行常按 var 处理
ES6 文档规定：块级作用域内的函数声明，应像 let 一样，仅在块内有效，且存在暂时性死区（TDZ）。但为兼容旧代码，附录 B 特别说明：浏览器实现可不遵守此规则。
结果就是现实中的“双轨制”：
- 在大多数现代浏览器中，if (false) { function f() {} } f(); 会报 TypeError: f is not a function，因为函数声明被提升到所在函数作用域顶部并初始化为 undefined（行为类 var）；
- 而在严格模式 Node.js 或某些 ES6 模式解析器中，可能直接报 SyntaxError 或拒绝访问块外函数，更贴近 let 语义。
看实际编码建议：规范允许 ≠ 实践推荐
正因为语义不统一、行为不可预测，所有主流指南（MDN、Airbnb、ESLint）都强烈建议：
- 避免在 if、for、try 等块内使用 function foo() {} 声明；
- 如需块内定义函数，统一用函数表达式：const foo = function() {} 或 let foo = () => {}；
- 这样既能保证块级作用域隔离，又规避了提升歧义和环境差异风险。
本质上，这不是一次“功能增强”，而是一次对历史包袱的规范化收口——承认既成事实，但引导开发者走向更稳定、更可预期的写法。
