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