js中的各种难题（1）

http://www.cnblogs.com/snandy/archive/2011/03/25/1995003.html

以上第二句 a.x = a = {n:2} 是一个连续赋值表达式。这个连续赋值表达式在引擎内部究竟发生了什么？是如何解释的？

证明

上面两种猜想相信多数人都有，群里讨论呆呆认为是猜想1， 我认为是猜想2。其实都错了。我忽略了引用的关系。如下，加一个变量b，指向a。

发现a.x仍然是undefined，神奇的是 b.x 并未被赋值过(比如：b.x={n:2})，却变成了[object Object]。b 是指向 a({n:1})的，只有a.x = {n:2}执行了才说明b是有x属性的。实际执行过程：从右到左，a 先被赋值为{n:2}，随后a.x被赋值{n:2}。

1, a = {n:2};

2, a.x = {n:2};

等价于

a.x = (a = {n:2});

a.x 中的a指向的是 {n:1}，a 指向的是 {n:2}。如下图



a.x = a = {n:2}

=>

a.x = (a = {n:2})

=>

1. 给a加上一个叫x的属性

2. 给a.x申请一个栈地址，记录为A

3. 把(a = {n:2})得到的堆地址放到A里面

4. 现在要计算a = {n:2}了

5. 给a申请一个栈地址，记为B

6. 把{n:2}得到的堆地址放到B里面

从第5步开始，前面的a和后面的a就没有关系了

解惑

这篇写完，或许部分人看完还是晕晕的。因为里面的文字描述实在是绕口。最初我在理解这个连等赋值语句时

认为引擎会限制a.x的重写（a被重写后），实际却不是这样的。指向的对象已经不同了。引擎也没有限制a.x={n:2}的重写。

结束

呵，以另一个连续赋值题结束。fun执行后，这里的 变量 b 溢出到fun外成为了全局变量。想到了吗？