IE全局变量的Dissociative Identity Disorder(人格分裂症)最近,小麦提出了一个疑惑:script typetext/ja
IE全局变量的Dissociative Identity Disorder(人格分裂症)
最近,小麦提出了一个疑惑:
<script type="text/javascript">
alert(a);
</script>
然后在out.js里写上这句:
if(false) {
var a = 'Hello';
}
然后用FF和IE6分别运行,看看你得到什么。
在FF里会弹出“Hi”,但是在IE6中,会得到“undefined”。
很神奇吧?按语法,无论如何,a都不可能是undefined。但是IE6里就会。
如果把两个语句都写在同一个文件里,就不会有这个情况。
如果把out.js里改成window.a,或者把前一个改成var a,也不会有这个情况。
如果把out.js里的var a移到if语句之外,或是把if的条件改为true,也不会有这个情况。
这里刨去其实无关的 if 语句,可以把问题简化成这样的形式:
<script>window.x = 1</script><script>var xalert(x)</script>
按理应该输出“1”,但是在IE中输出“undefined”。
而将两段script合并在一起
<script>window.x = 1var xalert(x)</script>
或者先加上一句“x = xxx”的赋值语句
<script>x = nullwindow.x = 1</script><script>var xalert(x)</script>
输出结果就是正常的“1”。
这神奇的现象到底是为什么涅?
Dr. Hax告诉你:这是因为IE下的全局变量存在
DID。
x = 1alert(delete x) // truevar y = 1alert(delete y) // false
还有一种呢,就是通过global对象的属性,即window.x或window["x"]的赋值来创建:
window.x = 1
alert(window.x)
在创建完成之后,存取全局变量就是两种方式,一种是直接通过名字,如:
if(x == 1) x = 2
另一种则通过global对象的属性来存取,如:
if (window["x"] == 1) window.x = 2
按照BE大神的设计,全局变量的三种创建方式本应是三位一体的,两种存取方式也应是等同的,但是在M$IE中,其window.x的实现导致了DID问题——根据Dr. Hax的观察,在IE中全局变量分裂出了至少两种
变量格。
我们来看看
临床症状。
x = {}// window.xalert(x)alert(delete x)try {alert(x)} catch(e) {alert(e.name + ":" + e.description)}
以上代码可正常执行。但是如果把第二行的注释去掉,可以观察到在执行 alert(x) 时报出一个“Out of memory”的错误!其后你也将不能对x或者window.x做任何事情。
这短短的代码怎么能out of memory呢——显然这里产生了一个空指针(“遗失引用”)错误!
让我们进行
成因分析。
var size = 1000000x = 0// var x = 0// window.x = 0var code = new Array(size + 1).join('x;')// var code = new Array(size + 1).join('x=0;')// var code = new Array(size + 1).join('window.x;')// var code = new Array(size + 1).join('window.x=0;')var f = new Function(code)var start = new Date()f()alert(new Date - start)
结果如下:
x x= window.x window.x=x = 0 156 172 3187 3469var x = 0 156 172 3281 3422window.x = 0 1516 1906 3297 3422
这个性能力测试告诉我们:
一、无论以何种方式创建全局变量,访问window.x总是比直接访问x要慢许多。访问window.x慢,这还是容易理解的。因为window.x实际上是DOM调用,可理解成被转换为node.getAttribute('x')。而直接访问x,则很可能做了不同的处理(比如也许省略了跨域安全检查)。
二、“x = 0”和“var x = 0”所创建的全局变量,存取性能上没有什么区别,而“window.x = 0”则差很多。这说明在创建全局变量时,前者和后者的存储方式很可能是完全不同的。
以上这两点,都完全符合Dr. Hax在临床症状中所描述的“……拥有各自
操作模式和
存储”。
由于无法进行病理解剖(没有IE和JScript引擎的源码),我们无法搞清楚所有细节,但是我们可以推断出个大概:
1. JScript引擎当然可以独立使用,而不依赖于DOM。在这样一种情况下,它本身就要处理全局变量的问题——譬如所有built-in的那些方法和对象。当引擎被嵌入到IE中时,就将JScript引擎的Global对象和DOM的window对象连接起来,而window对象,如同所有DOM对象一样,能够以expando属性方式保存额外的属性。这样就有了两个
变量格,一个是基于JScript引擎内建的全局变量机制,一个是基于DOM的expando机制。
2. 对于x的存取和对于window.x的存取,前者是对于x这个引用的存取,而后者是对于window这个引用上进行x属性的存取。注意到这一区别,有助于理解下面的分析。
3. 以“x = xxx”方式新建全局变量时(前提是之前不存在任何形式的x引用),引擎并不会将x作为window的expando属性保存,而是按照JScript引擎的内建方式保存,并建立指向内部存储的x引用。内建方式是很高效的,比expando属性存取要快20倍以上。
上述判断,由DOM中的 document.expando 特性也可以佐证。当 document.expando=false 之后,你将不能使用 window.x = xxx 的方式新建全局变量,但是仍然可以用 x = xxx / var x = xxx 。
4. 在访问window.x时,如果已经有按照内建方式建立的x,则进行window.x到x的绑定,即产生一个指针指向内建方式创建的x,然后就凭借此指针来进行存取操作。然而在这里IE的开发者忘记了x引用可能被delete的情况,在x被delete之后,指针就失效了,从而导致之前的“Out of memory”错误。
5. 在对window.x进行赋值时,如果不存在按照内建方式保存的x,则会以window的expando属性方式保存(如果允许expando的话)。
6. 而在访问x时,如果没有按照内建方式建立的x引用,则检查引擎所连接的window对象上是否有x,即window上是否有expando。如果有,就建立x引用并指向window上的expando。如果没有,就扔出TypeError(按照标准其实应该扔出ReferenceError)。
7. 那么为什么在以expando方式建立变量后,存取window.x比存取x慢呢?
老实说,这个问题很难回答,只能大胆猜想一下:
存取window.x的步骤:
a. JScript引擎调用DOM对象存取属性的方法,假设记做 DOM::Window.get/setAttribute("x")
b. DOM::Window.get/setAttribute()方法先询问JScript引擎是否已经有内建全局变量x,假设记做 JScript::Global.hasProperty("x")
c. JScript::Global.hasProperty("x")返回false
d. 于是DOM::Window.get/setAttribute()方法存取expando属性,假设记做 DOM::Window.get/setExpando("x")
e. 将结果返回给JScript引擎
存取x的步骤:
a. JScript引擎查找是否存在x引用
b. JScript引擎根据x引用调用DOM::Window.get/setExpando("x")
c. DOM::Window.get/setExpando("x")返回结果给JScript引擎
根据上述猜想,存取window.x,是JScript调用DOM,DOM再回调JScript;而存取x,则只有JScript调用DOM。这就是性能差大概一倍的原因。
好了,绕了一大圈之后,我们来解释一下最初的代码为什么会有这样的结果。
<script>window.x = 1</script><script>var xalert(x)</script>
这段代码会先以expando方式创建x。而后var x声明所进行的初始化操作,并不依赖于DOM,所以不会检测是否存在expando。道理上说应该检测,但是由于罹患DID,恰好此处JScript引擎并没有检测expando,而只会检测内建存储。并不存在内建的x,所以x引用就被重新初始化了,而且这次是以内建方式建立的。
而合并在一起后
<script>window.x = 1var xalert(x)</script>
var x声明会被提前,所以会以内建方式创建。执行 window.x = 1 时,已经有了内建的x,所以会建立到内建x的绑定,并对其赋值,而不会以expando方式保存。
先加上一句 x = xxx 的赋值语句
<script>x = nullwindow.x = 1</script><script>var xalert(x)</script>
也会以内建方式创建x。这样之后的var x就不会重新初始化了。
最后说说
治疗方案。
<script>x = ((window.x = 'expando'), 0)alert('x = ' + x)//window.xtry {alert('delete x -> ' + (delete x))} catch(e) {alert(e.name + ': ' + e.description)}try {alert('window.x = ' + window.x)} catch(e) {alert(e.name + ': ' + e.description)}try {alert('x = ' + x)} catch(e) {alert(e.name + ': ' + e.description)}</script><script>alert('x = ' + x)var x = 'var'</script>
在IE下输出什么?恢复被注释掉的第三行代码后呢?
答案请自己动手试验。
PS. 钻研DID多年的Dr. Hax还透露,实际上IE全局变量的DID不仅有两个变量格,实际上还有第三个变量格!你猜到了吗?欢迎留言竞猜。
3 楼 麦田的颜色 2009-03-23 sorry,Hax,好久没联系。
我不知道我问你要过MSN没?加我一下吧。我是小麦。 4 楼 beijing.josh 2009-03-23 IE的分裂症还包括:window.clearInterval能重写,clearInterval不能重写.
所有以内建方式建立的window方法的引用都不能重写和删除.
是否这是第三个变量格? 5 楼 hax 2009-03-24 麦田的颜色 写道
sorry,Hax,好久没联系。
我不知道我问你要过MSN没?加我一下吧。我是小麦。
加过了,不过我99%时候不在线。。。 6 楼 hax 2009-03-24 beijing.josh 写道
IE的分裂症还包括:window.clearInterval能重写,clearInterval不能重写.所有以内建方式建立的window方法的引用都不能重写和删除.是否这是第三个变量格?
不是的。要构成“变量格”必须满足Dr. Hax定义的条件:拥有各自操作模式和存储。
其中的关键是一个全局变量引用的目标到底是指向哪里。第三种变量格其实(在早期脚本里)很常见的。 7 楼 Army 2009-03-25 前阵子在开发JAte的时候就碰到了,如果var一个object和swf的名字相同,js取得这个swf对象的时候就会取到var的那个变量上,得改个名字才行。
原理原来在这里…… 8 楼 Army 2009-03-25 猜一下,难道是ie里对dom节点的id直接引用? 9 楼 hax 2009-03-26 Army 写道
猜一下,难道是ie里对dom节点的id直接引用?
中!
发奖品了。。。奖品选项如下:
A. 与Dr. Hax在张江地铁站周边方圆5公里以内的食堂里共进午餐
B. 与Dr. Hax在张江地铁站周边方圆5公里以内的食堂里共进晚餐
C. 获得由Dr. Hax签名的《Ajax实战:实例详解》一本
D. 获得没有Dr. Hax签名的《Ajax实战:实例详解》一本 10 楼 Army 2009-03-26 hax 写道
Army 写道
猜一下,难道是ie里对dom节点的id直接引用?中!发奖品了。。。奖品选项如下:A. 与Dr. Hax在张江地铁站周边方圆5公里以内的食堂里共进午餐B. 与Dr. Hax在张江地铁站周边方圆5公里以内的食堂里共进晚餐C. 获得由Dr. Hax签名的《Ajax实战:实例详解》一本D. 获得没有Dr. Hax签名的《Ajax实战:实例详解》一本
吃惊,我居然猜对了!
我住在上海南站附近,接近闵行区,张江的话太远了……
我还是选C,看看《ajax实战》吧~另外,签名是签Dr. hax呢,还是签真实姓名呢?我拿去炫耀一下去~ 11 楼 hax 2009-03-26 Army 写道
我还是选C,看看《ajax实战》吧~另外,签名是签Dr. hax呢,还是签真实姓名呢?我拿去炫耀一下去~
站内留言地址,我邮寄给你,呵呵。
12 楼 Army 2009-03-26 貌似我一猜就猜中了,别人连机会都没有,没留啥悬念下来,可惜了。 13 楼 achun 2009-08-11 Dr.Hax
哈哈,太好玩了,这个可以找个声优做成有声版,小说?广播剧?
油菜呀 14 楼 cuckoosnest 2009-11-15 有没有发现用chrome运行那段性能力测试代码非常慢,5,6秒的级别,opera非常快六七十ms级别。 大概是什么原因? 15 楼 s79 2009-11-29 似乎这个问题也能在这找到解释(IE7以后直接提供了XMLHttpRequest)。
if(typeof XMLHttpRequest=="undefined"){
alert(0);
var XMLHttpRequest={};//省略。
}
16 楼 cuixiping 2009-12-20 分析的很全面和深入。
我想,把window.x和var x混用本身就是个很坏的编程习惯,没有var就直接x=xxx也是很坏的编程习惯。
ie中的元素id可以直接当变量名一样使用,但是这个id变量不能被赋值.
<body id='body'>
<script type="text/javascript">
body=1;
</script>
</body>
这样就会脚本错误提示“对象不支持此属性或方法”。
所以,是定义变量,最好老老实实的var.上例中使用var body=1才可以。 17 楼 felsenlee 2009-12-22 cuixiping 写道分析的很全面和深入。
ie中的元素id可以直接当变量名一样使用,但是这个id变量不能被赋值.
<body id='body'>
<script type="text/javascript">
body=1;
</script>
</body>
这样就会脚本错误提示“对象不支持此属性或方法”。
所以,是定义变量,最好老老实实的var.上例中使用var body=1才可以。
“ body=1;”是个什么操作呢?比较奇怪!这肯定会报错啊,赋值也不是直接给对象赋吧。 18 楼 bmcsy 2010-06-17 虽然只是现在才看到,頩已经看完了,在概叹——我的神呀之余,真让人收获不少~~也知道了平时不晓得的。 19 楼 libmw 2011-11-04 呼呼。。ie8治好了 20 楼 libmw 2011-11-04 libmw 写道呼呼。。ie8治好了
刚试了下,悲剧得还没治好