为什么闭包编译器不缩短这个？

Question

我不确定这只是一个错误还是一个预期的功能。

基本上，我有这个小函数（我现在看到 end 这里是蓝色的，但这工作得很好，如果我将其重命名为其他名称，我仍然遇到问题）：

function f(a, b) {
    var start = Math.min(a, b);
    var end = Math.max(a, b);

    tb.selectionStart = start;
    tb.selectionEnd = end;
};

当闭包编译它时，我get：

function f(a,b){var c=Math.max(a,b);tb.selectionStart=Math.min(a,b);tb.selectionEnd=c};

但是，为什么selectionStart直接设置为Math.min，而selecitonEnd设置为变量（c >),哪个先声明？ tb.selectionEnd=Math.max(a,b) 不是更短吗？

任何想法表示赞赏。

Answer 1

编辑：此链接中有一个“官方”答案：
https://web.archive.org/web/20151226143155/http://code.google.com/p/closure-compiler/issues/detail?id=410

我认为作业可以内联一个变量，然后立即使用该变量。但是，如果中间有任何语句无法证明没有副作用，则编译器不会内联它。

在您的情况下，对变量“start”的赋值与“start”的使用仅通过“end”的赋值语句分开。但是，该语句没有副作用，因为 Math.max 是一个内部函数，并且编译器知道它没有副作用。

但是，在您的情况下，对变量“end”的赋值与该变量的使用通过语句分开，该语句是将“start”赋值给属性。现在，我相信编译器并不认为仅仅分配给属性总是没有副作用的；这是因为某些属性在分配时实际上会导致不同的行为，或更改全局状态（例如 RegExp）。在某些系统中，属性分配实际上会触发某些特定于系统的功能（例如硬件接口），而这些功能又可能会产生副作用。

这就是为什么有时当您有这样的代码时：

foo.bar = 1;
foo.bar = 2;
foo.bar = 3;

编译器不会消除前两个语句，因为分配给“bar”可能会产生副作用。

因此，在您的问题中，无法内联变量“end”，因为语句 tb.selectionStart = start; 可能会产生副作用（可能仅在奇怪的情况下）。

如果您将“tb”设置为局部变量，或者编译器可以完全控制的变量（例如一个简单的对象：var tb = {};），那么您会发现编译器内联所有的赋值都很好。

Answer 2

如果您粘贴此代码，则可以正常工作。

function f(a, b) {
    var start = Math.min(a, b);
    tb.selectionStart = start;

    var end = Math.max(a, b);
    tb.selectionEnd = end;
};

function f(a,b){tb.selectionStart=Math.min(a,b);tb.selectionEnd=Math.max(a,b)};

这是闭包编译器的错误。