一道思考题

看木易杨的文章的时候，遇到一道思考题，对a.x的值存在疑惑，于是分析总结。

var a = {n: 1};
var b = a;
a.x = a = {n: 2}

a.x  // 这时a.x的值是多少
b.x  // 这时a.x的值是多少

上面的思考题运行结果是：

undefined
{n:2}

看其他人的分析说：代码的执行顺序，先从左到右扫描变量，再从右到左进行赋值。我想从内存空间管理的角度去分析。

我的分析

var a = {n: 1};
var b = a;

前两句很容易理解，a、b都存在内存栈中，存的是同一个堆内存地址，不论a、b谁改变都会两者都会同时更新。

重点来了

a.x = a = {n: 2}

因为 “.”优先级高于"=" ，所以a.x = {n: 2}，相当于b.x = {n: 2}，然后执行 a = { n: 2}，相当于对a从新赋值，内存会给a从新分配一个堆内存地址。最后就是这种了：

a = {n: 2}
b = {
  x: {n: 2},
  n: 2
}

此时去访问 a.x，b.x 的时候。得到的结果就能理解了。

我的思考跟网上的有些见解不一致。

有人认为 先扫描变量 在进行赋值

• 扫描阶段：a.x = null, a = {n: 1} 在 a.x = a = {n:2} 中，
• 赋值阶段： a = {n:2} ，让 a 指向了 {n:2}，即 a = {n:2} 。继续赋值 a.x，此时的 a.x 中，a 的指向没有改变，可以理解为 a.x 中的 a 保留了原来的镜像。

我也不知道谁正确，大家都是朝着运行结果，用自己的知识去解释的。咱也不太懂，咱也不敢问。有哪位大佬可以给讲解下，咖啡感谢。

扩展 为什么 “.”优先级高于"=" ？

在MDN上运算符的优先级有这样一段描述。

结合性决定了拥有优先级的运算符的执行顺序。

a OP b OP c

左结合（左到右）相当于把左边的子表达式加上小括号 (a OP b) OP c，右关联（右到左）相当于 a OP (b OP c) 。赋值运算是右关联的，所以你可以这么写：

a = b = 5

解果 a 和 b 的值都会成为5。这是因为赋值运算符的返回结果就是赋值运算符右边的那个值，具体过程是：b 被赋值为5，然后 a 也被赋值为 b=5 的返回值，也就是5。