ECMAScript 2016 Language Specifi

4.2.1对象

尽管Js包括对类的定义语法，Js对象并不是和C++，Smalltalk，或者java一样功能上功能上基于类。取而代之的是对象可以通过多种方式被创建，包括通过一个声明或者通过创造对象然后把初始值分配到对应的原型来执行初始化所有或者部分的构造体。每个构造体都是一个函数，该函数有一个叫做“protoytpe”的性质，被用来实现基于原型继承和原型共享。对象用构造体通过new创建成，比如 new Date(2009,11)创建了一个新的日期对象。不使用new调用构造体后的结果取决于构造体本身。比如，Date()善成一个表示当前日期和时间的字符串而不是一个对象。

每个通过构造体创建的对象都有一个隐藏引用(叫做对象的原型)来表示构造体的prototyep原型。此外，一个原型可能有一个不能为NULL的隐藏引用联系到他的原型，以此类推。这叫做原型链。当一个引用在对象中被用于连接一个原型。这个引用是对应原型的包含这个名字的原型的原型链里面第一个对象的原型所使用的名字。

插图

在基于类的面向对象语言中，常规来说，实例携带状态，类携带方法，只有构造和行为会被继承。在Js中，状态和方法都由对象携带，而构造，行为和状态都可以继承。

不直接博涵原型中包含的特定属性的所有对象会共享此属性和它的值。

CF是一个构造体(也是个对象)。五个对象是通过使用New方式创建的：cf1, cf2, cf3, cf4, cf5。这些对象每个都包含叫做q1,q2的原型。虚线表示隐藏的原型关系；所以，举个例子，cf3的原型是CFp。构造体CF有两个自己的原型，叫做P1和P2，对于CFp，cf1，cf2，cf3，cf4，cf5来说是无法访问的。在CFp中的叫做CFP1的原型由cf1，cf2，cf3，cf4，cf5共享（但不是通过CF），任何在CFp中找到的隐藏属性来呢都不会被命名为q1,q2或者CFP1。需要注意到的是CF和CFp中并没有隐藏的原型链。

不像大部分基于类的对象语言，原型可以通过为他们添加值来动态的加入到对象中。这是说，用来命名或者赋值给任何已经被构造的对象的原型中时构造体不是必须的。上图中，可以为共享的原型cf1，cf2，cf3，cf4，cf5通过附一个新值给CFp中的原型来实现共享原型。

尽管Js对象并不是内在基于类的，还是可以很方便的基于构造体，函数，对象原型和方法的常规模式来定义类class的抽象。Js的内奸对象自己也是按照一个类class的模式。从ECMAScript2015开始，Js语言会包括句法类的定义，它允许程序员利用内建对象简明的定义类。

4.2.2 ECMAScript的严格变量

Js语言意识到有这种可能性：一些语言用户也许希望限制语言中可使用的一些特性的。基于对于安全性的考虑，他们希望有这种限制来避免一些错误特性，或更强劲的错误检查，或者一切其他理由。为了支持这种可能性，Js定义了语言的严格变量。严格变量排除了一些常规Js语言的指定的句法和语义，修改了一些语义细节的特性。严格模式还指定了对于语言非严格模式中不会跑出错误的情况会跑出额外的错误的条件。

Js的严格变量通常关联到语言的严格模式。Js的严格模式的语法语义下的选择和使用明确的是由单独Js源文本单元这一层构成。因为严格模式在句法原文本单元中被选择，所以严格模式只有在本地同一块源文本单元中强加限制条件。严格模式不会限制或修改任何需要操作各种源文本数据的Js句法。一个完整的Js程序可能会有严格模式代码和非严格模式代码构成。在这种情况下，严格模式只对那些被定义为严格模式的源文本单元起作用。

为了确认这个说明，一个Js实现方式需要实现非严格模式和严格模式。而且一个Js实现方式需要能支持严格模式和非严格模式结合起来运行的程序