javascript变量的作用域javascript

不太会写冠冕堂皇的开场白,直接进入主题。

我们看一道题,出处为javaeye的某贴——这世界就是这样,有些人喜欢制造问题,有人喜欢解决问题。制造问题的人为解决问题的人带来就业机会……

var a=100;

var b=true;

function test(){

alert(a);

alert(b);

b=false;

alert(b);

var a=200;

alert(a/2);

alert(++math.pi);

alert(math.pi++);

}

test();

运行代码

为什么第一个alert为undefined,而第二个为true。这问题也可以延伸为——alert(b)时怎么就会找外部的b,而alert(a)时就不会往外面找?!

我们都明白局部变量的优先级大于全局变量,或者说内围作用域的变量的优先级比外围的高。当js引擎在当前作用域找不到此变量时,它就往外围的作用域找。不过,在这之前,有一个严肃的问题是,究竟当前作用域存不存在这个变量。像javascript这样的解释型语言,基本分为两个阶段,编译期(下面为符合大多数语言的称呼习惯,改叫预编译)与运行期。在预编译阶段,它是用函数来划分作用域,然后逐层为其以 var 声明的变量(下略称为var变量)与函数定义开辟内存空间,再然后对var变量进行特殊处理,统统赋初始值为undefined,如下图:

由上图,我们便可以推知,当前网页拥有两个a,一个b,一个test函数。如果在运行期用到除此以外的东东,如c函数或d变量啦,就会报未定义错误(用eval等非正常手段生成变量与函数的情况除外),此外,它们最多出现未赋值警告。

javascript的运行期是在为var变量与函数定义分配空间后立即执行,并且是逐行往下执行的。

第1行它为外围作用域的a赋值为100

第2行它为外围作用域的b赋值为true

第3行进行test的作用域,我们简称为内围作用域。

第4行就立即调用内围作用域的a,这时它还没有来得及赋值呢!不过它已经声明过了,因此默认为其赋值为undefined(在预编译阶段,见图),于是alert为undefined

第5行就调用b时,js引擎就拿起我画的图看了(笑),发现test的作用域内没有b,眼睛往外望,发现b了,而b在第二行就赋值为true,于是alert为true。

第6行为一个赋值操作,把外围的b变量改赋为false。于是到第7行时,alert为false。以下说法不说了。

作为对比,我们改写一下例子:

var a=100;

var b=true;

function test(){

alert(a);

alert(b);

var b=false;

alert(b);

var a=200;

alert(a/2);

alert(++math.pi);

alert(math.pi++);

}

test();

这时在test函数的作用域内,b也被声明了。

掌握预编译为var变量与函数定义分配空间这一事实后,许多问题就迎刃而解。我们看犀牛书上的一个例子。

var scope = "global";

function f() {

alert(scope);

var scope = "local";

alert(scope);

}

f();

答案呼之欲出!

我们来看更复杂的例子。

object.prototype.test = 'wrong';

var test = 'right';

(function f() {

alert(test);

})();

这个问题的难点在于,运行期时,又生成一同名变量,它是附着于object.prototype,究竟哪一个距离f()的作用域近一些呢?!测试结果是var test。于是我们有了下图:

于是我们明白了,原来定义在函数外面的var变量并不位于window作用域的下一层。

我们继续加深难度。

(function f() {

alert(test);

})();

object.prototype.test = 'ccc';

object.test = "bbb"

window.test = "aaa";

报未定义错误,因为预编译期时没有符合要求的var变量,而在运行期时,和它同名的变量在调用时(第2行)也尚未建立起来!

如果这样呢?!

object.test = "bbb";

object.prototype.test = 'ccc';

window.test = "aaa";

(function f() {

alert(test);

})();

估计有很多人猜是bbb,其实是ccc!有人就不解了,不是对象的属性的优先级比其原型属性的优先级高吗???

无错,的确如此,不过对象的属性是这样定义的:

var o = {test:"eee"}

object.test = “xxx”这样定义,为类属性,或称静态属性。类属性优先级都是比实例属性低的

通过这图也教育我们,一定要用局部变量啊,要不,一层层往上爬,效率是多么低啊。另外,这图也告诉我们,window是一个多么高级的存在啊(微软最爱听),object都比它低一等,更别提什么继承问题啦!(在ff与ie中)

//颠覆常识的存在

alert(window instanceof object);

运行代码

搞定这个我们看最难的一题。类属性,实例属性,原型属性,极晚绑定的属性都考到了!不过实例属性与类属性已超出本文的讨论范围,恕不讨论了。这些也不太难,很容易google到的,自己google吧。

function foo(){

foo.abc = function(){alert('def')}

this.abc = function(){alert('xyz')}

abc = function(){alert('@@@@@')};

var abc = function(){alert('$$$$$$')}

}

foo.prototype.abc = function(){alert('456');}

foo.abc = function(){alert('123');}

var f = new foo();

f.abc();

foo.abc();

abc();

蓝色理想的人说这题出得不好,有错。我说,有错才好,这样才能考出水平!十秒内做出正确答案,说明学会了。

答案:

第一个为xyz,f.abc很明显就是调用其实例属性,通常构造函数是这样定义实例方法与实例属性的:

this.xxx = "xxxxxxxx"

第二个就是构造函数内部的foo.abc还是外部的foo.abc的问题了。我们只要搞清楚一点就可以,写在外面的那个是极晚绑定的成员,优先级极低,覆盖不了内部的同名成员。

第三个为什么会报错呢?!因为在预编译阶段,foo()的作用域就有了一个abc变量,

因此abc = function(){alert('@@@@@')}就变不了window.abc = function(){alert('@@@@@')},而下面那一行就更甭提了。

而我们调用的是abc,全局变量的abc,浏览器会自动给它加上window.abc,就算不加上,沿途的objcet也没有abc这个变量,因此它在f()的作用域外找不到abc,就报未定义错误!

运行代码

最后归纳一下,js引擎有两个设置变量的机会。第一次在预编译时期,所有var变量会分配到各自的作用域中,值一律为undefined。第二次在运行期,由于是逐行执行,因此是可变的。我们可以通过eval与function动态生成新的变量,它们的作用域都是可制定的,其他赋值语句,只是把变量固定于顶层作用域(window)中,或是仅仅是重新赋值。我们也可以用delete来删除对象的属性,迫使其往外走同名变量。with闭包会在其引用的对象的属性被删除后,在闭包的外围寻找与此属性同名的变量。有关with闭包请看我另一篇博文。