19 基本对象

19.1 Object 对象

19.1.1 Object 构造器

对象构造函数：

  • 是内部对象％Object％。
  • 是全局对象的对象属性的初始值。
  • 在作为构造函数调用时创建一个新的普通对象。
  • 在作为函数而不是构造函数调用时执行类型转换。
  • 被设计为可子类化。它可以用作类定义的extends子句的值。

19.1.1.1 Object ( [ value ] )

使用可选参数值调用对象函数时，采取以下步骤:

  1. 如果NewTarget既不是undefined的，也不是活动函数，则
    1. 返回 ? OrdinaryCreateFromConstructor(NewTarget, “%ObjectPrototype%”).
  2. 若 value 是 null, undefined 或不提供, 返回 ObjectCreate(%ObjectPrototype%).
  3. 返回 ! ToObject(value).

对象构造函数的“length”属性是1

19.1.2 Object 构造器属性

对象构造函数：

  • 有一个[[Prototype]]内部插槽，其值是内部对象％FunctionPrototype％。
  • 具有“length”属性。
  • 具有以下附加属性：

19.1.2.1 Object.assign ( target, …sources )

Assign函数用于将所有可枚举的自身属性的值从一个或多个源对象复制到目标对象。调用assign函数时，将执行以下步骤：

  1. 令 to 为 ? ToObject(target).
  2. 如果仅传递了一个参数, 返回 to.
  3. 令 sources 为从第二个参数开始的参数值列表。
  4. 对于每个元素nextsource的源，按升序排列，执行
    1. 如果nextSource既undefined也不为null，那么
      1. 令 from 为 ! ToObject(nextSource).
      2. 令 keys 为 ? from.[[OwnPropertyKeys]]().
      3. 对于按列表顺序的键的每个元素nextKey，执行
        1. 令 desc 为 ? from.[[GetOwnProperty]](nextKey).
        2. 如果desc不是undefined并且desc.[[Enumerable]]为true，那么
  5. 返回 to.

分配函数的“length”属性为2。

19.1.2.2 Object.create ( O, Properties )

create函数使用指定的原型创建一个新对象。调用create函数时，将执行以下步骤：

  1. 若 Type(O) 不是 Object 或 Null, 抛出 TypeError 异常。
  2. 令 obj 为 ObjectCreate(O).
  3. 若 Properties 不是 undefined，那么
  4. 返回 ? ObjectDefineProperties(obj, Properties).
  5. 返回 obj.

19.1.2.3 Object.defineProperties ( O, Properties )

defineProperties函数用于添加自己的属性和/或更新对象现有的自己属性的属性。调用defineProperties函数时，将执行以下步骤：

  1. 返回 ? ObjectDefineProperties(O, Properties).
19.1.2.3.1 RS: ObjectDefineProperties ( O, Properties )

具有参数O和属性的抽象操作ObjectDefineProperties执行以下步骤：

  1. 若 Type(O) 不是 Object, 抛出 TypeError 异常。
  2. 令 props 为 ? ToObject(Properties).
  3. 令 keys 为 ? props.[[OwnPropertyKeys]]().
  4. 令 descriptors 为新的空列表
  5. 对于按列表顺序的键的每个元素nextKey，执行
    1. 令 propDesc 为 ? props.[[GetOwnProperty]](nextKey).
    2. 若 propDesc 不是 undefined 并且 propDesc.[[Enumerable]] 是 true，那么
      1. 令 descObj 为 ? Get(props, nextKey).
      2. 令 desc 为 ? ToPropertyDescriptor(descObj).
      3. 将由nextKey和desc组成的对（一个由两个元素组成的List）附加到描述符的末尾。
  6. 对于列表中描述符中的每一对，执行
    1. 令 P 为对的第一个元素。
    2. 令 desc 为对的第二个元素。
    3. 执行 ? DefinePropertyOrThrow(O, P, desc).
  7. 返回 O.

19.1.2.4 Object.defineProperty ( O, P, Attributes )

defineProperty函数用于添加自己的属性和/或更新对象现有的自己属性的属性。调用defineProperty函数时，将执行以下步骤：

  1. 若 Type(O) 不是 Object, 抛出 TypeError 异常。
  2. 令 key 为 ? ToPropertyKey(P).
  3. 令 desc 为 ? ToPropertyDescriptor(Attributes).
  4. 执行 ? DefinePropertyOrThrow(O, key, desc).
  5. 返回 O

19.1.2.5 Object.entries ( O )

当使用参数O调用entrys函数时，将执行以下步骤：

  1. 令 obj 为 ? ToObject(O).
  2. 令 nameList 为 ? EnumerableOwnPropertyNames(obj, “key+value”).
  3. 返回 CreateArrayFromList(nameList).

19.1.2.6 Object.freeze ( O )

调用冻结函数时，将执行以下步骤：

  1. 若 Type(O) 不是 Object, 返回 O.
  2. 令 status 为 ? SetIntegrityLevel(O, “frozen”).
  3. 若 status 是 false, 抛出 TypeError 异常。
  4. 返回 O.

19.1.2.7 Object.fromEntries ( iterable )

当使用参数iterable调用fromEntries方法时，将执行以下步骤：

  1. 执行 ? RequireObjectCoercible(iterable).
  2. 令 obj 为 ObjectCreate(%ObjectPrototype%).
  3. 断言：obj是没有自己属性的可扩展普通对象。
  4. 令 stepsDefine 为CreateDataPropertyOnObject函数中定义的算法步骤。
  5. 令 adder 为 CreateBuiltinFunction(stepsDefine, « »).
  6. 返回 ? AddEntriesFromIterable(obj, iterable, adder).

注：ECMAScript代码绝对不能直接访问为adder创建的函数。

19.1.2.7.1 CreateDataPropertyOnObject Functions

CreateDataPropertyOnObject函数是匿名内置函数。当使用参数key和value调用CreateDataPropertyOnObject函数时，将执行以下步骤：

  1. 令 O 为 this 值.
  2. 断言：Type(O) 是 Object.
  3. 断言：O是可扩展的普通对象。
  4. 令 propertyKey 为 ? ToPropertyKey(key).
  5. 执行 ! CreateDataPropertyOrThrow(O, propertyKey, value).
  6. 返回 undefined.

19.1.2.8 Object.getOwnPropertyDescriptor ( O, P )

调用getOwnPropertyDescriptor函数时，将执行以下步骤：

  1. 令 obj 为 ? ToObject(O).
  2. 令 key 为 ? ToPropertyKey(P).
  3. 令 desc 为 ? obj.[[GetOwnProperty]](key).
  4. 返回 FromPropertyDescriptor(desc).

19.1.2.9 Object.getOwnPropertyDescriptors ( O )

调用getOwnPropertyDescriptors函数时，将执行以下步骤：

  1. 令 obj 为 ? ToObject(O).
  2. 令 ownKeys 为 ? obj.[[OwnPropertyKeys]]().
  3. 令 descriptors 为 ! ObjectCreate(%ObjectPrototype%).
  4. 对于List顺序中ownKeys的每个元素键，执行
    1. 令 desc 为 ? obj.[[GetOwnProperty]](key).
    2. 令 descriptor 为 ! FromPropertyDescriptor(desc).
    3. 若 descriptor 不是 undefined, 执行 ! CreateDataProperty(descriptors, key, descriptor).
  5. 返回 descriptors.

19.1.2.10 Object.getOwnPropertyNames ( O )

调用getOwnPropertyNames函数时，将执行以下步骤：

  1. 返回 ? GetOwnPropertyKeys(O, String).

19.1.2.11 Object.getOwnPropertySymbols ( O )

使用参数O调用getOwnPropertySymbols函数时，将执行以下步骤：

  1. 返回 ? GetOwnPropertyKeys(O, Symbol).
19.1.2.11.1 RS: GetOwnPropertyKeys ( O, type )

使用参数O和类型调用抽象操作GetOwnPropertyKeys，其中类型O为对象，类型为ECMAScript规范类型String或Symbol之一。采取以下步骤：

  1. 令 obj 为 ? ToObject(O).
  2. 令 keys 为 ? obj.[[OwnPropertyKeys]]().
  3. 令 nameList 为新的空列表
  4. 对于按列表顺序的键的每个元素nextKey，执行
    1.  1. 若 Type(nextKey) 是 type，那么
    2.        1. 追加nextKey作为nameList的最后一个元素。
  5. 返回 CreateArrayFromList(nameList).

19.1.2.12 Object.getPrototypeOf ( O )

使用参数OF调用getPrototypeOf函数时，将执行以下步骤：

  1. 令 obj 为 ? ToObject(O).
  2. 返回 ? obj.[[GetPrototypeOf]]().

19.1.2.13 Object.is ( value1, value2 )

当使用参数value1和value2调用is函数时，将执行以下步骤：

  1. 返回 SameValue(value1, value2).

19.1.2.14 Object.isExtensible ( O )

当使用参数O调用is可扩展函数时，将执行以下步骤：

  1. 若 Type(O) 不是 Object, 返回 false.
  2. 返回 ? IsExtensible(O).

19.1.2.15 Object.isFrozen ( O )

使用参数O调用isFrozen函数时，将执行以下步骤：

  1. 若 Type(O) 不是 Object, 返回 true.
  2. 返回 ? TestIntegrityLevel(O, “frozen”).

19.1.2.16 Object.isSealed ( O )

当使用参数O调用is Sealed函数时，将执行以下步骤：

  1. 若 Type(O) 不是 Object, 返回 true.
  2. 返回 ? TestIntegrityLevel(O, “sealed”).

19.1.2.17 Object.keys ( O )

当使用参数O调用keys函数时，将执行以下步骤：

  1. 令 obj 为 ? ToObject(O).
  2. 令 nameList 为 ? EnumerableOwnPropertyNames(obj, “key”).
  3. 返回 CreateArrayFromList(nameList).

19.1.2.18 Object.preventExtensions ( O )

调用preventExtensions函数时，将执行以下步骤：

  1. 若 Type(O) 不是 Object, 返回 O.
  2. 令 status 为 ? O.[[PreventExtensions]]().
  3. 若 status 是 false, 抛出 TypeError 异常。
  4. 返回 O.

19.1.2.19 Object.prototype

Object.prototype的初始值为内部对象％ObjectPrototype％。

该属性具有以下属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.

19.1.2.20 Object.seal ( O )

调用seal函数时，将执行以下步骤：

  1. 若 Type(O) 不是 Object, 返回 O.
  2. 令 status 为 ? SetIntegrityLevel(O, “sealed”).
  3. 若 status 是 false, 抛出 TypeError 异常。
  4. 返回 O.

19.1.2.21 Object.setPrototypeOf ( O, proto )

当使用参数O和proto调用setPrototypeOf函数时，将执行以下步骤：

  1. 设置 O 为 ? RequireObjectCoercible(O).
  2. 若 Type(proto) 不是 Object 或 Null, 抛出 TypeError 异常。
  3. 若 Type(O) 不是 Object, 返回 O.
  4. 令 status 为 ? O.[[SetPrototypeOf]](proto).
  5. 若 status 是 false, 抛出 TypeError 异常。
  6. 返回 O.

19.1.2.22 Object.values ( O )

当使用参数O调用values函数时，将执行以下步骤：

  1. 令 obj 为 ? ToObject(O).
  2. 令 nameList 为 ? EnumerableOwnPropertyNames(obj, “value”).
  3. 返回 CreateArrayFromList(nameList).

19.1.3 Object 原型对象属性

对象原型对象：

  • 是内部对象％ObjectPrototype％。
  • 是不变的原型异类对象
  • 有一个[[Prototype]]内部插槽，其值为null。

19.1.3.1 Object.prototype.constructor

Object.prototype.constructor的初始值为内部对象％Object％。

19.1.3.2 Object.prototype.hasOwnProperty ( V )

当使用参数V调用hasOwnProperty方法时，将执行以下步骤：

  1. 令 P 为 ? ToPropertyKey(V).
  2. 令 O 为 ? ToObject(this value).
  3. 返回 ? HasOwnProperty(O, P).

注：选择步骤1和2的顺序是为了确保即使this值undefined或为null，在本规范的先前版本中由步骤1引发的任何异常都将继续引发。

19.1.3.3 Object.prototype.isPrototypeOf ( V )

使用参数V调用isPrototypeOf方法时，将执行以下步骤：

  1. 若 Type(V) 不是 Object, 返回 false.
  2. 令 O 为 ? ToObject(this value).
  3. 重复，
    1. 设置 V 为 ? V.[[GetPrototypeOf]]().
    2. 若 V 是 null, 返回 false.
    3. 若 SameValue(O, V) 是 true, 返回 true.

注：对于V不是对象且this值undefined或为null的情况，步骤1和2的顺序保留了本规范先前版本指定的行为。

19.1.3.4 Object.prototype.propertyIsEnumerable ( V )

当使用参数V调用propertyIsEnumerable方法时，将执行以下步骤：

  1. 令 P 为 ? ToPropertyKey(V).
  2. 令 O 为 ? ToObject(this value).
  3. 令 desc 为 ? O.[[GetOwnProperty]](P).
  4. 若 desc 是 undefined, 返回 false.
  5. 返回 desc.[[Enumerable]].

注1：该方法不考虑原型链中的对象。

注2：选择步骤1和2的顺序是为了确保即使this值为undefined或null，在本规范先前版本中由步骤1引发的任何异常都将继续引发。

19.1.3.5 Object.prototype.toLocaleString ( [ reserved1 [ , reserved2 ] ] )

调用toLocaleString方法时，将执行以下步骤：

  1. 令 O 为 this 值.
  2. 返回 ? Invoke(O, “toString”).

该函数的可选参数未使用，但旨在与ECMA-402 toLocaleString函数使用的参数模式相对应。不包含ECMA-402支持的实现不得将这些参数位置用于其他目的。

注1：该函数为没有特定于语言环境的toString行为的对象提供通用的toLocaleString实现。数组，数字，日期和类型数组提供了它们自己的区域设置敏感的toLocaleString方法。

注2：ECMA-402有意不提供此默认实施方式的替代方法。

19.1.3.6 Object.prototype.toString ( )

调用toString方法时，将执行以下步骤：

  1. 若 this 值是 undefined, 返回 “[object Undefined]”.
  2. 若 this 值是 null, 返回 “[object Null]”.
  3. 令 O 为 ! ToObject(this value).
  4. 令 isArray 为 ? IsArray(O).
  5. 若 isArray 是 true, 令 builtinTag 为 “Array”.
  6. 否则，若 O 是 String 异类对象, 令 builtinTag 为 “String”.
  7. 否则，若 O 具有 [[ParameterMap]] 内部插槽, 令 builtinTag 为 “Arguments”.
  8. 否则，若 O 具有 [[Call]] 内部方法, 令 builtinTag 为 “Function”.
  9. 否则，若 O 具有 [[ErrorData]] 内部插槽, 令 builtinTag 为 “Error”.
  10. 否则，若 O 具有 [[BooleanData]] 内部插槽, 令 builtinTag 为 “Boolean”.
  11. 否则，若 O 具有 [[NumberData]] 内部插槽, 令 builtinTag 为 “Number”.
  12. 否则，若 O 具有 [[DateValue]] 内部插槽, 令 builtinTag 为 “Date”.
  13. 否则，若 O 具有 [[RegExpMatcher]] 内部插槽, 令 builtinTag 为 “RegExp”.
  14. 否则, 令 builtinTag 为 “Object”.
  15. 令 tag 为 ? Get(O, @@toStringTag).
  16. 若 Type(tag) 不是 String, 设置 tag 为 builtinTag.
  17. 返回 “[object “, tag, and “]” 的字符串连接

此函数是％ObjProto_toString％内部对象。

注：从历史上看，此函数有时用于访问[[Class]]内部插槽的String值，该内部插槽在本规范的先前版本中用作各种内置对象的标称类型标记。上面对toString的定义保留了与使用toString来测试那些特定种类的内置对象的旧代码的兼容性。它没有为其他类型的内置或程序定义的对象提供可靠的类型测试机制。另外，程序可以使用@@ toStringTag，这将使此类旧式测试的可靠性无效。

19.1.3.7 Object.prototype.valueOf ( )

调用valueOf方法时，将执行以下步骤

  1. 返回 ? ToObject(this value).

此函数是％ObjProto_valueOf％内部对象。

19.1.4 Object 实例属性

对象实例除了从Object原型对象继承的属性外，没有其他特殊属性。

19.2 Function 对象

19.2.1 Function 构造器

函数构造函数：

  • 是内部对象％Function％。
  • 是全局对象的Function属性的初始值。
  • 当作为函数而不是构造函数调用时，创建并初始化一个新的函数对象。因此，函数调用Function（…）等效于具有相同参数的对象创建表达式new Function（…）。
  • 设计为可归类的。它可以用作类定义的extends子句的值。打算继承指定Function行为的子类构造函数必须包括对Function构造函数的super调用，以使用内置函数行为所需的内部插槽来创建和初始化子类实例。用于定义函数对象的所有ECMAScript语法形式都将创建Function的实例。
  • 除了内置的GeneratorFunction，AsyncFunction和AsyncGeneratorFunction子类之外，没有语法方法可以创建Function子类的实例。

19.2.1.1 Function ( p1, p2, … , pn, body )

最后一个参数指定函数的主体（可执行代码）；前面的任何参数都指定形式参数。

当使用某些参数p1，p2，…，pn主体（其中n可能为0，即没有“ p”参数，也可能不提供主体）调用Function函数时，将执行以下步骤采取：

  1. 令 C 为活动函数对象。
  2. 令 args 为由[[Call]]或[[Construct]]传递给此函数的argumentsList。
  3. 返回 ? CreateDynamicFunction(C, NewTarget, “normal”, args).

注：允许但不必为每个要指定的形式参数使用一个参数。例如，以下所有三个表达式产生相同的结果：

new Function(“a”, “b”, “c”, “return a+b+c”) new Function(“a, b, c”, “return a+b+c”) new Function(“a,b”, “c”, “return a+b+c”)

19.2.1.1.1 RS: CreateDynamicFunction ( constructor, newTarget, kind, args )

抽象操作CreateDynamicFunction用参数构造函数，newTarget，kind和args调用。构造函数是执行此操作的构造函数，newTarget是new最初应用于的构造函数，kind是“ normal”，“ generator”，“ async”或“ async generator”，而args是包含以下内容的List传递给构造函数的实际参数值。采取以下步骤：

  1. 断言：执行上下文堆栈至少具有两个元素。
  2. 令 callerContext 为执行上下文堆栈的第二个元素。
  3. 令 callerRealm 为 callerContext 的作用域.
  4. 令 calleeRealm 为大年作用域记录
  5. 执行 ? HostEnsureCanCompileStrings(callerRealm, calleeRealm).
  6. 若 newTarget 是 undefined, 设置 newTarget 为 constructor.
  7. 若 kind 是 “normal”，那么
    1. 令 goal 为语法标记 FunctionBody[~Yield, ~Await] .
    2. 令 parameterGoal 为语法标记 FormalParameters[~Yield, ~Await] .
    3. 令 fallbackProto 为 “%FunctionPrototype%”.
  8. 否则，若 kind 是 “generator”，那么
    1. 令 goal 为语法标记 GeneratorBody.
    2. 令 parameterGoal 为语法标记 FormalParameters[+Yield, ~Await] .
    3. 令 fallbackProto 为 “%Generator%”.
  9. 否则，若 kind 是 “async”，那么
    1. 令 goal 为语法标记 AsyncFunctionBody.
    2. 令 parameterGoal 为语法标记 FormalParameters[~Yield, +Await] .
    3. 令 fallbackProto 为 “%AsyncFunctionPrototype%”.
  10. 否则，
    1. 断言：kind 是 “async generator”.
    2. 令 goal 为语法标记 AsyncGeneratorBody.
    3. 令 parameterGoal 为语法标记 FormalParameters[+Yield, +Await] .
    4. 令 fallbackProto 为 “%AsyncGenerator%”.
  11. 令 argCount 为 args 中的元素数。
  12. 令 P 为空字符串。
  13. 若 argCount = 0, 令 bodyText 为空字符串
  14. 否则，若 argCount = 1, 令 bodyText 为 args[0].
  15. 否则，argCount > 1,
    1. 令 firstArg 为 args[0].
    2. 设置 P 为 ? ToString(firstArg).
    3. 令 k 为 1.
    4. 重复， 当 k < argCount - 1
      1. 令 nextArg 为 args[k].
      2. 令 nextArgString 为 ? ToString(nextArg).
      3. 设置 P 为 P, “,” (a comma), and nextArgString 的先前值的字符串连接的值
      4. k 增加 1.
    5. 令 bodyText 为 args[k].
  16. 设置 bodyText 为 ? ToString(bodyText).
  17. 令 parameters 为使用parameterGoal作为目标符号的解析P的结果，解释为6.1.4中描述的UTF-16编码的Unicode文本。如果解析失败，则抛出SyntaxError异常。
  18. 令 body 为解析bodyText的结果，使用目标作为目标符号，解释为6.1.4中描述的UTF-16编码的Unicode文本。如果解析失败，则抛出SyntaxError异常。
  19. 令 strict 为 body 的 ContainsUseStrict。
  20. 如果检测到参数或主体的任何静态语义错误，则根据错误的类型，抛出SyntaxError或ReferenceError异常。如果strict为true，则将应用UniqueFormalParameters：FormalParameters的Early Error规则。解析和早期错误检测可以以依赖于实现的方式混合在一起。
  21. 如果strict为true而IsSimpleParameterList为假, 抛出 SyntaxError 异常。
  22. 如果parameters的BoundNames的任何元素也出现在body的LexicallyDeclaredNames中，抛出 SyntaxError 异常。
  23. 若 body 包含 SuperCall 是 true, 抛出 SyntaxError 异常。
  24. 若 parameters 包含 SuperCall 是 true, 抛出 SyntaxError 异常。
  25. 若 body 包含 SuperProperty 是 true, 抛出 SyntaxError 异常。
  26. 若 parameters 包含 SuperProperty 是 true, 抛出 SyntaxError 异常。
  27. 若 kind 是 “generator” 或 “async generator”，那么
    1. 若 parameters 包含 YieldExpression 是 true, 抛出 SyntaxError 异常。
  28. 若 kind 是 “async” 或 “async generator”，那么
    1. 若 parameters 包含 AwaitExpression 是 true, 抛出 SyntaxError 异常。
  29. 若 strict 是 true，那么
    1. 如果parameters的BoundNames包含任何重复的元素，抛出 SyntaxError 异常。
  30. 令 proto 为 ? GetPrototypeFromConstructor(newTarget, fallbackProto).
  31. 令 F 为 FunctionAllocate(proto, strict, kind).
  32. 令 realmF 为 F.[[Realm]].
  33. 令 scope 为 realmF.[[GlobalEnv]].
  34. 执行 FunctionInitialize(F, Normal, parameters, body, scope).
  35. 若 kind 是 “generator”，那么
    1. 令 prototype 为 ObjectCreate(%GeneratorPrototype%).
    2. 执行 DefinePropertyOrThrow(F, “prototype”, PropertyDescriptor { [[Value]]: prototype, [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false }).
  36. 否则，若 kind 是 “async generator”，那么
    1. 令 prototype 为 ObjectCreate(%AsyncGeneratorPrototype%).
    2. 执行 DefinePropertyOrThrow(F, “prototype”, PropertyDescriptor { [[Value]]: prototype, [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false }).
  37. 否则，若 kind 是 “normal”, 执行 MakeConstructor(F).
  38. 注意：异步函数不是可构造的，也没有[[Construct]]内部方法或“prototype”属性
  39. 执行 SetFunctionName(F, “anonymous”).
  40. 令 prefix 为表47中与kind相关的前缀。
  41. 令 sourceText 为 prefix, “ anonymous(“, P, 0x000A (LINE FEED), “) {“, 0x000A (LINE FEED), bodyText, 0x000A (LINE FEED), and “}” 的字符串连接
  42. 设置 F.[[SourceText]] 为 sourceText.
  43. 返回 F.

注意，对于使用CreateDynamicFunction创建的每个非异步函数，都会创建一个prototype属性，以提供将该函数用作构造函数的可能性。

表47:动态函数SourceText前缀

Kind Prefix
“normal” “function”
“generator” “function*”
“async” “async function”
“async generator” “async function*”

19.2.2 Function 构造器属性

构造函数的函数:

  • 本身就是一个内置函数对象。
  • 有一个[[Prototype]]内部槽，其值为内部对象%FunctionPrototype%。
  • 具有以下特性:

19.2.2.1 Function.length

这是一个值为1的数据属性。该属性的属性为 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }。

19.2.2.2 Function.prototype

Function.prototyp的值为%FunctionPrototype%，即内部函数原型对象。

此属性具有属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.

19.2.3 Function 原型对象属性

函数原型对象：

  • 是内部对象%FunctionPrototype%。
  • 本身就是一个内置函数对象。
  • 接受任何参数并在调用时返回undefined的值。
  • 没有[[Construct]]内部方法；它不能与新操作符一起用作构造函数。
  • 有一个[[Prototype]]内部槽，其值为内部对象%ObjectPrototype%。
  • 没有原型属性。
  • 具有“length”属性，其值为0。
  • 具有name属性，其值为空字符串。

NOTE The Function prototype object is specified to be a function object to ensure compatibility with ECMAScript code that was created prior to the ECMAScript 2015 specification.

19.2.3.1 Function.prototype.apply ( thisArg, argArray )

当使用参数thisArg和argArray调用apply方法时，需要执行以下步骤:

  1. 令 func 为 this 值.
  2. 若 IsCallable(func) 是 false, 抛出 TypeError 异常。
  3. 若 argArray 是 undefined 或 null，那么
    1. 执行 PrepareForTailCall().
    2. 返回 ? Call(func, thisArg).
  4. 令 argList 为 ? CreateListFromArrayLike(argArray).
  5. 执行 PrepareForTailCall().
  6. 返回 ? Call(func, thisArg, argList).

注 1：将thisArg值作为this值传递，而不进行任何修改。这是版本3的一个变化，其中undefined或null thisArg被替换为全局对象，ToObject应用于所有其他值，结果作为This值传递。即使没有修改就传递了thisArg，非严格函数仍然在进入函数时执行这些转换。

注 2：如果func是一个箭头函数或绑定函数，那么这个thisArg将被第5步中的函数[[Call]]忽略

19.2.3.2 Function.prototype.bind ( thisArg, …args )

当绑定方法被参数thisArg和零个或多个args调用时，它执行以下步骤:

  1. 令 Target 为 this 值.
  2. 若 IsCallable(Target) 是 false, 抛出 TypeError 异常。
  3. 令 args 为一个新的(可能是空的)列表，由thisArg之后提供的所有参数值按顺序组成。
  4. 令 F 为 ? BoundFunctionCreate(Target, thisArg, args).
  5. 令 targetHasLength 为 ? HasOwnProperty(Target, “length”).
  6. 若 targetHasLength 是 true，那么
    1. 令 targetLen 为 ? Get(Target, “length”).
    2. 若 Type(targetLen) 不是 Number, 令 L 为 0.
    3. 否则,
      1. 设置 targetLen 为 ! ToInteger(targetLen).
      2. 令 L 为0和targetLen的结果减去args的元素数中较大的数。
  7. 否则，令 L 为 0.
  8. 执行 ! SetFunctionLength(F, L).
  9. 令 targetName 为 ? Get(Target, “name”).
  10. 若 Type(targetName) 不是 String, 设置 targetName 为空字符串
  11. 执行 SetFunctionName(F, targetName, “bound”).
  12. 返回 F.

注 1：使用Function.prototype创建的Function.prototype.bind是异类对象。它们也没有原型属性。

注 2：如果Target是一个箭头函数或绑定函数，那么传递给这个方法的thisArg将不会被后续的F调用所使用

19.2.3.3 Function.prototype.call ( thisArg, …args )

当使用参数thisArg和零个或多个args调用调用方法时，将采取以下步骤:

  1. 令 func 为 this 值.
  2. 若 IsCallable(func) 是 false, 抛出 TypeError 异常。
  3. 令 argList 为新的空列表
  4. 如果使用多个参数调用此方法，则按照从左到右的顺序，从第二个参数开始，将每个参数附加为argList的最后一个元素。
  5. 执行 PrepareForTailCall().
  6. 返回 ? Call(func, thisArg, argList).

注 1：将thisArg值作为this值传递，而不进行任何修改。这是版本3的一个变化，其中undefined的或null thisArg被替换为全局对象，ToObject应用于所有其他值，结果作为This值传递。即使没有修改就传递了thisArg，非严格函数仍然在进入函数时执行这些转换。

注 2：如果func是一个箭头函数或绑定函数，那么这个thisArg将被第5步中的函数[[Call]]忽略。

19.2.3.4 Function.prototype.constructor

Function.prototype.constructor的初始值是内部对象%Function%。

19.2.3.5 Function.prototype.toString ( )

当toString方法被调用时，需要执行以下步骤:

  1. 令 func 为 this 值.
  2. 如果func是绑定函数异类对象或内置函数对象，则返回依赖于实现的 func 的字符串源代码表示。该表示形式必须具有NativeFunction的语法。此外，如果func是常见的内在对象，并且未标识为匿名函数，则返回的String中与PropertyName匹配的部分必须是func的name属性的初始值。
  3. 如果Type(func)是Object并且func具有[[SourceText]]内部插槽，并且Type(func.[[SourceText]])是String和 ! HostHasSourceTextAvailable(func)为true，那么返回func.[[SourceText]]
  4. 若 Type(func) 是 Object 并且 IsCallable(func) 是 true，那么 返回返回func的与实现相关的String源代码表示形式。该表示形式必须具有NativeFunction的语法。
  5. 抛出 TypeError 异常。
  1. NativeFunction :
  2.     function PropertyName[~Yield, ~Await] opt ( FormalParameters[~Yield, ~Await] ) { [
  3. native code ] }

19.2.3.6 Function.prototype [ @@hasInstance ] ( V )

当使用值V调用对象F的@@hasInstance方法时，将执行以下步骤：

  1. 令 F 为 this 值.
  2. 返回 ? OrdinaryHasInstance(F, V).

该函数的name属性的值为“ [Symbol.hasInstance]”。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.

注：这是大多数函数继承的@@hasInstance的默认实现。 @@hasInstance由instanceof运算符调用，以确定某个值是否为特定构造函数的实例。诸如

v instanceof F

解释执行为

F[@@hasInstance](v)

构造函数可以通过在函数上暴露不同的@@hasInstance方法来控制instanceof将哪些对象识别为其实例。

此属性是不可写的且不可配置的，以防止可能被用来全局公开绑定函数的目标函数的篡改。

19.2.4 Function 实例

每个Function实例都是ECMAScript函数对象，并且具有在表27中列出的内部插槽。使用Function.prototype.bind方法（19.2.3.2）创建的函数对象具有在表28中列出的内部插槽。

函数实例具有以下属性：

19.2.4.1 length

“ length”属性的值是一个整数，表示该函数期望的典型参数数量。但是，该语言允许使用其他一些参数来调用该函数。当函数调用多个参数而不是由其“ length”属性指定的数字时，其行为取决于函数。此属性具有属性{[[[Writable]]：false，[[Enumerable]]：false，[[Configurable]]：true}。

19.2.4.2 name

没有与此规范关联的上下文名称的匿名函数对象不具有名称拥有的属性，而是继承％FunctionPrototype％的name属性。

19.2.4.3 prototype

可用作构造函数的函数实例具有prototype属性。每当创建这样的Function实例时，也会创建另一个普通对象，该对象是函数的prototype属性的初始值。除非另有说明，否则原型属性的值将用于初始化在将该函数作为构造函数调用时创建的对象的[[Prototype]]内部插槽。

该属性具有以下特性 { [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false }.

注：使用Function.prototype.bind或通过解释执行MethodDefinition（不是GeneratorMethod或AsyncGeneratorMethod）或ArrowFunction创建的函数对象没有原型属性。

19.2.5 HostHasSourceTextAvailable ( func )

HostHasSourceTextAvailable是实现定义的抽象操作，允许主机环境阻止为给定函数提供源文本。

在所有情况下，HostHasSourceTextAvailable的实现都必须正常完成。该操作必须在参数方面具有确定性。每次使用特定函数作为参数调用它时，它都必须返回相同的完成记录。 HostHasSourceTextAvailable的默认实现是无条件返回值为true的正常完成。

19.3 Boolean 对象

19.3.1 Boolean 构造器

布尔构造函数:

  • 是内部对象％Boolean％。

  • 是全局对象的Boolean属性的初始值。

  • 在作为构造函数调用时创建并初始化一个新的布尔对象。

  • 当作为函数而不是构造函数调用时执行类型转换。

  • 设计为可归类的。它可以用作类定义的extends子句的值。打算继承指定的Boolean行为的子类构造函数必须包括对Boolean构造函数的super调用，以使用[[BooleanData]]内部插槽创建和初始化子类实例。

19.3.1.1 Boolean ( value )

当使用参数值调用Boolean时，将执行以下步骤：

  1. 令 b 为 ToBoolean(value).
  2. 若 NewTarget 是 undefined, 返回 b.
  3. 令 O 为 ? OrdinaryCreateFromConstructor(NewTarget, “%BooleanPrototype%”, « [[BooleanData]] »).
  4. 设置 O.[[BooleanData]] 为 b.
  5. 返回 O.

19.3.2 Boolean 构造器属性

布尔构造函数：

  • 有一个[[Prototype]]内部插槽，其值是内部对象％FunctionPrototype％。
  • 具有以下属性：

19.3.2.1 Boolean.prototype

Boolean.prototype的初始值为内部对象％BooleanPrototype％。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.

19.3.3 Boolean 原型对象属性

布尔原型对象：

  • 是内部对象％BooleanPrototype％。
  • 是一个普通的对象。
  • 它本身是一个布尔对象；它具有一个[[BooleanData]]内部插槽，其值为false。
  • 有一个[[Prototype]]内部插槽，其值是内部对象％ObjectPrototype％。

抽象操作thisBooleanValue（value）执行以下步骤：

  1. 若 Type(value) 是 Boolean, 返回 value.
  2. 若 Type(value) 是 Object and value has a [[BooleanData]] internal slot，那么
    1. 令 b 为 value.[[BooleanData]].
    2. 断言：Type(b) is Boolean.
    3. 返回 b.
  3. 抛出 TypeError 异常。

19.3.3.1 Boolean.prototype.constructor

Boolean.prototype.constructor的初始值为内部对象％Boolean％。

19.3.3.2 Boolean.prototype.toString ( )

采取以下步骤：

  1. 令 b 为 ? thisBooleanValue(this value).
  2. 若 b 是 true, 返回 “true”; 否则，返回 “false”.

19.3.3.3 Boolean.prototype.valueOf ( )

采取以下步骤：

  1. 返回 ? thisBooleanValue(this value).

19.3.4 Boolean 实例属性

布尔实例是从布尔原型对象继承属性的普通对象。布尔型实例具有一个[[BooleanData]]内部插槽。内部插槽[[BooleanData]]是此布尔对象表示的布尔值。

19.4 Symbol 对象

19.4.1 Symbol 构造器

Symbol构造函数：

  • 是内部对象％Symbol％。
  • 是全局对象的Symbol属性的初始值。
  • 作为函数调用时，返回一个新的Symbol值。
  • 不适用于新运算符。
  • 不打算被子类化。
  • 可以用作类定义的extends子句的值，但是对其的super调用将导致例外。

19.4.1.1 Symbol ( [ description ] )

使用可选参数description调用Symbol时, 采取以下步骤：

  1. 若 NewTarget 不是 undefined, 抛出 TypeError 异常。
  2. 若 description 是 undefined, 令 descString 为 undefined.
  3. 否则，令 descString 为 ? ToString(description).
  4. 返回一个新的唯一Symbol值，其[[Description]]值为descString。

19.4.2 Symbol 构造器属性

Symbol构造函数：

  • 有一个[[Prototype]]内部插槽，其值是内部对象％FunctionPrototype％。
  • 具有以下属性：

19.4.2.1 Symbol.asyncIterator

Symbol.asyncIterator的初始值为常见的符号@@asyncIterator（表1）。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.

19.4.2.2 Symbol.for ( key )

使用参数键调用Symbol.for时，它将执行以下步骤：

  1. 令 stringKey 为 ? ToString(key).
  2. 对于GlobalSymbolRegistry列表中的每个元素e，执行
  3. 若 SameValue(e.[[Key]], stringKey) 是 true, 返回 e.[[Symbol]].
  4. 断言：GlobalSymbolRegistry当前不包含stringKey的条目。
  5. 令 newSymbol 为一个新的唯一Symbol值，其[[Description]]值为stringKey。
  6. 追加记录 { [[Key]]: stringKey, [[Symbol]]: newSymbol } 到 GlobalSymbolRegistry 列表。
  7. 返回 newSymbol.

GlobalSymbolRegistry是一个全局可用的列表。它是所有作用域共享的。在解释执行任何ECMAScript代码之前，它会初始化为一个新的空列表。 GlobalSymbolRegistry的元素是具有表48中定义的结构的记录。

表48：GlobalSymbolRegistry记录字段

字段名 值 用法
[[Key]] String 用于全局标识Symbol的字符串键。
[[Symbol]] Symbol 可以从任何作用域检索的symbol。

19.4.2.3 Symbol.hasInstance

Symbol.hasInstance的初始值为常见的符号@@hasInstance（表1）。该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.

19.4.2.4 Symbol.isConcatSpreadable

Symbol.isConcatSpread的初始值为常见的符号@@isConcatSpread（表1）。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.

19.4.2.5 Symbol.iterator

Symbol.iterator 的初始值为常见的符号 @@iterator（表1）。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.

19.4.2.6 Symbol.keyFor ( sym )

当使用参数sym调用Symbol.keyFor时，它将执行以下步骤：

  1. 若 Type(sym) 不是 Symbol, 抛出 TypeError 异常。
  2. 对于GlobalSymbolRegistry列表中的每个元素e（请参见19.4.2.2），执行
    1. 若 SameValue(e.[[Symbol]], sym) 是 true, 返回 e.[[Key]].
  3. 断言：GlobalSymbolRegistry当前不包含sym的条目。
  4. 返回 undefined.

19.4.2.7 Symbol.match

Symbol.match 的初始值为常见的符号 @@match（表1）。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.

19.4.2.8 Symbol.prototype

The initial value of Symbol.prototype is the intrinsic object %SymbolPrototype%.

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.

19.4.2.9 Symbol.replace

Symbol.replace 的初始值为常见的符号 @@replace（表1）。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.

19.4.2.10 Symbol.search

Symbol.search 的初始值为常见的符号 @@search（表1）。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.

19.4.2.11 Symbol.species

Symbol.species 的初始值为常见的符号 @@species（表1）。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }

19.4.2.12 Symbol.split

Symbol.split 的初始值为常见的符号 @@split（表1）。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }

19.4.2.13 Symbol.toPrimitive

Symbol.toPrimitive 的初始值为常见的符号 @@toPrimitive（表1）。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.

19.4.2.14 Symbol.toStringTag

Symbol.toStringTag 的初始值为常见的符号 @@toStringTag（表1）。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.

19.4.2.15 Symbol.unscopables

Symbol.unscopables 的初始值为常见的符号 @@unscopables（表1）。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }

19.4.3 Symbol 原型对象属性

Symbol原型对象：

  • 是内部对象％SymbolPrototype％。
  • 是一个普通的对象。
  • 不是Symbol实例，并且没有[[SymbolData]]内部插槽。
  • 有一个[[Prototype]]内部插槽，其值是内部对象％ObjectPrototype％。

抽象操作thisSymbolValue（value）执行以下步骤：

  1. 若 Type(value) 是 Symbol, 返回 value.
  2. 若 Type(value) 是对象和值具有一个[[SymbolData]]内部插槽，那么
    1. 令 s 为 value.[[SymbolData]].
    2. 断言：Type(s) 是 Symbol.
    3. 返回 s.
  3. 抛出 TypeError 异常。

19.4.3.1 Symbol.prototype.constructor

Symbol.prototype.constructor的初始值为内部对象％Symbol％。

19.4.3.2 get Symbol.prototype.description

Symbol.prototype.description是一个访问器属性，其设置的访问器函数undefined。它的get访问器函数执行以下步骤：

  1. 令 s 为 this 值.
  2. 令 sym 为 ? thisSymbolValue(s).
  3. 返回 sym.[[Description]].

19.4.3.3 Symbol.prototype.toString ( )

采取以下步骤：

  1. 令 sym 为 ? thisSymbolValue(this value).
  2. 返回 SymbolDescriptiveString(sym).
19.4.3.3.1 RS: SymbolDescriptiveString ( sym )

使用参数sym调用抽象操作SymbolDescriptiveString时, 采取以下步骤：

  1. 断言：Type(sym) is Symbol.
  2. 令 desc 为 sym’s [[Description]] value.
  3. 若 desc 是 undefined, 设置 desc 为空字符串
  4. 断言：Type(desc) is String.
  5. 返回 the string-concatenation of “Symbol(“, desc, and “)”

19.4.3.4 Symbol.prototype.valueOf ( )

采取以下步骤：

  1. 返回 ? thisSymbolValue(this value).

19.4.3.5 Symbol.prototype [ @@toPrimitive ] ( hint )

ECMAScript语言操作员调用此函数以将Symbol对象转换为原始值。hint的允许值为“默认”，“数字”和“字符串”。

使用参数hint调用@@toPrimitive方法时, 采取以下步骤：

  1. 返回 ? thisSymbolValue(this value)

该函数的name属性的值为“ [Symbol.toPrimitive]”。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true }.

19.4.3.6 Symbol.prototype [ @@toStringTag ]

@@toStringTag属性的初始值为字符串值“ Symbol”。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true }

19.4.4 Symbol 实例属性

符号实例是从Symbol原型对象继承属性的普通对象。符号实例具有一个[[SymbolData]]内部插槽。 [[SymbolData]]内部插槽是此Symbol对象表示的Symbol值。

19.5 Error 对象

当发生运行时错误时，将Error对象的实例作为异常抛出。 Error对象还可以用作用户定义的异常类的基础对象。

19.5.1 The Error 构造器

错误构造函数：

  • 是内部对象％Error％。
  • 是全局对象的Error属性的初始值。
  • 当作为函数而不是构造函数调用时，创建并初始化一个新的Error对象。因此，函数调用Error（…）等效于具有相同参数的对象创建表达式new Error（…）。
  • 设计为可归类的。它可以用作类定义的extends子句的值。打算继承指定的Error行为的子类构造函数必须包括对Error构造函数的super调用，以使用[[ErrorData]]内部插槽创建和初始化子类实例。

19.5.1.1 Error ( message )

使用参数消息调用Error函数时, 采取以下步骤：

  1. 若 NewTarget 是 undefined, 令 newTarget 为活动函数对象, 否则，令 newTarget 为 NewTarget.
  2. 令 O 为 ? OrdinaryCreateFromConstructor(newTarget, “%ErrorPrototype%”, « [[ErrorData]] »).
  3. 若 message 不是 undefined，那么
    1. 令 msg 为 ? ToString(message).
    2. 令 msgDesc 为 PropertyDescriptor { [[Value]]: msg, [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: true }.
    3. 执行 ! DefinePropertyOrThrow(O, “message”, msgDesc).
  4. 返回 O.

19.5.2 Properties of the Error 构造器属性

错误构造函数：

  • 有一个[[Prototype]]内部插槽，其值是内部对象％FunctionPrototype％。
  • 具有以下属性：

19.5.2.1 Error.prototype

Error.prototype的初始值为内部对象％ErrorPrototype％。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.

19.5.3 Properties of the Error 原型对象属性

错误构造函数：

  • 是内部对象％ErrorPrototype％。
  • 是一个普通的对象。
  • 不是Error实例，并且没有[[ErrorData]]内部插槽。
  • 有一个[[Prototype]]内部插槽，其值是内部对象％ObjectPrototype％。

19.5.3.1 Error.prototype.constructor

Error.prototype.constructor的初始值为内部对象％Error％。

19.5.3.2 Error.prototype.message

Error.prototype.message的初始值为空字符串。

19.5.3.3 Error.prototype.name

Error.prototype.name的初始值为“ Error”。

19.5.3.4 Error.prototype.toString ( )

采取以下步骤：

  1. 令 O 为 this 值.
  2. 若 Type(O) 不是 Object, 抛出 TypeError 异常。
  3. 令 name 为 ? Get(O, “name”).
  4. 若 name 是 undefined, 设置 name 为 “Error”; 否则，设置 name 为 ? ToString(name).
  5. 令 msg 为 ? Get(O, “message”).
  6. 若 msg 是 undefined, 设置 msg 为空字符串，否则设置 msg 为 ? ToString(msg).
  7. 若 name 是空字符串 返回 msg.
  8. 若 msg 是空字符串 返回 name.
  9. 返回 名称 的字符串连接，代码单元0x003A（:），代码单元0x0020（空格）和msg。

19.5.4 Properties of Error 实例属性

错误实例是继承自错误原型对象的属性并具有[[ErrorData]]内部插槽（其值undefined）的普通对象。 [[ErrorData]]的唯一指定用途是将Error和NativeError实例标识为Object.prototype.toString中的Error对象。

19.5.5 本标准值中使用的原生错误类型

当检测到运行时错误时，将引发以下NativeError对象之一的新实例。所有这些对象都共享相同的结构，如19.5.6中所述。

19.5.5.1 EvalError

此规范当前未使用此异常。保留该目的是为了与本规范的先前版本兼容。

19.5.5.2 RangeError

表示不在允许值范围内的值。

19.5.5.3 ReferenceError

表示已检测到无效参考值。

19.5.5.4 SyntaxError

表示已发生解析错误。

19.5.5.5 TypeError

当其他NativeError对象都不是失败原因的适当指示时，TypeError用于指示操作失败。

19.5.5.6 URIError

表示使用一种全局URI处理函数与其定义不兼容。

19.5.6 NativeError 对象结构

当ECMAScript实现检测到运行时错误时，它将引发19.5.5中定义的NativeError对象之一的新实例。这些对象中的每一个都具有以下描述的结构，仅在原型对象的name属性和原型对象的实现定义的消息属性方面有所不同，只是用作构造函数名称的名称而不是NativeError。

对于每个错误对象，应使用19.5.5中的相应错误对象名称替换对定义中对NativeError的引用。

19.5.6.1 NativeError 构造器

每个NativeError构造函数：

  • 当作为函数而不是构造函数调用时，创建并初始化一个新的NativeError对象。将对象作为函数调用等效于将其作为具有相同参数的构造函数调用。因此，函数调用NativeError（…）等效于具有相同参数的对象创建表达式new NativeError（…）。

  • 设计为可归类的。它可以用作类定义的extends子句的值。打算继承指定的NativeError行为的子类构造函数必须包括对NativeError构造函数的super调用，以使用[[ErrorData]]内部插槽创建和初始化子类实例。

19.5.6.1.1 NativeError ( message )

使用参数消息调用NativeError函数时, 采取以下步骤：

  1. 若 NewTarget 是 undefined, 令 newTarget 为 活动函数对象, 否则，令 newTarget 为 NewTarget.
  2. 令 O 为 ? OrdinaryCreateFromConstructor(newTarget, “%NativeErrorPrototype%”, « [[ErrorData]] »).
  3. 若 message 不是 undefined，那么
    1. 令 msg 为 ? ToString(message).
    2. 令 msgDesc 为 the PropertyDescriptor { [[Value]]: msg, [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: true }.
    3. 执行 ! DefinePropertyOrThrow(O, “message”, msgDesc).
  4. 返回 O.

在步骤2中传递的字符串的实际值是“％EvalErrorPrototype％”，“％RangeErrorPrototype％”，“％ReferenceErrorPrototype％”，“％SyntaxErrorPrototype％”，“％TypeErrorPrototype％”或“％URIErrorPrototype％”，即对应于正在定义哪个NativeError构造函数。

19.5.6.2 NativeError 构造器属性

每个NativeError构造函数：

  • 有一个[[Prototype]]内部插槽，其值是内部对象％Error％。
  • 有一个name属性，其值是字符串值“ NativeError”。
  • 具有以下属性：
19.5.6.2.1 NativeError.prototype

NativeError.prototype的初始值为NativeError原型对象（19.5.6.3）。每个NativeError 构造函数有一个独特的原型对象。

该属性具有以下特性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }.

19.5.6.3 NativeError 原型对象属性

每个NativeError原型对象：

  • 是一个普通的对象。
  • 不是Error实例，并且没有[[ErrorData]]内部插槽。
  • 有一个[[Prototype]]内部插槽，其值是内部对象％ErrorPrototype％
19.5.6.3.1 NativeError.prototype.constructor

给定NativeError构造函数的原型构造函数属性的初始值为相应的内部对象％NativeError％（19.5.6.1）。

19.5.6.3.2 NativeError.prototype.message
  • 是内部对象％Object％。
  • 是全局对象的Object属性的初始值。
  • 创建对象构造函数：
19.5.6.3.3 NativeError.prototype.name

给定NativeError构造函数的原型name属性的初始值是String值，该值由构造函数的名称（用于代替NativeError的名称）组成。

19.5.6.4 NativeError 实例属性

NativeError实例是从其NativeError原型对象继承属性并具有[[ErrorData]]内部插槽（其值undefined）的普通对象。 [[ErrorData]]的唯一指定用途是由Object.prototype.toString（19.1.3.6）来标识Error或NativeError实例。