在javascript中，"for . in“语句如何产生副作用？

Question

我想知道for .. in是如何产生副作用的？

let arr = [1.1, 2.2];
let obj = {x: 1, y: 1, z: 1};
for(let prop in obj) {
    ...
}

考虑到上面的代码片段，是否可以在arr的for .. in语句中更改某些元素，而不是在循环体中？

我目前正在分析JavaScriptCore JIT编译器，DFG假设GetPropertyEnumerator有副作用，据我所知，它可以在for .. in语句中更改其他对象。

但是我不知道这怎么可能。

所以我希望这是可能的，如果可能的话，我怎么能做到这一点。

Answer 1

我自己找到了这个问题的答案:)

https://github.com/WebKit/webkit/commit/243a17dd57da84426316502c5346766429f2456d

以上提交日志对我很有帮助！

Proxy对象的成员名为getPrototypeOf。

通过使用这个getPrototypeOf，我可以在for .. in语句的属性查找阶段修改一些对象。

let a = {x: 1, y: 2, z: 3};
a.__proto__ = {xx: 1, yy: 2, zz: 3};

for(let i in a) {
    print(i);
}

上面的例子很简单。

for .. in语句查找对象a的属性，然后遵循__proto__链。

在这种情况下，代理的getPrototypeOf是__proto__查找的陷阱。

例子就是跟着一个。

​

let a = {
  x: 1,
  y: 2,
  z: 3
};
let p = new Proxy(a, {
  getPrototypeOf: function() {
    console.log("getPrototypeOf - side effects can be caused here");
    return {
      a: 1,
      b: 2
    };
  }
});

for (let i in p) {
  console.log(i);
}

​