它打印此表达式的结果-是undefined。是的，var a它本身就是一个有效的表达式。

实际上，您宁可为书写时为什么console打印或类似的东西而感到开心。如果语句已处理，它也会打印。实际上，如果还有另一条带有某些“真实”结果的语句，则似乎忽略了所有and
声明（！）语句：undefined``var a = 3``undefined``function anyFunctionName() {}``var``function

>>> var a = 3;
undefined

>>> var a = 3; a = 4;
4

>>> var a = 3; a = 4; var a = 5; function f() {};
4 // !!!

现在，我想背后的真正原因是行为的eval语句，描述 在这里 ：

• 让result被评估程序的结果prog。
• 如果result.type为，normal且其完成值为a value V，则返回value V。
• 如果result.type是normal且其完成值是empty，则返回该值undefined。
  

所以现在的问题是，var a = 4语句 返回 什么？猜猜是什么：不是4。

生产 VariableStatement ： var VariableDeclarationList; 评估如下：

• 评估VariableDeclarationList。
• 返回（正常，空，空）。
  

现在最有趣的部分：在上一个示例中发生了什么，为什么结果为4？在本节中对此进行了解释：

生产 程序 ： SourceElements 的评估如下：

• 令result为评估SourceElements的结果。
  

[…]

生产 SourceElements ： SourceElements * SourceElement *的评估如下：

• 令headResult为评估SourceElements的结果。
• 如果headResult是突然完成，则返回headResult。
• 令tailResult为评估SourceElement的结果。
• 如果tailResult.value为空 ，则让V = headResult.value，否则让V =>tailResult.value。
• 返回（tailResult.type，V，tailResult.target）
  

双方function f() {}并vara=5声明“返回值是(normal,empty,empty)。因此，脚本最后给出的不是第一个语句的结果（从脚本的结尾开始，所以从技术上讲是最后一个）(normal, empty,empty)。那是a = 4赋值语句的结果-是4。

附言：现在要锦上添花：考虑以下几点：

>>> function f() {}
undefined

>>> (function f() {})
function f() {}

区别非常细微：第一个输入被视为一条Function Declaration语句，根据此规则，该语句…

生产 SourceElement ： FunctionDeclaration 的评估如下：

• 返回（正常，空，空）。
  

如我们所知，最终会undefined在eval-ed 时产生。

但是，第二个输入被视为a FunctionExpression，它是对函数本身求值的。这意味着它将通过eval并最终返回到控制台（采用其格式）。