JavaScript：原型和继承(下篇)

① 读取和写入继承的属性

每个类都有一个带有一组属性的原型对象。但是，一个类有很多的潜在的实例，每个实例都继承这些原型属性。由于一个原型属性可以被很多对象继承，JavaScript必须在读取和写入属性值的时候，执行一种基本的不对称。当读取对象o的属性p的时候，JavaScript首先检查o是否有一个名为p的属性。如果没有，它接下来检查o的原型对象是否有一个名为p的属性。这使得基于原型的继承能够奏效。

另一方面，当写入一个属性值的时候，JavaScript不会使用原型对象。要探究其原因，可以考虑如果它这么做的话会发生什么。假设要设置属性o.p的值，而对象o没有一个名为p的属性。进一步假设JavaScript继续前进并查找到属性p在o的原型对象中，并且允许设置该原型的属性。现在，已经改变了整个一类对象的p的值，而这并非本意。因此属性继承只在读取属性值的时候发生，而当写入属性值的时候不会发生。如果设置了一个对象o的p属性，而p属性是o从它的原型那里继承而来的，那么所发生的只不过是直接在o中创建了一个新的p属性。既然o有了自己的名为p的属性，它不再从自己的原型中继承p的值。当读取p的值的时候，JavaScript首先查看o的属性，既然它发现p定义于o中，它就不需要查找原型对象，也就不会找到定义于原型中的p属性的值。我们有时候说，o的属性p遮盖或隐藏了原型对象中的属性p。原型继承可能是一个容易混淆的话题，下图解释了我们讨论的概念。

图片上传失败，网速优时补上。

由于原型属性是由一个类的所有对象共享的属性，所以通常，使用它们来定义对于类中的所有对象来说都相同的属性，才显得有意义。这使得原型成为定义方法的理想工具。具有不变的值(如数学常量)的其他属性也很适合用原型属性来定义。如果类定义了一个属性，它经常使用一个默认值，那么可以在一个原型对象中定义这个属性及其默认值。少数不想使用默认值的对象，可以自己创建该属性的私有的非共享的拷贝，并定义它们为自己的非默认的值。

② 扩展内建类型

不仅用户定义的类有原型对象。像String和Date这样的内建的类，也有原型对象，并且可以为它们赋值。例如如下的代码定义了一个在所有的String对象中都可用的方法：

String.prototype.endsWith=function(c){
return (c==this.charAt(this.length-1))
}

在String原型对象中定义了新的endsWith( )方法后，可以像下面这样使用它：

var message="hello world";
message.endsWith('h');  //false
message.endsWith('d');  //true

反对使用自己的方法来扩展内建的类型。充足的理由是，如果这么做，本质上创建了核心JavaScript API的自己的定制版本。如果该代码包含了人们没有听说过的方法，那些必须阅读和维护该代码的任何其他程序员都可能会觉得代码太另人混淆了。除非创建一个底层的JavaScript帧并且期望很多其他的程序员都采用该帧，负责最好还是对内建类型的原型对象敬而远之。

注意绝对不能为Object.prototype添加属性。所添加的任何属性和方法都可以用一个for/in循环来枚举，将它们添加到Object.prototype就会使它们在每个单个的JavaScript对象中都可见。一个空的对象{}应该没有可枚举的属性。任何添加到Object.prototype的内容都变成这个空对象的一个可枚举属性，那么把对象用作关联数组的代码可能会产生问题。

这里展示的扩展内建对象类型的技术，只能保证对核心JavaScript的本地对象起作用。当JavaScript嵌入到其他环境，如一个web浏览器或者一个Java应用程序中，它就访问了另外的宿主对象，如代表web浏览器文档内容的对象。这些宿主对象一般都没有构造函数和原型对象，通常无法扩展它们。

在一种情况下，扩展一个内建的本地类的原型是安全而有用的，这就是当一个旧的或不兼容的JavaScript实现缺少某个标准方法的时候，为原型添加这个标准方法。