AJAX之旅(2)：javascript中类的深入研究－实现和继承

上回说到了类的定义，prototype通过一个全局对象Class从形式上将函数和类区别开来。既然是类，那么就有抽象类，具体类，类的继承，同时，类的成员可以有实例成员和静态成员。下面来看一下prototype是怎么做到这些的。
先看prototype中的以下的代码：

var Abstract = new Object();

 Object.extend = function(destination, source) {
   for (property in source) {
     destination[property] = source[property];
   }
   return destination;
 }

 Object.prototype.extend = function(object) {
   return Object.extend.apply(this, [this, object]);
 }
第一个声明了一个对象Abstract，Object其实是一个函数，他没有任何成员，所以是一个空类，所以Abstract也就没有任何成员。这个暂时不说，后面可以看到这是抽象类的基础。先解释以下这个语法：

function.member=function(){}
在这种情况下，function一般都是已经定义过的，这条语句的作用是给function增加一个静态成员member，member的内容是等号后面的。如上面第二段代码Object.extend=……，就是给Object这个类增加了一个静态方法extend。ok，我们知道了怎样给一个类定义静态成员，那么你一定很想知道实例成员怎么定义，很简单，在类名和成员名之间加上prototype：

function.prototype.member=function(){}
 
prototype不仅可以这么使用，还可以：

 function.prototype={
  member1:function(){……},
  member2:"abc",
  member3:function(){……}
 }
这样就是实现了实例成员的定义。但prototype代表什么意思呢？在第一篇我说过，直接用{}括起来，表示一个对象，如Prototype，Class都是这样定义的全局对象。而看下面一种用法，prototype后面就是一个{}的结构，难道它也是对象？是的，没错，prototype其实也是一个对象！在javascript里，一个对象我们可以任意增加它的成员，用如下的语法：

object.member=function(){……};
只要经过这样的定义，一个对象就可以立刻具有member这个方法！javascript就是这么神奇！
好，我们现在知道了prototype是一个对象，而function是一个函数或者类，那么我们可以认为prototype是任何一个类（函数）都内部保留的一个静态成员。它的功能就是存储这个类的所有成员指针，但这些成员都只是原型，没有经过初始化，这也符合prototype的原义。你可以随时通过prototype这个对象来扩充成员。在new一个类时，prototype的成员就经过初始化，然后赋给了实例化的对象。

上面第三段代码Object.prototype.extend=……，就是给Object增加了一个实例方法extend，实例方法中就可以引用this指针，指向由这个类实例化的对象本身。当然，这个对象就具有成员extend。

继续之前，先了解一下两个语句：

for(var p in object){}
 method.apply(object,arguments);
第一句：列举出一个变量的所有成员，如果是函数，那么是所有静态成员；如果是对象，那就是所有实例成员，p的类型是一个字符串。表示成员的名称。引用一个成员不仅可以用variabel.member，还可以用variabel["member"]。反过来，赋值也是如此。这就给枚举一个变量的成员带来了很大方便。

第二条语句：将method这个方法应用到object去执行，参数是arguments这个数组。注意：method并不是object的成员。但是，我们可以认为这条语句执行的意思就是：object.method(arguments)。这是一个很重要的方法，后面会经常用到，你也会逐渐熟悉它的。

下面继续extend，它是一个非常重要的方法，可以看到它既是类Object的静态成员，也是其实例成员，那它有什么作用呢？让我们来看：它接收两个参数，destination和source，如果destination和source都是类，那么它的功能是把类source的所有静态成员都复制给类destination，如果destination和source都是对象，那么是把所有实例成员都复制过来。这时destination中如果已经有同名成员，那么这个成员将被覆盖。也就是说让destination具有了source的所有成员，并且函数返回这个destination。下面看extend作为Object的实例成员：

Object.prototype.extend = function(object) {
   return Object.extend.apply(this, [this, object]);
 }
开始有点晕了，不过不要急，还是可以看懂的，apply语法刚刚已经讲过了，它的调用者是一个方法，而Object.extend是一个静态方法，它被应用到this上面，也就是Object的实例，假设为obj，后面方括号是一个数组，包括两个成员，this和object。这个数组实际上就是Object静态成员extend的arguments参数。那么这条语句就相当于执行

obj.extend(this,object);
this不解释了，表示本身。object是什么？参数，恩，是实例方法extend传来的参数，不要混淆。extend呢？obj并没有定义extend实例成员，但通过apply，它可以把Object的静态成员extend拿来使用，再看一下extend的函数体：

Object.extend = function(destination, source) {
   for (property in source) {
     destination[property] = source[property];
   }
   return destination;
 }
因为obj是对象，object也是对象，即destination和source都是对象，于是函数的作用就是使obj具有object的所有成员。并且会返回obj。听起来有点拗口，但逻辑很简单：让obj“继承于”object！很好，我们看到了继承，但你肯定会问，对象的继承，第一次听说啊，我们讲继承都是讲的类的继承。没错，现在的确还没有看到真正的类继承，但已经近在眼前了：类不就是有个prototype吗，而prototype是对象！

好，想到这一点，类的继承语法看似很简单了：

b.prototype.extend(a.prototype);
让b继承a。
可是事实却没那么简单：prototype是存放方法原型指针，extend方法没有初始化，不能使用！要使用extend，就必须实例化一个对象。还是看看prototype是怎么做的吧：

b.prototype=(new a()).extend(b.prototype);
很高明的办法！充分说明了函数其实也是一个变量的道理。先实例化a对象，然后在它基础上调用extend，将所有的成员b.prototype的成员覆盖到a的对象，然后把这个a对象再赋值给b.prototype。完成了b从a继承的工作。在实际使用中，一般的用法都是：

b.prototype=(new a()).extend({});
因为让一个b继承自a，通常b之前都是一个未定义的类，所以后面的{}中其实就可以定义类成员。当然，你也可以先定义，再继承，只是和传统概念有所区别了。