为何JavaScript中函数声明作为if语句体不会报错？

在JavaScript的正式语法中，“语句”和“声明”有着精确的含义，这会影响它们在代码中的放置位置。例如，大多数控制流结构的主体仅接受语句——比如if...else的两个分支。如果用声明代替语句，会触发SyntaxError。例如，let声明不是语句，因此不能直接作为if语句的主体。

先看触发错误的代码：

if(true) 
  let x = 0;

这段代码会抛出SyntaxError，核心原因是let属于声明语句，只能出现在代码块顶层或嵌套的声明上下文里，无法直接作为控制流结构的单语句主体——控制流的主体要求是“语句”，而单纯的变量声明不属于可接受的语句类型。

那为什么下面的函数声明写法不会报错？

if(true)
function foo() {}

这是因为函数具备双重语法身份：它既可以作为独立的声明语句存在，也能作为表达式出现在语句位置。当函数声明直接放在if的单语句位置时，JS引擎会将其解析为函数表达式语句，而表达式语句属于控制流结构可接受的语句类型，因此不会触发语法错误。

不过这种写法属于语法“灰色地带”，不同JS引擎可能存在解析差异，而且在严格模式下会直接报错：

'use strict';
if(true)
function foo() {}

严格模式会强制要求块级作用域内的函数必须用代码块包裹，避免这种模糊的语法解析问题。

内容的提问来源于stack exchange，提问作者Urooj