看木易杨的文章的时候,遇到一道思考题,对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。