用于变量声明的 Mac 终端节点 REPL 输出

Question

在 Mac (OS X 10.13.3) 终端中，当我输入节点的 REPL (v8.10.0) 并输入以下各行时，我得到指示的输出：

> let a = 'abc'
undefined

> const b = 'abc'
undefined

> var c = 'abc'
undefined

> d = 'abc'
'abc'

为什么前三个与最后一个之间的输出不同？

我知道，在 ES5 非严格模式下，var x = 1 和 x = 1 会导致不同的变量范围，但我怀疑这不是这里的问题。

我也明白d = 'abc' 不再是 JavaScript 的最佳实践，甚至在 ES5 严格模式下也不允许。但是，我只是想了解行之间的语法差异和/或节点 REPL 如何解释输入。这是否与语句与表达式（或定义或赋值或声明或......）有关？

（我尝试搜索 StackOverflow，但在题为 'node.js displays “undefined” on the console' 或 'node.js REPL “undefined” ' 的问题中没有找到答案。我也无法在 Node.js v8.10.0 Documentation section for REPL 中找到答案。搜索 Google ，比如说node repl "return value"等也没有帮助。）

Answer 1

tl;博士

前两个（let 和const）是LexicalDeclarations。下一个 (var) 是 VariableStatement。最后一个是AssignmentExpression。

LexicalDeclarations 和 VariableStatements 没有返回值。 AssignmentExpression 有。详情如下。

详情

从第三个开始，以var identifier = expression 为例。这是一个VariableStatement。其评估语义在规范中表示如下：

语义

产生VariableStatement : var VariableDeclarationList ;是 评价如下：

1. 评估 VariableDeclarationList。
2. 返回（正常、空、空）。

注意表达式返回中的 empty。 assignments (see the Return part) 不会发生同样的情况。

关于let and const declarations，关于their evaluation：

13.3.1.4 运行时语义：评估

LexicalDeclaration : LetOrConst BindingList ;

1. 让 next 成为评估 BindingList 的结果。
2. ReturnIfAbrupt(下一个)。
3. 返回NormalCompletion(空)。

同样，空 (undefined) 在正常完成时返回。 （例如，当变量已经被声明时会突然发生。）

最后一个是AssignmentExpression。它计算为（返回）一个值。例如，采用最简单的形式，Simple Assignment，评估规范：

产生 AssignmentExpression : LeftHandSideExpression = AssignmentExpression 评估如下：

• 1. 让 lref 成为评估 LeftHandSideExpression 的结果。
     ...
     
• 6. 返回rval。

注意返回值。