Syntaxe „new Function“

Existuje ještě jeden způsob, jak vytvořit funkci. Používá se jen zřídka, ale někdy nemáme jinou možnost.

Syntaxe

Syntaxe vytvoření funkce:

let funkce = new Function ([arg1, arg2, ...argN], těloFunkce);

Funkce je vytvoÅ™ena s argumenty arg1...argN a zadaným tÄ›lem těloFunkce.

Je snadnější tomu porozumět, když se podíváme na příklad. Toto je funkce se dvěma argumenty:

let sečti = new Function('a', 'b', 'return a + b');

alert( sečti(1, 2) ); // 3

A zde je funkce bez argumentů, jenom s tělem:

let řekniAhoj = new Function('alert("Ahoj")');

řekniAhoj(); // Ahoj

Hlavní rozdíl oproti ostatním způsobům, jaké jsme viděli, je, že funkce je vytvořena doslovně z řetězce, který je předán za běhu skriptu.

Všechny předchozí deklarace po nás programátorech požadovaly, abychom zapsali kód funkce do skriptu.

AvÅ¡ak new Function umožňuje pÅ™evést libovolný Å™etÄ›zec na funkci. Například můžeme získat novou funkci ze serveru a pak ji spustit:

let řetězec = ... dynamické získání kódu ze serveru ...

let funkce = new Function(řetězec);
funkce();

Používá se jen ve velmi specifických případech, například když získáme kód ze serveru, nebo když chceme dynamicky kompilovat funkci ze šablony ve složitých webových aplikacích.

Uzávěr

Funkce si zpravidla pamatuje, kde se zrodila, ve speciální vlastnosti [[Environment]]. Ta se odkazuje na lexikální prostÅ™edí, z nÄ›hož byla funkce vytvoÅ™ena (probrali jsme to v kapitole Oblast platnosti promÄ›nné, uzávÄ›r).

Když je vÅ¡ak funkce vytvoÅ™ena pomocí new Function, její vlastnost [[Environment]] se nenastaví na odkaz na aktuální lexikální prostÅ™edí, ale na globální.

Taková funkce tedy nemá přístup k vnějším proměnným, jedině ke globálním.

function vraťFunkci() {
  let hodnota = "test";

  let funkce = new Function('alert(hodnota)');

  return funkce;
}

vraťFunkci()(); // chyba: hodnota není definována

Porovnejte si to s běžným chováním:

function vraťFunkci() {
  let hodnota = "test";

  let funkce = function() { alert(hodnota); };

  return funkce;
}

vraťFunkci()(); // "test", z lexikálního prostředí funkce vraťFunkci

Tato speciální vlastnost new Function vypadá zvláštnÄ›, ale v praxi se ukazuje být velmi užitečná.

Představme si, že musíme vytvořit funkci z řetězce. Kód této funkce není znám v době psaní skriptu (to je důvod, proč nepoužijeme obvyklou funkci), ale bude znám při jeho běhu. Můžeme jej získat ze serveru nebo z jiného zdroje.

Naše nová funkce musí interagovat s hlavním skriptem.

Co kdyby mohla přistupovat k vnějším proměnným?

Problém je v tom, že předtím, než je JavaScriptový skript zveřejněn k používání, je zkomprimován minifikátorem – speciálním programem, který zkrátí kód tím, že odstraní komentáře, přebytečné mezery a – co je důležité, přejmenuje názvy lokálních proměnných na kratší.

Například jestliže funkce obsahuje let uživatelskéJméno, minifikátor je nahradí za let a (nebo jiné písmeno, které jeÅ¡tÄ› není použito) a učiní tak vÅ¡ude. To je obvykle bezpečné, jelikož promÄ›nná je lokální a nic mimo funkci k ní nemůže pÅ™istupovat. A uvnitÅ™ funkce minifikátor nahradí tuto promÄ›nnou vÅ¡ude, kde je uvedena. Minifikátory jsou chytré, analyzují strukturu kódu, takže nic nerozbíjejí. Není to jen tupé najdi a nahraď.

Kdyby tedy new Function mÄ›la přístup k vnÄ›jším promÄ›nným, nedokázala by najít pÅ™ejmenované uživatelskéJméno.

Kdyby new Function mÄ›la přístup k vnÄ›jším promÄ›nným, mÄ›la by problémy s minifikátory.

Navíc by takový kód byl architektonicky špatný a náchylný k chybám.

K tomu, abychom nÄ›co pÅ™edali funkci vytvoÅ™ené pomocí new Function, bychom mÄ›li používat její argumenty.

Shrnutí

Syntaxe:

let funkce = new Function ([arg1, arg2, ...argN], těloFunkce);

Z historických důvodů můžeme argumenty uvést i jako seznam oddělený čárkou.

Tyto tři deklarace znamenají totéž:

new Function('a', 'b', 'return a + b'); // základní syntaxe
new Function('a,b', 'return a + b'); // oddělené čárkou
new Function('a , b', 'return a + b'); // oddělené čárkou s mezerami

Vlastnost [[Environment]] funkcí vytvoÅ™ených pomocí new Function se odkazuje na globální lexikální prostÅ™edí, ne na vnÄ›jší. Proto tyto funkce nemohou používat vnÄ›jší promÄ›nné. To je vÅ¡ak ve skutečnosti dobÅ™e, protože nás to ochraňuje pÅ™ed chybami. Výslovné pÅ™edávání parametrů je architektonicky mnohem lepší způsob a nezpůsobuje problémy s minifikátory.