私有变量和函数
在函数内部定义的变量和函数,如果不对外提供接口,外部是无法访问到的,也就是该函数的私有的变量和函数。
1 | function Box() { |
这样在函数对象Box
外部无法访问变量color
和fn
,他们就变成私有的了:1
2
3var obj = new Box();
alert(obj.color);//弹出 undefined
alert(obj.fn);//同上
静态变量和函数
当定义一个函数后通过点号 “.”
为其添加的属性和函数,通过对象本身仍然可以访问得到,但是其实例却访问不到,这样的变量和函数分别被称为静态变量和静态函数。1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16<script type="text/javascript">
function Obj(){};
Obj.num = 72;//静态变量
Obj.fn = function() //静态函数
{
}
alert(Obj.num);//72
alert(typeof Obj.fn)//function
var t = new Obj();
alert(t.name);//undefined
alert(typeof t.fn);//undefined
</script>
实例变量和函数
在面向对象编程中除了一些库函数我们还是希望在对象定义的时候同时定义一些属性和方法,实例化后可以访问,js
也能做到这样1
2
3
4
5
6
7
8
9
10
11
12
13function Box() {
this.a = []; //实例变量
this.fn = function() { //实例方法
}
}
console.log(typeof Box.a); //undefined
console.log(typeof Box.fn); //undefined
var box = new Box();
console.log(typeof box.a); //object
console.log(typeof box.fn); //function
为实例变量和方法添加新的方法和属性
1 | function Box() { |
在box1
中修改了a
和fn
,而在box2
中没有改变,由于数组和函数都是对象,是引用类型,这就说明box1中的属性和方法与box2
中的属性与方法虽然同名但却不是一个引用,而是对Box
对象定义的属性和方法的一个复制。
这个对属性来说没有什么问题,但是对于方法来说问题就很大了,因为方法都是在做完全一样的功能,但是却又两份复制,如果一个函数对象有上千和实例方法,那么它的每个实例都要保持一份上千个方法的复制,这显然是不科学的,这可肿么办呢prototype
应运而生。
prototype
基本概念
我们创建的每个函数都有一个prototype
属性,这个属性是一个指针,指向一个对象,这个对象的用途是包含可以由特定类型的所有实例共享的属性和方法。那么,prototype
就是通过调用 构造函数 而创建的那个对象实例的原型对象。
使用原型的好处是可以让对象实例共享它所包含的属性和方法。也就是说,不必在构造函数中添加定义对象信息,而是可以直接将这些信息添加到原型中。使用构造函数的主要问题就是每个方法都要在每个实例中创建一遍。
在JavaScript
中,一共有两种类型的值,原始值和对象值。每个对象都有一个内部属性 prototype
,我们通常称之为原型。原型的值可以是一个对象,也可以是null
。如果它的值是一个对象,则这个对象也一定有自己的原型。这样就形成了一条线性的链,我们称之为原型链。
含义
函数可以用来作为构造函数来使用。另外只有函数才有prototype属性并且可以访问到,但是对象实例不具有该属性,只有一个内部的不可访问的__proto__
属性。__proto__
是对象中一个指向相关原型的神秘链接。按照标准,__proto__
是不对外公开的,也就是说是个私有属性,但是Firefox的引擎将他暴露了出来成为了一个共有的属性,我们可以对外访问和设置。1
2
3
4
5
6
7
8
9<script type="text/javascript">
var Browser = function(){};
Browser.prototype.run = function(){
alert("I'm Gecko,a kernel of firefox");
}
var Bro = new Browser();
Bro.run();
</script>
当我们调用Bro.run()
方法时,由于Bro
中没有这个方法,所以,他就会去他的__proto__
中去找,也就是Browser.prototype
,所以最终执行了该run()
方法。(在这里,函数首字母大写的都代表构造函数,以用来区分普通函数)
当调用构造函数创建一个实例的时候,实例内部将包含一个内部指针(__proto__
)指向构造函数的prototype
,这个连接存在于实例和构造函数的prototype
之间,而不是实例与构造函数之间。
1 | <script type="text/javascript"> |
Person
的实例person1
中包含了name
属性,同时自动生成一个__proto__
属性,该属性指向Person
的prototype
,可以访问到prototype
内定义的printName
方法,大概就是这个样子的:
每个JavaScript函数都有prototype
属性,这个属性引用了一个对象,这个对象就是原型对象。原型对象初始化的时候是空的,我们可以在里面自定义任何属性和方法,这些方法和属性都将被该构造函数所创建的对象继承。
那么,现在问题来了。构造函数、实例和原型对象三者之间有什么关系呢?
构造函数、实例和原型对象的区别
实例就是通过构造函数创建的。实例一创造出来就具有constructor
属性(指向构造函数)和__proto__
属性(指向原型对象),
构造函数中有一个prototype
属性,这个属性是一个指针,指向它的原型对象。
原型对象内部也有一个指针(constructor属性)指向构造函数:Person.prototype.constructor = Person;
实例可以访问原型对象上定义的属性和方法。
在这里person1
和person2
就是实例,prototype
是他们的原型对象。
再举个例子:1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17function Animal(name) //基类构造函数
{
this.name = name; //设置对象属性
}
Animal.prototype.behavior = function() //给基类构造函数的prototype添加behavior方法
{
alert("this is a " + this.name);
}
var Dog = new Animal("dog"); //创建Dog对象
var Cat = new Animal("cat"); //创建Cat对象
Dog.behavior(); //通过Dog对象直接调用behavior方法
Cat.behavior(); //output "this is a cat"
alert(Dog.behavior == Cat.behavior); //output true;
可以从程序运行结果看出,构造函数的prototype
上定义的方法确实可以通过对象直接调用到,而且代码是共享的。(可以试一下将Animal.prototype.behavior
中的prototype
属性去掉,看看还能不能运行。)在这里,prototype
属性指向Animal
对象。
数组对象实例
再看个数组对象的实例。当我们创建出array1
这个对象的时候,array1
实际在Javascript引擎中的对象模型如下:
1 | var array1 = [1,2,3]; |
array1对象具有一个length属性值为3,但是我们可以通过如下的方法来为array1增加元素:
1 | array1.push(4); |
push
这个方法来自于array1
的__proto__
成员指向对象的一个方法Array.prototye.push()
。正是因为所有的数组对象(通过[]
来创建的)都包含有一个指向同一个具有push,reverse
等方法对象Array.prototype
的__proto__
成员,才使得这些数组对象可以使用push,reverse
等方法。
函数对象实例
1 | function Base() { |
1 | var obj = new Base(); |
这样代码的结果是什么,我们在Javascript引擎中看到的对象模型是:
new
操作符具体干了什么呢?其实很简单,就干了三件事情。
1 | 1、创建一个新对象 |
原型链
原型链:当从一个对象那里调取属性或方法时,如果该对象自身不存在这样的属性或方法,就会去自己关联的prototype
对象那里寻找,如果prototype
没有,就会去prototype
关联的前辈prototype
那里寻找,如果再没有则继续查找Prototype.Prototype
引用的对象,依次类推,直到Prototype.….Prototype
为undefined
(Object的Prototype就是undefined)从而形成了所谓的“原型链”。
1 | <script type="text/javascript"> |
这里,用构造器Shape()新建了一个实体,然后用它去覆盖该对象的原型。
1 | <script type="text/javascript"> |
原型继承
原型继承:
在原型链的末端,就是Object
构造函数prototype
属性指向的那个原型对象。这个原型对象是所有对象的祖先,这个老祖宗实现了诸如toString
等所有对象天生就该具有的方法。其他内置构造函数,如Function,Boolean,String,Date
和RegExp
等的prototype
都是从这个老祖宗传承下来的,但他们各自又定义了自身的属性和方法,从而他们的子孙就表现出各自宗族的那些特征。
ECMAScript
中,实现继承的方法就是依靠原型链实现的。
1 |
|
原型链的问题:原型链虽然很强大,可以用它来实现继承,但它也存在一些问题。其中最主要的问题来自包含引用类型的值原型。包含引用类型的原型属性会被所有实例共享;而这也正是为什么要在构造函数中,而不是在原型对象中定义属性的原因。在通过原型来实现继承时,原型实际上会变成另一个类型的实例。于是,原先的实例属性也就变成了原型的属性。
在创建子类型的实例时,不能向超类型的构造函数中传递参数。实际上,应该说是没有办法在不影响所有对象实例的情况下,给超类型的构造函数传递参数。再加上刚刚讨论的由于原型中包含引用类型值所带来的问题,实践中很少会单独使用原型链。
再举个例子:
1 | <script type="text/javascript"> |
__proto__
属性
__ptoto__
属性(IE浏览器不支持)是实例指向原型对象的一个指针,它的作用就是指向构造函数的原型属性constructor
,通过这两个属性,就可以访问原型里的属性和方法了。
Javascript中的对象实例本质上是由一系列的属性组成的,在这些属性中,有一个内部的不可见的特殊属性——__proto__
,该属性的值指向该对象实例的原型,一个对象实例只拥有一个唯一的原型。
1 | <script type="text/javascript"> |
__proto__
属性和prototype
属性的区别
prototype
是function
对象中专有的属性。__proto__
是普通对象的隐式属性,在new
的时候,会指向prototype所指的对象;__ptoto__
实际上是某个实体对象的属性,而prototype
则是属于构造函数的属性。__ptoto__
只能在学习或调试的环境下使用。
原型模式的执行流程
- 先查找构造函数实例里的属性或方法,如果有,就立即返回。
- 如果构造函数的实例没有,就去它的原型对象里找,如果有,就立即返回
原型对象的
1 | <script type="text/javascript"> |
构造函数的
1 | <script type="text/javascript"> |
综上,整理一下:
1 | <script type="text/javascript"> |
1 | 构造函数.prototype = 原型对象 |
工厂模式
1 | function createObject(name,age){ |
工厂模式解决了实例化对象大量重复的问题,但还有一个问题,那就是根本无法搞清楚他们到底是哪个对象的实例。
使用构造函数的方法,既解决了重复实例化的问题,又解决了对象识别的问题。
使用构造函数的方法和工厂模式的不同之处在于:
1 | 1.构造函数方法没有显示的创建对象(new Object()); |
当使用了构造函数,并且new 构造函数()
,那么就在后台执行了new Object()
;
函数体内的thi
s代表了new Object()
出来的对象
1 | 1.判断属性是在构造函数的实例里,还是在原型里,可以使用`hasOwnProperty()`函数 |