我试图通过一点来理解 ECMAScript 2015 规范:对象的内部插槽。但是这一段我觉得很不清楚,尤其是这句话:
内部槽对应于与对象相关联并被各种 ECMAScript 规范算法使用的内部状态。
(它使用正确的语法吗?)有人能用英语解释这个概念吗?
到目前为止我能理解的:
- 内部插槽不是属性
- 内部插槽在创建对象期间使用,但不会添加到对象本身
- 内部插槽最初是或具有值
undefined
我试图通过一点来理解 ECMAScript 2015 规范:对象的内部插槽。但是这一段我觉得很不清楚,尤其是这句话:
内部槽对应于与对象相关联并被各种 ECMAScript 规范算法使用的内部状态。
(它使用正确的语法吗?)有人能用英语解释这个概念吗?
到目前为止我能理解的:
undefined
内部槽/方法是规范用来定义所需行为的伪属性/方法。(“抽象操作”是规范的相关机制。)槽表示状态(值),方法描述算法(行为)。它们可能对应也可能不对应于引擎使用的对象的属性,但它们不可用于用户代码,除非由公共 API 的某些部分公开。引擎使用的实际实现可能与内部方法草拟的非常不同,但为了符合要求,它们必须产生与内部方法一致的行为或结果。
[[StringData]]
内部插槽的行为String
,例如new String("whatever")
,用包括[[StringData]]
表示值的内部槽的术语来描述(whatever
在这种情况下)。用户代码不能直接访问内部槽,但是String.prototype.toString()
(例如(new String("whatever")).toString()
)是根据thisStringValue()
抽象操作定义的,抽象操作是根据返回 的值来描述的[[StringData]]
。换句话说,String.prototype.toString()
公共 API 本质上是一个暴露[[StringData]]
.
[[OwnPropertyKeys]]
内部方法的行为Object.keys()
是用包括调用[[OwnPropertyKeys]]
内部方法的术语来描述的。请注意,不同种类的对象,例如普通对象(例如Object
)和奇异对象(例如String
)可能对 有不同的定义[[OwnPropertyKeys]]
。当[[OwnPropertyKeys]]
在规范中“调用”时,指的是适用类型的定义。还有一些不变的特征适用于任何对象类型的定义。
它只是一种用来精确描述对象应该如何表现的技巧。
它们不是对象的真正成员,即使在某些实现中,您也不允许使用可移植代码访问它们。
换句话说,它是一种编写规范的方法,允许使用命令式代码来描述行为,这种方式在形式上比仅使用冗长的“自然语言”描述行为应该更精确。