前端开发必须知道的JS

我知道，有些人（譬如之前的我）写js的for循环时，都不习惯加上var，这当然是语法允许的。譬如下面。　　

for(i=0;i<10;i++){//就不写成: var i=0
　　　alert(i);
}

　　但是，这真的不是个好习惯，下面我就说说为什么写Js的for循环一定要加var，否则会时不时给你带来烦人难查的bug。

　　譬如现在我们要实现这样的功能：输出　　

　　10
　　20
　　30
　　40
　　50
　　60
　　70
　　80
　　90
　　100
　　通过下面code实现，WriteNumber从1到10循环，每次循环调用TenTimes方法返回10倍的索引值。　

<script type="text/javascript">
function WriteNumber() {
for (i = 1; i <= 10; i++) {
document.write(TenTimes(i) + "<br/>")
}
}
function TenTimes(v) {
var result = 0;
alert(i);
for (i = 1; i <= 10; i++) {
result += v;
}
return result;
}
WriteNumber();
//alert(i)
</script>

　　你会发现最终只输出了10。大家可以用下面的代码框运行测试。

<script type="text/javascript"> function WriteNumber() { for (i = 1; i <= 10; i++) { document.write(TenTimes(i) + "<br/>"); } } function TenTimes(v) { var result = 0; alert(i); for (i = 1; i <= 10; i++) { result += v; } return result; } WriteNumber(); //alert(i)</script>

　　关于在WriteNumber和TenTimes方法里加不加var，就是说是否声明索引变量i有4种情况：

　　第一种情况，WriteNumber和TenTimes各有1个for循环，2个循环里均没有用var声明i索引变量。

　　运行结果：会alert出1。结果只输出了10，不是我们所想要的。

　　分析：执行WriteNumber时，其作用域内并没有找到声明过的变量i，直接对i进行赋值，则隐式的将i声明为全局变量，（对于函数内部未声明过的变量，如果给它赋值，会隐式的将它声明为全局变量。） 循环开始，i=1，调TenTimes方法，发现TenTimes方法也没有声明过变量i ，所以TenTimes里的i就是全局变量i，就和WriteNumber的i成了同一个。 这时line9 alert出来的自然是1了。TenTimes循环了10次，使得全局的i变成了11，自然WriteNumber就不会执行第2次循环操作了。

　　验证：如果在WriteNumber();语句后加alert(i)，即取消line16的注释，会发现alert出12（12=10+2个i++），证明了i此时为windows对象。

　　第二种情况，WriteNumber声明了i变量，即line3: var i=1，TenTimes未声明i变量，即line10: i=1。

　　运行结果：line9 alert(i)处报i未定义错误 ，因为WriteNumber有声明过变量i，所以没有成为全局的i，TenTimes执行时又没有声明过i，所以报未定义。若注释掉line9，输出结果正确。因为当TenTimes里运行到i=1时，隐式将i声明是全局变量，不影响WriteNumber里的i。WriteNumber仍然会执行10次循环。

　　验证：如果在WriteNumber();语句后加alert(i)，即取消line16的注释，会发现alert出11（11=10+TenTimes里的i++），证明了此时有windows.i。

　　第三种情况，WriteNumber没有声明i变量，即line3: i=1，TenTimes声明了i变量，即line10: var i=1。

　　运行结果：弹出10个undefined。因为WriteNumber未声明i，隐式将i声明是全局变量，而TenTimes有声明过变量i（补充一句，对于变量的声明都是在预编译中进行的），所以line9 alert(i)里的i不是windows.i，而是TenTimes声明的变量i，此时当然是undefined了。同时，发现输出结果正确，因为TenTimes的i不会影响WriteNumber的全局i，WriteNumber仍然是执行了10次循环。

　　第四种情况：WriteNumber和TenTimes均用var声明了i。

　　运行结果：注释掉line9，不说了，好习惯，结果当然完美。

　 虽然第二、三种情况输出结果是正确的，但是对i的使用很混乱，应该算是运气导致结果正确，因为刚好1个是window.i，一个是函数内部的私有变量i，使得没有冲突。

此文虽然讲的是写for循环为什么一定要加var，但其实讲的是变量的作用域(或者说变量的生命周期)。理解之后，下面的2段code运行结果你应该能准确说出答案吧。

<script type="text/javascript"> var a = 1; function f() { alert(a); var a = 2; } f(); </script>

<script type="text/javascript"> var a = 1; function f() { a = 2; alert(a); } f(); alert(a); </script>

　　Ps：说道coding的好习惯，想起了这个：if(a==3) 应该写成if(3==a) 。因为我们常会把==写成1个=，如果把变量写在右边时只写了1个=，就会报编译错误，这样就能及时发现错误。

原型和闭包是Js语言的难点，此文主要讲原型及原型实现的继承，在（二）中会讲下闭包，希望对大家有所帮助。若有疑问或不正之处，欢迎提出指正和讨论。

一. 原型与构造函数

　　Js所有的函数都有一个prototype属性，这个属性引用了一个对象，即原型对象，也简称原型。这个函数包括构造函数和普通函数，我们讲的更多是构造函数的原型，但是也不能否定普通函数也有原型。譬如普通函数：

function F(){
　　;
}
alert(F.prototype instanceof Object) //true

　　构造函数，也即构造对象。首先了解下通过构造函数实例化对象的过程。

function A(x){
　　this.x=x;
}
var obj=new A(1);

实例化obj对象有三步：

　　1. 创建obj对象：obj=new Object();

　　2. 将obj的内部__proto__指向构造他的函数A的prototype，同时，obj.constructor===A.prototype.constructor(这个是永远成立的，即使A.prototype不再指向原来的A原型，也就是说：类的实例对象的constructor属性永远指向"构造函数"的prototype.constructor)，从而使得obj.constructor.prototype指向A.prototype（obj.constructor.prototype===A.prototype，当A.prototype改变时则不成立，下文有遇到）。obj.constructor.prototype与的内部_proto_是两码事，实例化对象时用的是_proto_，obj是没有prototype属性的，但是有内部的__proto__，通过__proto__来取得原型链上的原型属性和原型方法，FireFox公开了__proto__，可以在FireFox中alert（obj.__proto__）；

　　3. 将obj作为this去调用构造函数A，从而设置成员（即对象属性和对象方法）并初始化。

　　当这3步完成，这个obj对象就与构造函数A再无联系，这个时候即使构造函数A再加任何成员，都不再影响已经实例化的obj对象了。此时，obj对象具有了x属性，同时具有了构造函数A的原型对象的所有成员，当然，此时该原型对象是没有成员的。

　　原型对象初始是空的，也就是没有一个成员（即原型属性和原型方法）。可以通过如下方法验证原型对象具有多少成员。

var num=0;
for(o in A.prototype) {
　　alert(o);//alert出原型属性名字
　　num++;
}
alert("member: " + num);//alert出原型所有成员个数。

　　但是，一旦定义了原型属性或原型方法，则所有通过该构造函数实例化出来的所有对象，都继承了这些原型属性和原型方法，这是通过内部的_proto_链来实现的。

　　譬如

　　A.prototype.say=function(){alert("Hi")};

　　那所有的A的对象都具有了say方法，这个原型对象的say方法是唯一的副本给大家共享的，而不是每一个对象都有关于say方法的一个副本。

二. 原型与继承

　　首先，看个简单的继承实现。

function A(x){
　　this.x=x;
}    function B(x,y){
　　this.tmpObj=A;
　　this.tmpObj(x);
　　delete this.tmpObj;
　　this.y=y;
}

　　第5、6、7行：创建临时属性tmpObj引用构造函数A，然后在B内部执行，执行完后删除。当在B内部执行了this.x=x后（这里的this是B的对象），B当然就拥有了x属性，当然B的x属性和A的x属性两者是独立，所以并不能算严格的继承。第5、6、7行有更简单的实现，就是通过call(apply)方法：A.call(this,x);

这两种方法都有将this传递到A的执行里，this指向的是B的对象，这就是为什么不直接A(x)的原因。这种继承方式即是类继承（js没有类，这里只是指构造函数），虽然继承了A构造对象的所有属性方法，但是不能继承A的原型对象的成员。而要实现这个目的，就是在此基础上再添加原型继承。

　　通过下面的例子，就能很深入地了解原型，以及原型参与实现的完美继承。（本文核心在此^_^）

function A(x){
　　this.x = x;
}
A.prototype.a = "a";
function B(x,y){
　　this.y = y;
　　A.call(this,x);
}
B.prototype.b1 = function(){
　　alert("b1");
}
B.prototype = new A();
B.prototype.b2 = function(){
　　alert("b2");
}
B.prototype.constructor = B;
var obj = new B(1,3);

　　这个例子讲的就是B继承A。第7行类继承：A.call(this.x);上面已讲过。实现原型继承的是第12行：B.prototype = new A();

　　就是说把B的原型指向了A的1个实例对象，这个实例对象具有x属性，为undefined，还具有a属性，值为"a"。所以B原型也具有了这2个属性（或者说，B和A建立了原型链，B是A的下级）。而因为方才的类继承，B的实例对象也具有了x属性，也就是说obj对象有2个同名的x属性，此时原型属性x要让位于实例对象属性x，所以obj.x是1，而非undefined。第13行又定义了原型方法b2，所以B原型也具有了b2。虽然第9~11行设置了原型方法b1，但是你会发现第12行执行后，B原型不再具有b1方法，也就是obj.b1是undefined。因为第12行使得B原型指向改变，原来具有b1的原型对象被抛弃，自然就没有b1了。

　　第12行执行完后，B原型（B.prototype）指向了A的实例对象，而A的实例对象的构造器是构造函数A，所以B.prototype.constructor就是构造对象A了（换句话说，A构造了B的原型）。

alert(B.prototype.constructor)出来后就是"function A(x){...}" 。同样地，obj.constructor也是A构造对象，alert(obj.constructor)出来后就是"function A(x){...}" ，也就是说B.prototype.constructor===obj.constructor（true），但是B.prototype===obj.constructor.prototype（false），因为前者是B的原型，具有成员：x,a,b2，后者是A的原型，具有成员：a。如何修正这个问题呢，就在第16行，将B原型的构造器重新指向了B构造函数，那么B.prototype===obj.constructor.prototype（true），都具有成员：x,a,b2。

　　如果没有第16行，那是不是obj = new B(1,3)会去调用A构造函数实例化呢？答案是否定的，你会发现obj.y=3，所以仍然是调用的B构造函数实例化的。虽然obj.constructor===A(true)，但是对于new B()的行为来说，执行了上面所说的通过构造函数创建实例对象的3个步骤，第一步，创建空对象；第二步，obj.__proto__ === B.prototype，B.prototype是具有x,a,b2成员的，obj.constructor指向了B.prototype.constructor，即构造函数A；第三步，调用的构造函数B去设置和初始化成员，具有了属性x,y。虽然不加16行不影响obj的属性，但如上一段说，却影响obj.constructor和obj.constructor.prototype。所以在使用了原型继承后，要进行修正的操作。

　　关于第12、16行，总言之，第12行使得B原型继承了A的原型对象的所有成员，但是也使得B的实例对象的构造器的原型指向了A原型，所以要通过第16行修正这个缺陷。

　　毕了。