JavaScript构造器理解

类 Class 类的概念应该是面向对象语言的一个特色，但是JavaScript并不像Java，C++等高级语言那样拥有正式的类，而是多数通过构造器以及原型方式来仿造实现。在讨论构造器和原型方法前，我可以看看一种叫做工厂方式的仿造方法。

工厂模式

<script>
    function material() { //工厂模式
        alert('steel');
    }

    function createCar(name, color) {
        var car      = {};
        car.name     = name;
        car.color    = color;
        car.material = material;

        return car; //类似调用函数，必须要有返回值
    }

    var car1 = createCar('BMW', '白色');
    var car2 = createCar('Benz', '黑色');

    console.log(car1);
    console.log(car2);
</script>

这种方式显然可以实现class的功能，但是外形上怎么也无法说它是个class以及class实例的创建过程。因此，出现了“构造函数方式”，它的关键在于构造器（Constructor）概念的引入。

---

构造函数方式

构造器(Constructor)

<script>
    function material() { //公共部分
        alert('stell');
    }

    //constructor 实例化时，此函数将会作为实例化后对象的构造函数
    //**构造函数名首字母最好大写，以区分和普通函数**
    function CreateCar(name, color) {
        this.name = name;
        this.color = color;
        this.material = material;
    }

    var car1 = new CreateCar('BMW', '白色');
    var car2 = new CreateCar('BenZ', '黑色');

    console.log(car1);
    console.log(car2);
    console.log("\n");
</script>

这个看起来有点类的样子了吧（先不提那个难看的外置function）？我们发现，那个constructor其实就是一个简单的function，它与“工厂方式”中的createCar()区别就在于：
1、方法名大写
2、没有了空对象的创建和返回
3、使用this做引用。
那原来的那个空对象的创建以及返回的步骤去哪了呢？这两个步骤，现在都由创建实例时的“new”实现了。“new”这个操作符负责创建一个空对象，然后将那个叫做构造器的function添加到实例对象中并触发它，这样这个function实际上就是这个对象的一个method，function中的this指向的便是这个对象，最后将这个对象返回。根据如上分析，我们可以把这个过程简单分解为如下代码：

<script>
    var obj = {};
    obj.constructor = CreateCar;
    obj.constructor("BMW", "白色");  //”this“ refers to obj
    return obj;
</script>

构造函数方式虽然与高级面向对象语言中的类创建方式已经很接近（使用new创建），但是貌似那个游离在类之外的function material()其实却是个相当有碍观瞻的瑕疵。我们应该想一种办法让这个方法与类挂钩，让它成为类的一个属性，不是全局的。于是，这就产生了“构造函数+原型法”的类构造方法。

构造函数 + 原型

从上面的构造函数模式创建对象的例子上可以看到，每创建一个对象实例，每个对象中都有material()这个成员方法，这样看起来是不是会浪费内存空间，降低执行效率。所以JavaScript中提供了原型的方法可以解决这个问题。

原型：proto
在JavaScript中每个函数都有一个原型属性，即prototype，当调用构造函数进行创建对象的时候，所有该构造函数原型的属性在创建的对象上都可用。按照这样的想法多个CreateCar都可以共享一个原型material.

在构造函数+原型法中，我们对于类的method期待得到的效果是：
1. 仅是类的method而不是全局的。
2. 只在类被定义时创建一个method实例，然后被所有类的实例共用。
由这两个目标，我们很容易想到高级面向对象语言Java的private static变量的特点。JavaScript没有为我们提供这么简单的符号来实现这个复杂功能，但是却有一个属性可以帮我们仿造出这种效果：prototype。我们先来看几段prototype的使用代码。

> function Car(){ }
> 
> Car.prototype.material = "steel";
> 
> var car1 = new Car(); var car2 = new Car();
> 
> document.write(car1.material);  //prints "steel" 
> document.write(car2.material);  //prints "steel" 
> 
> //car1.prototype.material = "iron" //compile error:car1.prototype is
> undefined car1.material = "iron";
> 
> document.write(car1.material);  //prints "iron"
> document.write(car2.material);  //prints "steel" 
> document.write(Car.prototype.material); //prints "steel"
> 
> Car.prototype.material = "wood"; var car3 = new Car();
> document.write(car1.material);  //prints "iron"
> document.write(car2.material ); //prints "wood"
> document.write(car3.material ); //prints "wood"
> document.write(Car.prototype.material); //prints "wood"

分析该段代码前，需要明确两个概念：对象的直属属性和继承属性。直接在构造函数中通过this.someproperty = xxx这种形式定义的someproperty属性叫做对象的直属属性，而通过如上第4行代码那样Car.prototype.material = "steel";这种形式定义的material属性叫做继承属性。由上面这段代码，我们可以总结出prototype属性的如下特点：

1. prototype是function下的属性（其实任意object都拥有该属性，function是对象的一种）
2. prototype属性的值是一个对象，因此可任意添加子属性（line 4）
3. 类的实例可以直接通过"."来直接获取prototype下的任意子属性（line 9）
4. 所有以此function作为构造函数创建的类实例共用prototype中的属性及值（ling 9，10）
5. 类的实例没有prototype属性（line 12）
6. 可以直接通过 "实例.属性 = xxx" 的方式修改继承属性，修改后的值将覆盖继承自prototype的属性，但此修改不影响prototype本身，也不影响其它类实例（line 15，16，17）
7. 继承属性修改后，该属性就成为类实例的直属属性
8. 可以直接修改prototype的属性值，此改变将作用于此类下的所有实例，但无法改变直属属性值（极晚绑定line 21-24）

PS:对象实例在读取某属性时，如果在本身的直属属性中没有查找到该属性，那么就会去查找function下的prototype的属性。

Tip：我们可以通过hasOwnProperty方法来判断某属性是直属于对象还是继承自它的prototype属性
    car1.hasOwnProperty("material"); // true
    car2.hasOwnProperty("material"); // false
    "material" in car2;// true

构造函数+原型方式代码如下

<script>
    function CreateCar(name, color) {
        this.name = name;
        this.color = color;
    }

    CreateCar.prototype.material = function() {
        //绑定material到函数原型链上，当实例化时这个函数会作为每个对象的构造函数
        alert(this.name);
    }

    var car1 = new CreateCar('BMW', '白色');
    var car2 = new CreateCar('Benz', '黑色');

    console.log(car1);
    console.log(car2);
    console.log(car1.hasOwnProperty("material"));//false 因为material是原型链上的，不是对象本身的，所以false
</script>

---

这个跟高级面向对象语言中的class的样子更~加类似了吧？上述写法只是在“语义”上达到了对类属性和方法的封装，很多面向对象思想的完美主义者希望在“视觉”上也达到封装，因此就产生了“动态原型法”，请看下面的代码：

function Car(color, title){
   this.color = color;
   this.title = title;
   if (typeof Car._initialized == "undefined") {
      Car.prototype.start = function(){
          alert("Bang!!!");
      };
      Car.prototype.material = "steel";
      Car._initialized = true;
   }
}

我们看，其实Car.prototype的属性定义是可以被放进Car function的定义之中的，这样就达到了“视觉”封装。但是我们没有单纯的move，我们需要加一个条件，让这些赋值操作只执行一次，而不是每次创建对象实例的时候都执行，造成内存空间的浪费。添加_initialized 属性的目的就在于此。

---

对于所有用字面量创建的对象而言，其prototype对象均为Object.prototype(作为一个特殊对象，Object.prototype没有原型对象)：

var x = {a:18, b:28};

console.log(x.__proto__);//Object {}

而对于所有用new操作符创建的对象而言，其prototype对象均为constructor函数的prototype属性：

var x = {a:18, b:28};

function Test(c){

  this.c = c;

}

Test.prototype = x;

var t = new Test(38);

console.log(t);//Object {c=38, a=18, b=28}

console.log(t.__proto__);//Object {a=18, b=28}

console.log(t.__proto__.__proto__);//Object {}

---

总结出来一句话就是：用构造函数方式定义对象的所有非函数属性，用原型方式定义对象的函数属性。

---

整理于：
http://dbear.iteye.com/blog/613745
http://www.cnblogs.com/tomxu/archive/2012/02/21/2352994.html