JavaScript. Подробное руководство, 6-е издание

  eval("3+2") // => 5

Динамическое выполнение строк с программным кодом является мощной особенностью языка, которая практически никогда не требуется на практике. Если у вас появится желание использовать функцию eval, задумайтесь - действительно ли это необходимо.

В подразделах ниже описываются основы использования функции eval и затем рассказывается о двух ее ограниченных версиях, которые оказывают меньше влияния на оптимизатор.

eval - функция или оператор?

eval является функцией, но знакомство с ней включено в главу, описывающую операторы, потому что в действительности она должна была бы быть оператором. В самых ранних версиях языка eval определялась как функция, но с тех пор проектировщики языка и разработчики интерпретаторов наложили на нее столько ограничений, что она стала больше похожа на оператор. Современные интерпретаторы JavaScript детально анализируют программный код и выполняют множество оптимизаций. Проблема функции eval заключается в том, что программный код, который она выполняет, в целом не доступен для анализа. Вообще говоря, если функция вызывает eval, интерпретатор не может оптимизировать эту функцию. Проблема с определением eval как функции заключается в том, что ей можно присвоить другие имена:

  var f = eval;
  var g = f;

Если допустить такую возможность, интерпретатор не сможет обеспечить безопасность оптимизации любых функций, вызывающих g. Данной проблемы можно было бы избежать, если бы eval была оператором (и зарезервированным словом). С ограничениями, накладываемыми на функцию eval, которые делают ее более похожей на оператор, мы познакомимся в разделах ниже (разделы 4.12.2 и 4.12.3).

************************************************************************

4.12.1. eval

Функция eval принимает единственный аргумент. Если передать ей значение, отличное от строки, она просто вернет это значение. Если передать ей строку, она попытается выполнить синтаксический анализ этой строки как программного кода на языке JavaScript и возбудит исключение SyntaxError в случае неудачи. В случае успеха она выполнит этот программный код и вернет значение последнего выражения или инструкции в строке либо значение undefined, если последнее выражение или инструкция не имеют значения. Если программный код в строке возбудит исключение, функция eval передаст это исключение дальше.

Ключевой особенностью функции eval (когда она вызывается таким способом) является то обстоятельство, что она использует окружение программного кода, вызвавшего ее. То есть она будет отыскивать значения переменных и определять новые переменные и функции, как это делает локальный программный код. Если функция определит локальную переменную х и затем вызовет eval("x”), она получит значение локальной переменной. Вызов eval( "x=1") изменит значение локальной переменной. А если выполнить вызов eval("vaг у = 3; ”), будет объявлена новая локальная переменная у. Точно так же можно определять новые локальные функции:

  eval("function f { return x+1; }");

Если вызвать функцию eval из программного кода верхнего уровня, она, разумеется, будет оперировать глобальными переменными и глобальными функциями.

Обратите внимание, что программный код в строке, передаваемой функции eval, должен быть синтаксически осмысленным - эту функцию нельзя использовать, чтобы вставить фрагмент программного кода в вызывающую функцию. Например, бессмысленно писать вызов eval("return;"), потому что инструкция return допустима только внутри функций, а тот факт, что программный код в строке использует то же самое окружение, что и вызывающая функция, не делает его частью этой функции. Если программный код в строке может расцениваться как самостоятельный сценарий (пусть и очень короткий, такой как х=0), его уже можно будет передавать функции eval. В противном случае eval возбудит исключение SyntaxError.

4.12.2. Использование eval в глобальном контексте

Способность функции eval изменять локальные переменные представляет значительную проблему для оптимизаторов JavaScript. Для ее решения некоторые интерпретаторы просто уменьшают степень оптимизации всех функций, вызывающих eval. Однако как быть интерпретатору JavaScript, когда в сценарии определяется псевдоним функции eval и выполняется ее вызов по другому имени? Чтобы облегчить жизнь разработчикам интерпретаторов JavaScript, стандарт ECMAScript 3 требует, чтобы такая возможность в интерпретаторах была запрещена. Если функция eval вызывается под любым другим именем, отличным от «eval», она должна возбуждать исключение EvalError.

Однако большинство разработчиков используют иные решения. При вызове под любым другим именем функция eval должна выполнять программный код в глобальном контексте. Выполняемый ею программный код может определять новые глобальные переменные или глобальные функции и изменять значения глобальных переменных, но не может использоваться для модификации локальных переменных в вызывающих функциях, благодаря чему устраняются препятствия для локальной оптимизации.

Стандарт ECMAScript 5 отменяет возбуждение исключения EvalError и стандартизует поведение eval, сложившееся де-факто. «Прямой вызов» - это вызов функции eval по ее непосредственному имени «eval» (которое все больше начинает походить на зарезервированное слово). Прямые вызовы eval используют окружение вызывающего контекста. Любые другие вызовы - косвенные вызовы - в качестве окружения используют глобальный объект и не могут получать, изменять или определять локальные переменные или функции. Это поведение демонстрируется в следующем фрагменте:

  var geval = eval; // Другое имя eval для вызова в глобальном контексте
  var х = "global", у = "global"; // Две глобальные переменные
  function f { // Вызывает eval в локальном контексте
   var х = "local"; // Определение локальной переменной
   eval("x += 'changed';"); // Прямой вызов eval изменит локальную переменную
   return х; // Вернет измененную локальную переменную
  }
  function g { // Вызывает eval в глобальном контексте
   var у = "local"; // Локальная переменная
   geval("y += 'changed';") // Косвенный вызов eval изменит глоб. переменную
   return y; // Вернет неизмененную локальную переменную
  }
  console.log(f, х); //Изменилась локальная переменная: выведет "localchanged global":
  console.log(g, у); //Изменилась глобальная переменная: выведет "local globalchanged":

Обратите внимание, что обеспечение возможности вызывать функцию eval в глобальном контексте - это не просто попытка удовлетворить потребности оптимизатора. Фактически это чрезвычайно полезная особенность: она позволяет выполнять строки с программным кодом, как если бы они были независимыми сценариями. Как уже отмечалось в начале этого раздела, действительная необходимость выполнять строки программного кода на практике возникает очень редко. Но если вы сочтете это необходимым, вам, скорее всего, потребуется вызывать функцию eval именно в глобальном контексте, а не в локальном.