JavaScript/ECMAScript语句值的用途及与Completions的关联咨询

嘿，这个观察真的很敏锐——很多JavaScript初学者都会忽略语句的返回值特性，你提到的Completions概念确实是核心原因！

一、为什么语句会有值？答案就是Completions #

你完全说对了，ECMAScript（JS的底层规范）里用Completions（完成记录）来描述每一条语句执行后的结果。每个完成记录包含两个关键部分：

• 类型：分为Normal（正常完成，比如语句顺利执行完毕）和Abrupt（突然完成，比如遇到return、throw、break这类中断流程的语句）
• 值：不管是正常还是突然完成，都会关联一个值（可能是undefined）

举你的例子拆解：

• x = 1是赋值语句，它的完成记录是Normal类型，值就是赋值的结果1，这也是控制台输入该语句后会输出1的原因
• if (false) { x=1; } else { x=2 };执行了else分支的x=2，整个if语句的完成值就是分支语句的完成值2

而函数的return本质上是抛出一个Abrupt类型的完成记录，把指定的值传递出去——这也是函数能返回值的底层逻辑：函数执行的最终完成记录的值，就是return语句带的值；如果没有return，函数的完成记录就是Normal类型，值为undefined。

二、语句返回值的实际用途 #

虽然日常开发中我们不会刻意去用，但这个特性在很多场景下都有实际作用：

• 控制台/REPL调试：这是最常见的场景——你在浏览器控制台或Node.js的REPL里输入任意语句，控制台都会自动输出该语句的完成值，帮你快速验证执行结果，比如输入let a = 3 + 5，控制台会显示8
• eval与动态代码执行：当你用eval()执行一段代码字符串时，返回值就是这段代码最后一条语句的完成值，比如const res = eval('if (Math.random() > 0.5) { "大于0.5" } else { "小于等于0.5" }')，res会拿到对应的字符串结果
• 元编程场景：比如用new Function()构造函数生成代码时，执行后的返回值也是函数体最后一条语句的完成值，这在一些动态生成逻辑的库中会用到
• 理解语言底层行为：知道这个特性后，你能更好理解一些看似奇怪的行为，比如为什么在代码块{ console.log('hi'); 123 }中，块的完成值是123，但如果把这个块放在函数里不写return，函数还是返回undefined——因为函数默认的完成值就是undefined，必须用return主动传递块的完成值。

三、和函数return的区别 #

函数需要显式return是因为函数的默认完成值是undefined——规范规定函数执行时，除非遇到return（抛出Abrupt完成记录），否则最终的完成值就是undefined。而普通语句的完成值是它们执行后的自然结果，不需要额外声明，这是两种不同的规范设计：普通语句是流程执行的单元，而函数是需要明确返回结果的可复用逻辑块。

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