JavaScript的变量预解析特性

JavaScript是解释型语言是毋庸置疑的,但它是不是仅在运行时自上往下一句一句地解析的呢?事实上或某种现象证明并不是这样的,通过《JavaScript权威指南》及网上相关资料了解到,JavaScript有“预解析”行为。理解这一特性是很重要的,不然在实际开发中你可能会遇到很多无从解析的问题,甚至导致程序bug的存在。为了解析这一现象,也作为自己的一次学习总结,本文逐步引导你来认识JavaScript“预解析”,如果我的见解有误,还望指正。

我们先来看一个例子:

var lastName = "Gonn";
(function DisplayLastName() {
	console.log(lastName);
	var lastName = "Zeng";
	console.log(lastName);
})();//谁能猜出结果是什么?

感觉应该是输出 Gonn 再输出 Zeng。

但结果是 undefined Zeng。为什么呢?

Javascript在执行前会进行类似“预解析”的操作:首先会创建一个当前执行环境下的活动对象,并将那些用var申明的变量设置为活动对象的属性,但是此时这些变量的赋值都是undefined,并将那些以function定义的函数也添加为活动对象的属性,而且它们的值正是函数的定义。

在解释执行阶段,遇到变量需要解析时,会首先从当前执行环境的活动对象中查找,如果没有找到而且该执行环境的拥有者有prototype属性时则会从prototype链中查找,否则将会按照作用域链查找。遇到var a = …这样的语句时会给相应的变量进行赋值(注意:变量的赋值是在解释执行阶段完成的,如果在这之前使用变量,它的值会是undefined)。

也就是说,解释执行前,先做一遍预解析,给var变量赋值为undefined。当局部变量有var时,这时lastName在函数内部作为局部变量存在。如果上述函数中var lastName=改为lastName=,结果就不一样了。这时预解析时就不会作为局部变量,赋值为undefined。

下面再举一些例子说明下。

function handle(){  
	alert(arg1);  
} ;  
  
handle();  
var arg1 = 20;  

结果是:undefined。因为在解释到 var arg1 = 20; 这句之前就打印了arg1的值,此时尚未给arg1赋值。

handle();  

var handle = function(){  
	alert(20);  
};  

结果:handle is not a function. 因为在执行handle()这句时,并没有给handle赋值–函数定义。如果改为:

handle();  
  
var handle = function handle (){  
	alert(20);  
};  

在IE下会弹出对话框,因为它将var handle…这句同时解释为函数定义,而函数定义在预编译时就应经有值,所以可以执行。但在FF中,依然只解释为一个变量申明,知道执行到这一句时才会赋值。

正因为如此应避免在变量被初始化之前使用变量。

try/catch的例外,有如下代码:

try{  
	alert(var1);  
	alert(varFun);  
	alert(Fun);  
	var var1 = 1;  
	
	var varFun = function(){};  
  
	function Fun(){
		alert(1);
	}  
}  
catch(e){  
	function Fun(){
		alert(2);
	}  
}  

以上代码在IE、Chrome中的运行结果是undefined、undefined和fuction(){alert(2);},而在Firefox中的结果是undefined、undefined和“Fun未定义”报错。还不太清楚Firefox对于try/catch的“预解析”是怎么处理的。

1. 如果JavaScript仅是运行时自上往下逐句解析的,下面的代码能正确运行是可以理解的,因为我们先定义函数,然后才调用它。

function showMsg()
{
    alert('This is message');
}
showMsg(); // This is message

2. 我们也知道函数可以定义在调用代码之后,如下代码也是能正常工作的。看起来调用showMsg()的时候showMsg()还是没有定义的,但能正常工作,则表明JavaScript是“预解析”的。

showMsg(); // This is message
function showMsg()
{
    alert('This is message');
}

3. 上面是函数的例子,下面再来一个普通变量的例子。以下例子运行将会弹出undefined,表明第一句的msg已经是定义了,只是没有初始化,它与var msg; alert(msg);是一样的。如果你把下面第二句注释掉,则会报“msg未定义”错误。这亦表明JavaScript是“预解析”的。

alert(msg); //undefined
var msg='This is message';

4. 再来看一个例子,加深对JavaScript“预解析”印象。以下代码你将看到两次弹出的对话框都是显示This is message 2,为什么会这样呢?其实下面一前一后定义了两个同名函数,后面的showMsg()覆盖了前面定义的(在JavaScript中,同名变量一样会存在覆盖问题),等于第一个showMsg()报废了。为什么第二次调用的showMsg()不是调用它上面定义的那个message 1函数呢?这再次证明JavaScript有“预解析”行为。

showMsg(); // This is message 2
function showMsg()
{
    alert('This is message 1');
}
showMsg(); // This is message 2
function showMsg()
{
    alert('This is message 2');
}

5. JavaScript“预解析”是把变量或函数预解析到它们能调用的环境(变量运行时环境)中。如下代码看起来alert(msg)之前有看到msg的定义,但是程序运行还是报“msg未定义”错误,这是因为函数里定义的变量是函数的私有变量,外面不能直接调用,这表明JavaScript“预解析”并不是把所有定义的变量统一解析到一个全局对象中,比如window。

function showMsg()
{
    var msg='This is message';
}
alert(msg); // msg未定义

6. JavaScript“预解析”是分段进行的,准确说是分<script>块进行的。以下代码出现在同一个页面的两个脚本块中,同时定义了三个同名函数。程序运行结果表明第二个脚本块的showMsg()没有覆盖前面两个showMsg(),而第一个脚本块的第二个showMsg()则覆盖了第一个showMsg()。

<body>
<script type="text/javascript">
showMsg(); //This is message 2
function showMsg()
{
    alert('This is message 1');
}
function showMsg()
{
    alert('This is message 2');
}
</script>

<script type="text/javascript">
function showMsg()
{
    alert('This is message 3');
}
</script>
</body>

posted on 2014-11-30 22:25  复活的老羊  阅读(113)  评论(0编辑  收藏  举报

导航