重学js —— 全局对象：值属性与函数属性(globalThis/Infinity/NaN/undefined/eval/isFinite/isNaN)

[lizhongzhen11]

全局对象：值属性与函数属性(globalThis/Infinity/NaN/undefined/eval/isFinite/isNaN)

全局对象：

• 在控制进入任何 执行上下文 之前创建
• 没有 [[Construct]] 内置方法；不能被 new 操作符当成 构造器 调用
• 没有 [[Call]] 内置方法；不能被当成函数调用
• 有 [[Prototype]] 内置插槽，其值依赖于具体实现
• 可能存在除规范中已定义的、由主机环境定义的额外的属性。可能包含一个属性其值为全局对象本身

全局对象的值属性

• globalThis
  • MDN
  • 领域记录 realm 中全局对象 globalThis 属性初始值为 realm.[[GlobalEnv]].[[GlobalThisValue]]
  • 该属性的属性描述符为 { [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: true }
• Infinity
  • MDN
  • Infinity 值为 +∞（见 重学js —— js数据类型（二）：Number（一））。
  • 其属性描述符为：{ [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }
• NaN
  • MDN
  • 值为 NaN（见 重学js —— js数据类型（二）：Number（一））
  • 属性描述符为：{ [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }
• undefined
  • 值为 undefined（见 Undefined类型）
  • 属性描述符为：{ [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }

全局对象的函数属性

eval(x)

• MDN
• 不要用，了解即可

eval 函数就是 %eval% 固有对象。

1. 断言：执行上下文栈 至少有两个元素
2. 定义 callerContext 为 执行上下文栈 倒数第二个元素
3. 定义 callerRealm 为 callerRealm 的 领域
4. 返回 ? PerformEval(x, callerRealm, false, false)

PerformEval( x, callerRealm, strictCaller, direct )

1. 断言：如果 direct 为 false，那么 strictCaller 也是 false
2. 如果 x 不是 String 类型，返回 x
3. 定义 evalRealm 为 当前领域记录
4. 执行 ? HostEnsureCanCompileStrings(callerRealm, evalRealm)
5. 定义 inFunction 为 false
6. 定义 inMethod 为 false
7. 定义 inDerivedConstructor 为 false
8. 如果 direct 为 true，
   1. 定义 thisEnvRec 为 ! GetThisEnvironment()
   2. 如果 thisEnvRec 是 Function Environment Records
      1. 定义 F 为 thisEnvRec.[[FunctionObject]]
      2. 设置 inFunction 为 true
      3. 设置 inMethod 为 thisEnvRec.HasSuperBinding()
      4. 如果 F.[[ConstructorKind]] 为 derived，设置 inDerivedConstructor 为 true
9. 以依赖于实现的顺序执行下面的子步骤，可能交叉解析和错误检测：
   1. 定义 script 为ECMAScript代码，其为 ! UTF16DecodeString(x) 解析结果，用于 目标符号 Script。如果解析失败，抛 SyntaxError 异常。如果检测到早期错误，抛 SyntaxError 异常（根据 错误处理和语言扩展）。
   2. 如果 script 包含 ScriptBody 为 false，返回 undefined
   3. 定义 body 为 script 的 ScriptBody
   4. 如果 inFunction 为 false，且 body 包含 NewTarget，抛 SyntaxError 异常
   5. 如果 inMethod 为 false，且 body 包含 SuperProperty，抛 SyntaxError 异常
   6. 如果 inDerivedConstructor 为 false，且 body 包含 SuperCall，抛 SyntaxError 异常
10. 如果 strictCaller 为 true，定义 strictEval 为 true
11. 否则，定义 strictEval 为 script 的 IsStrict
12. 定义 runningContext 为 运行时执行上下文
13. 注意：如果 direct 是 true，runningContext 将成为执行 直接eval 的 执行上下文。如果 direct 是 false，runningContext 将成为调用 eval 函数的 执行上下文
14. 如果 direct 是 true，
    1. 定义 lexEnv 为 NewDeclarativeEnvironment(runningContext's LexicalEnvironment)
    2. 定义 varEnv 为 runningContext's VariableEnvironment
15. 否则，
    1. 定义 lexEnv 为 NewDeclarativeEnvironment(evalRealm.[[GlobalEnv]])
    2. 定义 varEnv 为 evalRealm.[[GlobalEnv]]
16. 如果 strictEval 为 true，设置 varEnv 为 lexEnv
17. 如果 runningContext 没有挂起暂停，则暂停 runningContext
18. 定义 evalContext 为新的ECMAScript代码 执行上下文
19. 设置 evalContext's Function 为 null
20. 设置 evalContext's 领域 为 evalRealm
21. 设置 evalContext's ScriptOrModule 为 runningContext's ScriptOrModule
22. 设置 evalContext's VariableEnvironment 为 varEnv
23. 设置 evalContext's LexicalEnvironment 为 lexEnv
24. 把 evalContext 推入 执行上下文栈；evalContext 现在是 运行时执行上下文
25. 定义 result 为 EvalDeclarationInstantiation(body, varEnv, lexEnv, strictEval)
26. 如果 result.[[Type]] 是 normal
    1. 设置 result 为求值 body 的结果
27. 如果 result.[[Type]] 是 normal 且 result.[[Value]] 为 empty
    1. 设置 result 为 NormalCompletion(undefined)
28. 暂停 evalContext 且将其从 执行上下文栈 中移除
29. 恢复 执行上下文栈 顶上下文为 运行时执行上下文
30. 返回 Completion(result)

注意：如果调用上下文正在对形参初始化器求值或调用上下文的代码或者eval代码是 严格模式，那么eval代码不能在调用eval的上下文变量环境中实例化变量或函数绑定。上述绑定会在新的只有eval代码才能访问的变量环境中实例化。let, const, class 声明总是在新的词法环境进行实例化绑定。

isFinite( number )

• MDN

先转 Number

isFinite(Infinity) // false
isFinite(NaN) // false
isFinite(-Infinity) // false
isFinite(0) // true
isFinite(2e64) // true
isFinite("0") // true
isFinite(9n) // Uncaught TypeError: Cannot convert a BigInt value to a number
isFinite(undefined) // false
isFinite(null) // true
isFinite({}) // false
isFinite([]) // true

isFinite 函数就是 %isFinite% 固有对象。

1. 定义 num 为 ? ToNumber(number)
2. 如果 num 为 NaN，+∞ 或 -∞，返回 false
3. 否则返回 true

由于内部用的是 ToNumber 算法，所以对于对象，改写其 toString 方法返回有限值就能得到 true

const obj = {
  toString() {
    return 1
  }
}
Number(obj) // 1
isFinite(obj) // true

isNaN

• MDN
• 注意与 Number.isNaN() 区分！

对应 %isNaN% 固有对象。

isNaN(NaN) // true
isNaN({}) // true

1. 定义 num 为 ? ToNumber(number)
2. 如果 num 为 NaN，返回 true
3. 否则返回 false

内部用的是 ToNumber 算法，所以对于对象，改写其 toString 方法返回非 NaN 值就能得到 true

本篇结束，后续见下一篇