"new Function" 構文

構文

関数を作る構文です:

let func = new Function ([arg1[, arg2[, ...argN]],] functionBody)

言い換えると、関数パラメータが最初で、本体が最後に来ます。全ての引数は文字列です。

例を見ると理解し易いです。

例えば、ここでは2つの引数を持つ関数です:

let sum = new Function('a', 'b', 'return a + b');

alert( sum(1, 2) ); // 3

もし引数がない場合、1つの引数(関数本体)だけになります。:

let sayHi = new Function('alert("Hello")');

sayHi(); // Hello

これまで見てきたような他の方法との大きな違いは – 関数は文字列から文字通り作られ、実行時に渡されるということです。

これまでの宣言では、プログラマーはスクリプトに関数コードを書く必要がありました。

しかし、new Function は任意の文字列を関数にすることができます。例えば、サーバから新しい関数を受け取りそれを実行することができます:

let str = ... サーバから動的にコードを受け取る ...

let func = new Function(str);
func();

これはサーバからコードを受け取ったり、テンプレートから動的に関数をコンパイルするような、非常に特定のケースで使われます。その必要性は通常開発がかなり進んだ段階で発生します。

クロージャ

通常、関数は特別なプロパティ [[Environment]] でどこで生成されたかを覚えています。それは作成された場所からレキシカル環境を参照します。

しかし、new Function を使用して作られた関数の場合、その [[Environment]] は現在のレキシカル環境ではなく、グローバルのレキシカル環境を参照します。

function getFunc() {
  let value = "test";

  let func = new Function('alert(value)');

  return func;
}

getFunc()(); // error: value は未定義

通常の振る舞いとの比較です:

function getFunc() {
  let value = "test";

  let func = function() { alert(value); };

  return func;
}

getFunc()(); // "test", getFunc のレキシカル環境から

この new Function の特殊な機能は奇妙に見えますが、実践では非常に役立ちます。

本当に文字列から関数を作る必要がある場合をイメージしてください。その関数のコードはスクリプト生成時には知られていません(そういう訳で通常の関数を使うこができません)が、実行中に認識されます。我々はサーバや別のソースからそれを受け取ることができます。

新しい関数はメインスクリプトと相互作用する必用があります。

私たちは、それが外部のローカル変数へアクセスできるようにしたいかもしれません。

しかし、問題はJavaScriptが本番環境に公開される前に、minifier – 余分なコメントやスペースなどを削除することでコード小さくする特別なプログラムで、より重要なことはローカル変数をより短いものにリネームします。 – を使用して圧縮されていることです。

例えば、もし関数が let userName を持っていたとき、minifier はそれを let a (または既に使われていれば別の文字) に置き換え、随所でそれを実行します。変数はローカルであり関数の外部からアクセスすることはできないため、それは通常安全です。また、関数の内側では minifier はそれに関する全ての箇所を置き換えます。Minifiers は賢いので、単なる検索と置換ではなく、コード構造を分析するので問題ありません。

…しかしもし new Function が外部変数へアクセスできる場合、userName を見つけることはできません。

たとえ new Function で外部のレキシカル環境へアクセスできたとしても、minifiers で問題になります。

new Function の “特別な機能” は私たちをミスから救います。

そして、より良いコードを実行します。 new Functionによって作成された関数に何かを渡す必要がある場合、引数として明示的に渡す必要があります。

“sum” 関数は実際このようになります:

let sum = new Function('a', 'b', ' return a + b; ');

let a = 1, b = 2;

// 引数として外部変数が渡される
alert( sum(a, b) ); // 3

サマリ

構文:

let func = new Function(arg1, arg2, ..., body);

歴史的な理由から、引数はカンマ区切りのリストで与えられます。

これらの3つの意味は同じです:

new Function('a', 'b', ' return a + b; '); // 基本構文
new Function('a,b', ' return a + b; '); // カンマ区切り
new Function('a , b', ' return a + b; '); // スペースありのカンマ区切り

new Function で作られた関数は グローバルレキシカル環境を参照する [[Environment]] を持っており、外部のレキシカル環境ではありません。従って、それらは外部の変数を使うことができません。しかし、それは実際に良いことです。なぜなら、それは我々をエラーから守るからです。明示的なパラメータ渡しは構造的にははるかに優れており、minifierには問題ありません。