请考虑将官方 ECMAScript 规范作为答案的来源，而不是特定浏览器供应商发布的文档。 （我知道 Mozilla 用“函数语句”扩展了它的 JavaScript 实现。）
那么，根据 ECMAScript 规范，ergo，其中定义的语法产生式，这有效吗？
if (foo) {
function x() { return; }
}
更新： 我的问题也可以这样表述：Statement 产生式是否包含 FunctionDeclaration 产生式?
结论：答案是否定的。
【问题讨论】：
标签： javascript
我不同意其他说它有效的答案。
根据ECMA-262 5th Edition specification，Blocks只能包含Statements（Section 12.1）：
Block :
{ StatementList opt }
StatementList :
Statement
StatementList Statement
但是规范没有定义函数语句，而只定义了FunctionDeclaration 和FunctionExpression。该规范进一步在Section 12 中对此进行了说明：
众所周知，一些广泛使用的 ECMAScript 实现支持将
FunctionDeclaration用作Statement。然而，在应用于此类FunctionDeclarations的语义中，实现之间存在显着且不可调和的变化。由于这些不可调和的差异，将FunctionDeclaration用作Statement会导致代码在实现之间不能可靠地移植。建议 ECMAScript 实现要么禁止FunctionDeclaration的这种用法，要么在遇到这种用法时发出警告。未来版本的 ECMAScript 可能会定义替代的可移植方式，用于在Statement上下文中声明函数。
如需进一步阅读，您可能也有兴趣查看comp.lang.javascript FAQ Section 4.2：
4.2 什么是函数语句？
术语函数语句已被广泛且错误地用于描述
FunctionDeclaration。这是一种误导，因为在 ECMAScript 中，FunctionDeclaration不是Statement；程序中有一些地方允许使用Statement，但不允许使用FunctionDeclaration。为了增加这种混淆，一些实现，特别是 Mozillas 的实现，提供了一个称为函数语句的语法扩展。 ECMA-262 第 3 版和第 5 版第 16 节允许这样做。非标准函数语句示例：
// Nonstandard syntax, found in GMail source code. DO NOT USE. try { // FunctionDeclaration not allowed in Block. function Fze(b,a){return b.unselectable=a} /*...*/ } catch(e) { _DumpException(e) }使用函数语句的代码有三种已知的解释。一些实现按顺序将
Fze作为语句处理。其他人，包括 JScript，在进入它出现的执行上下文时评估Fze。还有其他人，特别是 DMDScript 和 BESEN 的默认配置，抛出一个SyntaxError。为了实现跨实现的一致行为，不要使用函数语句；请改用
FunctionExpression或FunctionDeclaration。FunctionExpression 示例（有效）：
var Fze; try { Fze = function(b,a){return b.unselectable=a}; /*...*/ } catch(e) { _DumpException(e) }函数声明示例（有效）：
// Program code function aa(b,a){return b.unselectable=a}
【讨论】：
我不知道怎么读，但ECMA-262 V5 有这样的说法：
注意 众所周知，ECMAScript 的几个广泛使用的实现支持将
FunctionDeclaration用作语句。然而，在应用于此类 FunctionDeclarations 的语义中，实现之间存在显着且不可调和的变化。由于这些不可调和的差异，将 FunctionDeclaration 用作 Statement 会导致代码在实现之间不能可靠地移植。建议 ECMAScript 实现要么禁止 FunctionDeclaration 的这种用法，要么在遇到这种用法时发出警告。 ECMAScript 的未来版本可能会为在 Statement 上下文中声明函数定义替代的可移植方式。
如果我理解正确的话，严格来说，这意味着函数声明根本不能在块内，因为块只能包含语句。
我的解释可能完全错了 - 我不熟悉 ECMAScript 的内部工作原理。
【讨论】：
不，这是无效的。函数声明只能作为“源元素”出现，它们要么在全局范围内，要么直接在另一个函数定义中，在所有其他语句之外。来自 ECMA-262 规范：
FunctionBody : 源元素
程序：源元素
SourceElement : 声明 |函数声明
语法中没有其他产生式允许FunctionDeclaration。
只有函数表达式可以成为语句的一部分：
成员表达式：函数表达式
...
语句：表达式语句
编辑：最近有一个关于另一个问题的相关讨论。请参阅this answer 上的 cmets - 早些时候，我也认为这 可能 是有效的，但语法清楚地表明它是无效的。
【讨论】：
- 程序语法
程序：SourceElements 源元素：源元素 源元素源元素 源元素：声明 函数声明语义
制作程序： SourceElements 被评估为 如下：
为函数声明处理 SourceElements。
评估 SourceElements。
返回结果(2)。
生产 SourceElements ： SourceElement 被处理为 函数声明如下：
- 为函数声明处理 SourceElement。
生产 SourceElements ： SourceElement 的评估方式如下：
评估 SourceElement。
返回结果(1)。
生产 SourceElements ： SourceElements SourceElement 是 处理函数声明为 如下：
为函数声明处理 SourceElements。
为函数声明处理 SourceElement。
生产 SourceElements ： SourceElements SourceElement 是 评价如下：
评估 SourceElements。
如果 Result(1) 是突然完成，则返回 Result(1)
评估 SourceElement。
返回结果(3)。
制作SourceElement： *为函数处理语句* 不采取任何行动的声明。
制作SourceElement： *语句评估如下：*
1.评估声明。
2。返回结果(1)。
生产 SourceElement ： FunctionDeclaration 被处理为 函数声明如下：
- 处理函数声明的 FunctionDeclaration（参见第 13 条）。
生产 SourceElement ： FunctionDeclaration 被评估为 如下：
- 返回（正常、空、空）。
遮阳篷正式否。 （Šime Vidas 在另一个问题上说服了我）
但没有指定异常，因此它会失败或静默工作，具体取决于浏览器实现。
【讨论】：
ECMA-262 的第 5 版说它不应该是有效的：
仅允许使用函数声明 出现在 Program 或 FunctionBody 中。 从语法上讲，它们不能出现在 块 ({ ... }) — 例如 if 的块， while 或 for 语句。这是 因为块只能包含 语句，而不是 SourceElements，它 函数声明是。如果我们看 仔细制作规则，我们可以看到 唯一的表达方式是 Block 内允许的时间是 ExpressionStatement 的一部分。然而， ExpressionStatement 是明确的 定义为不以“功能”开头 关键字，这正是 使 FunctionExpression 无效为 语句或块的一部分（注意 该 Block 只是一个列表 声明）。
但是，似乎没有多少口译员遵守这条规则。 Kangax 说他们应该被视为每个this page 的语法错误：
由于这些限制， 每当函数出现在一个块中 （如前面的例子）它 实际上应该被认为是一种语法 错误，不是函数声明或 表达。问题是几乎 我没有见过的实现 严格按照 规则（例外是 BESEN 和 DMD 脚本）。他们将它们解释为 取而代之的是专有方式。
【讨论】：
在 ECMAScript 标准中，FunctionDeclaration 未定义为 Statement，Statement 未定义为能够包含 FunctionDeclaration，因此根据标准它们是不兼容的（尽管实际上每个 JavaScript 解释器都会尝试做一些有意义的事情，尽管实现之间不一致）。
【讨论】：
是的，它是有效的。
所有语句块（即大括号内的所有内容）都可以有额外的语句和声明，包括函数。
所以你也可以在函数中定义函数等等
这里是 ECMA-262 v1 - http://www.mozilla.org/js/language/E262.pdf
【讨论】：
if (false) function foo(){console.log('foo')}; foo() 抛出类型错误：foo 不是函数。 foo 由于表达式被视为函数声明而被创建为变量，但由于它位于未执行的条件块中而未分配值（由于if (false)） ，所以它被视为一个声明。在 Safari 中，它显示“foo”，因此它被视为函数声明并且赋值不是有条件的。