Javascript 异常 FOR 循环。请确认我的解释是正确的

Question

我有一段javascript代码：

for (
    m = a[1],
        s = a[2],
        c.hash_match = i.replace(m, ""),
        o.lastIndex = 0;
    a = o.exec(s);
) {
    e[a[1]] && (c[e[a[1]]] = c[e[a[1]]] || decodeURIComponent(a[2]));
}

我认为是如何工作的：

m = a[1];
s = a[2];
c.hash_match = i.replace(m, "");
o.lastIndex = 0;
while(a = o.exec(s))
{
    if(e[a[1]])
    {
        if(!c[e[a[1]]])
        {
            c[e[a[1]]] = decodeURIComponent(a[2]);
        }
    }
}

据我了解，for 循环中第一个分号之前的四个运算符可以放在外面，因为 for 循环不使用这个逗号分隔的赋值列表返回的结果。

当 o.exec(s) 根据 == 运算符（而不是 ===）的定义为 false 时，for 循环会中断。

在这个question中已经向我解释了内部代码结构，我很确定，但是请确认这部分。

我已经进行了一些测试并检查了一些行为，但需要确保我的解释是 100% 正确的，因为它是大型 js 脚本的一部分，我不确定我的测试工作是否足以重构后保留代码逻辑。那么，这两个 sn-ps 是否相等？

Answer 1

我能看到的唯一区别是

c[e[a[1]]] = c[e[a[1]]] || decodeURIComponent(a[2])

更像

var temp = c[e[a[1]]];
if(!temp)
{
    c[e[a[1]]] = decodeURIComponent(a[2]);
} else {
    c[e[a[1]]] = temp;
}

如果c[e[a[1]]] = c[e[a[1]]] 是由具有setter 函数的访问器属性定义的，那么显然冗余的自赋值c[e[a[1]]] = c[e[a[1]]] 是相关的。赋值操作会调用 setter。

如果c 上没有正在使用的访问器属性，那么这两段代码是等价的。

Answer 2

还有一个。抱歉，我不确定该放在哪里。这可能是一个单独的问题，但我不确定。所以，这里是代码：

function i(e,t) {
    var h = y.map;
    var m = h && h["*"] || {};
}

所以，考虑到现在大家都知道，函数体的替换可以是：

var h = y.map;
var m;
var temp;
if(h)
{
    temp = h["*"];
    if(temp)
    {
        m = temp;
    }
    else
    {
        m = {};
    }
}
else
{
    m = {};
}

我也可以说：

var h = y.map;
var m = {};
if(h && h["*"])
{
    m = h["*"];
}

但是 h 和 m 可以在更高范围的其他地方定义，并且有一个自定义的 getter/setter 和一些副作用。因此，如果在它们之前没有 var，在函数体内，使它们成为本地的，那么来自自定义 getter/setter 的副作用将两次而不是一次应用于上下文，显然打破了逻辑。真的是这样吗？