编辑

考虑到 answer response below关于 引用 ECMAScript Language Specification - 11.13.2 Compound Assignment

考虑到这些，

javascript:
   o="";  o = o + (o+=1)    ; alert(o);
   o="";  o =     (o+=1) + o; alert(o);

不一样。从左到右的脚本评估存在时间语义问题(引用:ECMA spec. - The addition operator)。一个结果是 + 运算符不一定是可交换的。

这也可以通过以下方式看到:

javascript:
   o=1;  o = o + (o+=1)    ; alert(o);
   o=1;  o =     (o+=1) + o; alert(o);

或

javascript:
   o=" _ ";  o = o + (o+=1)    ; alert(o);
   o=" _ ";  o =     (o+=1) + o; alert(o);

我错误和不恰本地使用惰性评估范式，从而造成了下面的问题，这也是我个人作案手法的一个坏属性。

原帖

以下注意事项可能已经得到解决，但似乎没有。如果是这样，是否可以提供讨论的链接？

Gecko Javascript 运行时引擎的形式指称语义是一个谜。 实证检验很费力，而且不可能面面俱到。

• 有没有权威的 正式规范或官方 引用定义 Gecko 的确切方式 解释 Javascript？

引用，ECMAScript Language Specification , 似乎不够充分，尽管为此类脚本的混合提供了可信度，例如，

javascript: alert( function(){return {}}().life=42 )

在绑定(bind)值时具有此类构造的后续含义。

• 是否有明确的范式 描述 Javascript 代码 对象的解释和 实例评估？

这将澄清调用(或更确切地说是使用)需求、值(value)、引用、推理、名称……相关或不相关的概念。也就是说，Javascript 是一个原型(prototype)解释器，为下面的一些问题提供了隐含的含义。

预期结果是什么:

javascript: o={n:0}; f=function(){o.n+=1; return 10};
   alert([
      o.n,            f(),
      o.n,       o.n+=f(),
      o.n, eval('o.n+=f()'), 
      o.n, eval('o.n+='+f()),
      o.n,
   ].join(",\t"));

?预测结果是否容易(正确!)？

这个问题有点反常，因为它是用 eval 专门设计的，以强制和强调解释的细微差别。这个脚本(以及下面的旁白)的评估可以用 ECMAScript Language Specification 来解决吗？还是之前提到的其他文件？

(顺便说一句，考虑一下:

javascript: ra=[];
   alert([
      ra, ra[ra.length]=" partially defined.",
      ra, ra.push("\n RA is not shown"),
      ra, ra.reverse()[42],
   ].join(",\t\t"));

显示:

 RA is not shown, partially defined.,        partially defined.,        
 RA is not shown, partially defined.,       2,      
 RA is not shown, partially defined.,       

where the partial evaluations of ra are NOT analogous to o.n's!

and the following which is less exotic than using o.n:

javascript: o=""; f=function(){o+=1; return 0};
   alert([
      o,          f(),
      o,       o+=f(),
      o, eval('o+=f()'), 
      o, eval('o+='+f()),
      o,
   ].join(",\t"));

显示:

,   0,  1,  10, 10, 100,    100,    10010,  10010

)

Considering the following script:

javascript:
   asn="\t\t and so now,\t o.n is "; nl="\n\n";
   o={}; f=function(){o.n+=1; return 10};
   alert(["Using:\n",window.navigator.userAgent,
   nl,"The function f() is:\n ",f,
   nl,"What the!!?!? \t\t\t\t\t\t\t initially \t\t o.n is ",          o.n = 0,
 nl,"Called as a procedure: \t\tf() is ", f(),                   asn, o.n,
nl,"but, instead of 12 \t\to.n+=f() is ", o.n+=f(),              asn, o.n,
     nl,"however eval'd\t\to.n+=f() is ", eval("o.n+="+f()),     asn, o.n,
    "!\n\nIt makes no functional difference if, instead of o.n, o['n'] is used.",
    "\nThe expected o.n evaluation sequence is 0, 1, (+1+10=) 12, (+1+10=) 23.",
    "\n_____ _____ _____ _____ _____ _____ _____ _____^^ missing in result",
  ].join(""));

Gecko 引擎输出:

Using:
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.3)
        Gecko/20100423 Ubuntu/10.04 (lucid) Firefox/3.6.3

The function f() is:
 function () {
    o.n += 1;
    return 10;
}

What the!!?!?                                initially       o.n is 0

Called as a procedure:      f() is 10        and so now,     o.n is 1

but, instead of 12      o.n+=f() is 11       and so now,     o.n is 11

however eval'd          o.n+=f() is 22       and so now,     o.n is 22!

It makes no functional difference if, instead of o.n, o['n'] is used.
The expected o.n evaluation sequence is 0, 1, (+1+10=) 12, (+1+10=) 23.
_____ _____ _____ _____ _____ _____ _____ _____^^ missing in result

最佳答案

JavaScript 具有在 ECMA 标准中明确规定的急切求值(按值调用)执行模型。所有这些问题都可以通过仔细阅读标准来解决。比如上面为什么结果是11而不是12的原因，在标准的11.13.2中有明确的说明。 o.n 在调用 f() 之前计算，而不是在步骤 2 指定的之后计算。

关于javascript - Gecko 的 Javascript 解释器引擎语义是什么？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/5689246/