跟传统面向对象语言比起来,js在继承关系方面比较特别,如果第一次看恐怕会有些抓狂,偶就是这样(又透露小白本质#=_=),从哪里说起好呢?函数调用?
js中函数的调用方式大致可分以下几种:
1. 普通函数,直接调用
function Hi(){ alert(233); } Hi(); var f = function(){ alert(666); }; f();
2. 作为对象的方法调用
var obj = { x:1, m:function(){ alert("hello"); } }; obj.m();
3. 构造函数调用,即new 表达式
var a = new Array(1,2,3);
4. 间接调用,最常用应该是call或apply了
function f(){ alert(this.name); } var obj = { name:"Apple" }; f.call(obj); // 间接调用函数f,输出Apple
顾名思义就是非直接的调用一个函数了,这里的f.call(obj)的相当于obj.f(),如果直接写obj.f()肯定是错误的,因obj对象压根没定义这个方法,这便是奇妙的地方:obj对象通过call间接调用了f()函数。另一个跟call相似的函数是apply,道理相同。
还是要牢记在js中除了null和undefined外都是对象,它们的基类都是Object,Object是所有对象的祖宗(好比六道仙人他妈),函数自然也是对象,而且js中所有的函数会自动继承Function这个类(当然最终继承自Object),在我们写js代码时,环境中已经有了这些类,Function这个类里面就定义了一些方法,其中就有call和apply,所以f才能打点这么调。
call与apply方法的第一个参数是调用者所在的对象,比如这里想达到让obj来调用f()的目的,在f()函数中要对obj对象的属性进行引用,那么第一个参数就传入obj这个对象,这样f()函数中的上下文就是(context,比如全局作用域在浏览器中上下文是window对象,this是对它的引用)obj这个对象,所以在f()函数中this.name引用的是obj的name属性,这个this便是对obj的引用。
如果f()函数需要传参数的话,用call这种间接调用的方式怎么写?这便是call与apply的不同之处了,假如现在f()是这样的:f(name, age){...},那么这两种方式是:
call写法:f.call(obj, "Li", 23);
apply写法:f.apply(obj, ["Li", 23]);
很明显的区别:call以单个参数形式、逗号分隔传入,有几个写几个,放在第一个对象参数后面,apply则把所有要传入的参数统一放在一个数组中。
有时调用apply第一个对象参数没有或不必要,可以传undefined或null,而且在全局作用域中用这种间接形式调用时,第一个参数可以是全局对象引用this,或者直接写undefined时,它会自动去把这个全局下文环境作为第一个参数对象,因此我们平常的写的函数可以有很多奇怪的写法:
// 一般写法 Math.max(1, 5, 7, 2); // 奇怪写法 Math.max.call(Math, 1, 5, 7, 2); Math.max.call(window, 1, 5, 7, 2); Math.max.call(this, 1, 5, 7, 2); Math.max.call(undefined, 1, 5, 7, 2); Math.max.apply(Math, [1, 5, 7, 2]); // max函数可传入不定个数参数
大概设计者想让天下没有难调的方法,所以出这么一招,这样的话,理论上任何对象的可调方法,几乎都能被其他无关的对象调用。
js有面向对象,却没有直接定义的类(第一次听很神奇),对象的实现由构造函数加调用表达式完成
function Game(name){ this.name = name; } var g = new Game("2048");
在调用new的时候,对象已经形成,接着运行Game函数,Game函数内部的上下文就变成了这个实例化对象的环境,this便是对这个实例化对象的引用,所以Game构造函数里边的语句只是在对这个对象进行一下组装,就好比:
var g = {}; g.name = "2048"; // 对象已生成,这里对它设置一些属性
js的继承方式大致分两种,第一种就是像平常那些语言(php、c++、java等),比如class A extends B{...},class A : public B{...},通过对父类的继承,称为类式继承。一般来说这种方式会在子类构造函数中调用父类构造函数(不是必须),以初始化父类对象中的一些属性、方法等,js同理也会这样
function A(){ this.a = "A"; } function B(){ this.b = "B"; A.call(this); // 继承A,调用它的构造函数 } var bObj = new B(); console.log(bObj.a); // A console.log(bObj.b); // B
这里便用到了间接调用,而且一般也会这么写,因为需要传入子对象的上下文this引用。父类构造函数A是个函数对象,它的调用只是在子类加了些东西进来而已,或者说初始化父类的属性,它的效果跟下面一样:
function B(){ this.b = "B"; var self = this; function A(){ self.a = "A"; } // 直接定义一个函数,为这个对象添加属性 A(); // 调用它 } var bObj = new B(); console.log(bObj.a); // A console.log(bObj.b); // B
类式继承就这么简单,调用了下就表示继承了另一个类,但并不常用。它的好处是可以在子类实例化时直接给父类的构造函数传参
function A(platform){ this.platform = platform; } function B(name, platform){ this.name = name; A.call(this, platform); // 传参给父类 } var bObj = new B("2048", "ios");
第二种是原型链继承,首先要大概知道原型(prototype)是什么。在js中每一个函数都关联着一个prototype属性,这是语言本身的机制,这个prototype会指向一个对象,这个对象存放着一些方法和属性,如果B构造函数的prototype属性被赋值为A构造函数创建的实例,就完成了一次原型式继承:B的实例继承自A,类似下面child继承Parent(例1)
function Parent(name){ this.name = name; } function Child(age){ this.age = age; } Child.prototype = new Parent("Li"); var child = new Child(25); console.log(child.name); // Li console.log(child.age); // 25
Child.prototype = new Parent("Li")就表示Child的实例化对象继承了Parent这个类,prototype这种继承形式被很多人诟病,但它确实有强大的一面。例如我们都知道对象类型的变量是引用,引用是共享地址的,一个的属性值改变了,另一个的值跟着变,如下
function Game(){ this.name = "2048"; } var o1 = new Game(); console.log(o1.name); // 2048 var o2 = o1; o2.name = "gta"; console.log(o1.name); // gta
当从Game创建对象时,两个对象的方法是完全分开的,各有一份
function Game(){ this.name = "2048"; this.m = function(name){ this.name = name; } } var o1 = new Game(); var o2 = new Game(); console.log(o1.m == o2.m); // false,两个对象的方法不相等 o1.m("gta"); o2.m("angry bird"); console.log(o1.name); // gta console.log(o2.name); // angry bird,o1、o2各改各的值
但在原型中定义的属性
// 以上例为基础 Game.prototype.f = function(){ this.name = "unknown"; }; console.log(o1.f === o2.f); // true,o1、o2的f方法相等
即在prototype中定义的属性,是被所有实对象共享的,普通对象的属性,每实例化一次,它们的属性、方法就被复制一份存到各自的对象里面去,但prototype中定义的只有一份,因为一个构造函数只关联一个prototype,而所有的对象从这个构造函数实例化而来。故理论上所有函数均可作为构造函数并用作原型继承(当然还有一点限制),他们都有prototype属性。
那么当具体访问对象的某一属性时,如何找到?比如o1.name,首先在o1对象中找,当它自己对象中没有该属性时,他会到它的构造函数的原型---Game.prototype所指向的对象中去找,而Game.prototype又是由另一个构造函数设为A,实例化得到的对象,这个对象对应的构造函数A也有自己的prototype---A.prototype,当在Game.prototype中没找到时,又会去A.prototype对中去找,直到最终的老祖宗Object的prototype---它是undefined,此时如还未找到就会报错,找到了的话在哪个里面就用哪个。这种一级一级的、回溯的prototype形成的链式结构被称为原型链,这种方式也被称为原型链继承。
function Animal(){ this.name = ‘animal‘; } function Dog(){ this.type = ‘dog‘; } Dog.prototype = new Animal(); // 原型继承 function Husky(){ this.weight = 2.3; } Husky.prototype = new Dog(); var o = new Husky(); // 顺着原型链查照 console.log(o.name); console.log(o.type); console.log(o.weight);
原型的第一大优点就是属性(方法)只保留一份,各对象共享,节省空间,还有个优点是可以动态的添加属性。上例中,o1、o2已经实例化了,在函数对象Game的prototype属性上添加其他值时,对象依然可以访问到,原因就是先找自己对象中的属性,再顺着原型链找,原型中有那就用它了。
只有函数才有prototype属性且可以访问到,其他对象实例是没有的,但其他对象实例有一个__proto__,据说它是一个内在的指针,指向对象所继承的类,很多浏览器都视其为私有属性而不可访问,貌似火狐将其暴露了出来。在chrome的控制台中可以大致可以看到这种风结构
对象的__proto__指向Object,数组的__proto__指向Array,正因为如此,我们才能调用到一些对象的方法,比如var a = [1,2,3]; a.push(4);,因为push已经被封装在Array里面了,它们在调用属性、方法时也会顺着__proto__这个链去找。
原型或者说原型对象,是类的唯一标识,也就是说当两个对象继承自同一个原型对象时,它们才属于同一个类的实例。当两个构造函数的prototype是指向同一个对象时,由它们创建的实例才是同类的,如何判断对象是不是属于某个类?可用instanceof运算符,如
o instanceof Husky
如果o继承自Husky.prototype(注意不是Husky),则返回true。既然这样为何不直接写 o instanceof Husky.prototype ?结果报错了:instanceof右边必须是个函数。另一种方法是isPrototypeOf,如
Husky.prototype.isPrototypeOf(o)
若o为Husky的实例化对象则返回true,Husky.prototype是o的原型。
如果观察了chrome的控制台打印对象的话,特别是通过new表达式生成的对象,就会发现在对象的原型__proto__所指的对象中有一个constructor属性,这个属性的值就是它自己的构造函数(对象)
对于一个完整的原型对象来说,它的constructor属性是它本身的构造函数对象。所以更好的处理是这样的
function Animal(){ this.name = "animal"; } function Dog(){ this.type = "dog"; } Dog.prototype = new Animal(); Dog.prototype.constructor = Dog; // 将原型constructor属性指向自己的构造函数
这里有几个容易让人糊涂的东西:构造函数对象、实例化对象、原型对象。梳理一下:
- js中除了null和undefined外都是对象,函数当然也是对象,定义了一个函数function fun(){}(不管fun是否作为构造函数使用),fun就是个函数对象;
- 实例化对象,通过new结合构造函数创建的对象,前面说过,类似function Game(){ this.name=”2048”; } var g = new Game(); ,当调用new的时候实例化对象已经生成了,然后再执行Game函数体代码,函数的上下文变成了这个对象,this是对这个对象的引用,this.name只不过是给这个对象添加属性,即构造函数内的代码只是对已生成的对象进行一下组装而已;
- 原型prototype是构造函数对象的一个属性而已,只不过它恰好也是一个对象,通过原型链继承的实例化对象,继承自这个原型所指向的对象。这个prototype对象自己也有一些属性,比如constructor,它的值又是自己的这个函数对象。如下图
稍微标准点的原型式继承不是直接B.prototype = new A(),而是封装到函数里面,如下
function inherit(obj){ // 返回继承自对象obj的新实例 if(obj === null) return null; if(Object.create) // 使用ECMAScript5函数 return Object.create(obj); var t = typeof obj; if(t != "object" && t != "function") return null; function f(){} // 定义一个空函数 f.prototype = obj; return new f(); // 返回继承原型的实例对象 } var obj = { x:5, m:function(){console.log(this.x);} }; var subObject = inherit(obj); // 子对象
这里用到了Object.create()函数,它的第一个参数是对象,如果只传第一个参数如obj,它将返回指定原型为obj对象的新对象。如果Object.create不存在,创建一个空函数,让函数的prototype指向obj,再返回以这个空函数的实例对象,也完成了原型式继承(有的把这个称作寄生式继承)。再看下例
function A(){ this.name = "A"; } function B(){ this.type = "B"; } B.prototype = inherit(A.prototype); B.prototype.constructor = B; // 将constructor指向自己的构造函数 var o = new B();
o是B的实例,B是A的子类,则需保证B的原型对象继承自A的原型对象,如果不这样,B的原型只继承自Object.prototype,那么o跟一个普通实例没有差别。OK,这种写法,o里面有没有属性name?事实是没有。前面在说类式继承时,父类构造函数在子类构造函数里面调用一下,其实相当于是给子类实例添加了属性,所以子类实例才拥有这个属性,这里B的prototype只继承自A的prototype,也不是前面的原型继承时写的B.prototype = new A()(这样写o.name是存在的),都是原型继承,两种不同写法造成了这一差别。所以原型继承的核心还是在于:o的构造函数对象B的prototype原型到底包没包含所需的属性。
针对以上类式继承和原型式继承各自的优缺点,又来了个新方式:组合继承。组合当然是兼具类式继承和原型式继承的优点了。
function Parent(){ this.name = "parent"; } function Child(){ this.type = "child"; } // 先处理原型链 Child.prototype = new Parent(); Child.prototype.constructor = Child; // 然后添加需继承的属性和方法 Child.prototype.p = "2333"; Child.prototype.f = function(){ console.log("hello"); }; var o = new Child();
以上只是零散的组合先设置好原型链,然后手动给原型添加属性和方法,代替类式继承的直接传参,以此克服弊端。如果写的标准点,首先准备个给原型添加属性的小函数:
// 将对象q的属性添加到p中 extend(p, q){ if(p == null || q == null) return; if(typeof p != "object" || typeof q != "object") return; for(var prop in q) p[prop] = q[prop]; }
另一个工具工具函数
/* * 实现子类的继承 * @param superClass 父类构造函数对象 * @param subClass 子类构造函数对象 * @param methods 包含函数属性的对象 * @param props 包含属性的对象 * return function 组合继承后的构造函数 */ function inheritClass(superClass, subClass, methods, props){ // 使子类在原型上继承自父类 subClass.prototype = inherit(superClass.prototype); subClass.prototype.constructor = subClass; // 将所需方法添加至子类原型中 if(typeof methods == "object") extend(subClass.prototype, methods); // 将所需属性添加至子类原型中 if(typeof props == "object") extend(subClass,.prototype, props); // 返回子类 return subClass; }
superClass是父类构造函数,subClass是子类构造函数,methods与props为将要添加的方法和属性的集合,以对象的方式包装起来。借用了inherit和extend方法,inherit方法设置好原型链,为了克服无法直接传参的弊端,将方法和属性包装好后,动态的添加到子类构造函数的prototype中。
如inheritClass方法添加方法和属性时,这样写extend(subClass, methods),将给subClass这个函数对象添加的是私有属性,对象打点无法访问,只有构造函数打点可以访问,在其他语言中,静态变量或常量类似这种形式,所以这些属性在js中称为类的私有属性。
测试代码打印下看效果,依然在chrome控制台
function Parent(){ this.p = "parent"; } function Child(){ this.c = "child"; } // 添加的方法对象 var mObj = { sayHello:function(){ console.log("hello") } }; // 添加的属性对象 var pObj = { pos:"developer" }; // 实现继承 var InheritedChild = inheritClass(Parent, Child, mObj, pObj); var obj = new InheritedChild(); console.log(obj);
console.table打印一个树形结构,obj是对象,所以是__proto__,它关联给自己实例化的构造函数的原型对象,表现上就是__proto__: Child,这个原型中有constructor属性,值为Child函数对象,还有添加进去的pos属性和sayHello方法,这个原型又关联这个Parent的prototype原型对象:__proto__:Parent,同理这个原型有自己的constructor属性,并最终继承自Object。
继承关系上大致就是这样,乱七八糟一堆,也许一个$.extend()方法就解决了~