Дефиниране на eval като формален параметър на извикване на конструктор на функция. Не трябва ли това да хвърля синтактична грешка в кода на строг режим?

И така, ще отговоря на собствения си въпрос тук (тъй като го разбрах).

Първоначалната ми предпоставка беше, че и двата кодови блока са еквивалентни. Така че това

var f = function ( eval ) {};

е еквивалентно на

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

Това обаче не е вярно. Има разлики. Създаването на функционален обект от декларация на функция/нотация на израз е дефинирано в Глава 13.2 Създаване на функционални обекти. От друга страна, създаването на функционален обект от извикване на конструктор new Function е дефинирано в Глава 15.3. 2.1 нова функция (p1, p2, … , pn, тяло). Така че тук работят различни алгоритми.

Специфичната част, която има отношение към този въпрос, е частта, която определя строгостта на създадения функционален обект.

Функционални изрази

Строгостта на функционален обект, създаден чрез функционален израз, е дефинирана в семантиката на продукцията FunctionExpression в началото на глава 13:

Предайте true като флаг Strict, ако FunctionExpression се съдържа в строг код или ако неговото FunctionBody е строг код.

Така че функционалният обект ще бъде строг, ако е изпълнено едно от тези условия:

• изразът на функцията се съдържа в строг код
• тялото на функцията на израза на функцията е строг код

така например функцията f е строга и в двата примера по-долу.

Пример 1:

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

Пример 2:

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

Извикване на функционален конструктор

Стриктността на функционален обект, създаден чрез извикване на конструктор на функция, се дефинира в стъпка 9 на алгоритъма от глава 15.3.2.1 (вече свързана по-горе):

Ако 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