6.2.2.2 隐式完成值

本规范的算法通常隐含地返回 [[Type]] 是正常的完成记录。 除非另外从上下文显而易见，否则返回不是完成记录的值的算法语句，例如：

1. 返回 "Infinity" 。

与下面的意思相同：

1. 返回 NormalCompletion( "Infinity" )。

但是，如果 “return” 语句的值表达式是完成记录构造文字，则返回生成的完成记录。 如果值表达式是对抽象操作的调用，则 “return” 语句只返回抽象操作产生的完成记录。

1. 断言：completionRecord 是一个 Completion Record。

2. 返回 completionRecord 作为此抽象操作的 Completion Record。

在算法步骤中没有值的 “return” 语句意味着同样的事情：

1. 返回 NormalCompletion(undefined)。

对未明确需要完整完成记录值的上下文中的 Completion Record 值的任何引用等同于对 Completion Record 值的 [[Value]] 字段的显式引用，除非 Completion Record 是突然完成。