定义“评估”作为 Function 构造函数调用的形式参数。这不应该在严格模式代码中引发语法错误吗？

Question

规范指出：

在严格模式代码中使用标识符是一个语法错误 eval 或arguments 作为 FunctionDeclaration 的标识符或 FunctionExpression 或作为形式参数名称（13.1）。试图 使用 Function 动态定义这样一个严格模式函数 构造函数（15.3.2）将抛出 SyntaxError 异常。

来源：http://es5.github.com/C.html#C（最后项目符号）

因此，这会引发语法错误（在 Firefox、Chrome 和 Opera 中）：

(function () {
    'use strict';

    var f = function ( eval ) {};
})();

现场演示： http://jsfiddle.net/v8Ff4/

但是，这不会引发语法错误：

(function () {
    'use strict';

    var f = new Function( 'eval', '' );
})();

现场演示： http://jsfiddle.net/v8Ff4/1/

据我了解，第二个代码块应该抛出语法错误。应该吗？如果是的话，为什么不呢？

Answer 1

所以，我将在这里回答我自己的问题（因为我已经弄清楚了）。

我最初的前提是两个代码块是等效的。因此这

var f = function ( eval ) {};

相当于

var f = new Function( 'eval', '' );

但这不是真的。存在差异。 第 13.2 章创建函数对象。另一方面，从 new Function 构造函数调用创建函数对象在 第 15.3.2.1 章新函数 (p1, p2, … , pn, body)。所以这里有不同的算法在起作用。

与这个问题相关的具体部分是定义创建的函数对象的严格性的部分。

函数表达式

通过函数表达式创建的函数对象的严格性在第 13 章开头的产生式 FunctionExpression 的语义中定义：

如果包含 FunctionExpression，则传入 true 作为 Strict 标志
在严格代码中或者其 FunctionBody 是严格代码。

因此，如果满足以下任一条件，函数对象将是严格的：

• 函数表达式包含在严格代码中
• 函数表达式的函数体是严格代码

，例如，函数 f 是严格的在下面的两个例子中。

示例 1：

(function () {    
    var f = function () {
        'use strict';
        return 'I am strict!';
    }    
})();

示例 2：

(function () {
    'use strict';    
    var f = function () {
        return 'I am strict!';
    }    
})();

函数构造函数调用

通过函数构造函数调用创建的函数对象的严格性在第 15.3.2.1 章算法的第 9 步中定义（已在上面链接）：

如果 body 是严格模式代码（参见 10.1.1），则让 strict 为 true，否则让 strict 为 false。

因此，new Function 调用是否包含在严格代码中是无关的。要通过此模式创建严格函数，必须在函数体中显式定义严格性（这是提供给构造函数的最后一个参数）。

new Function ( 'a, b', 'return a + b;' ); // not strict
new Function ( 'a, b', '"use strict"; return a + b;' ); // strict