对JavaScript的eval()中使用函数的进一步讨论

var func = eval("(function(){})");
alert(typeof func);
－－－－－－－－
更进一步的问题是，书中对匿名和具名函数在JScript与SpiderMonkey中的表现解释得不够
清楚。好的，这篇文章就这个问题深入讨论，不单涉及书中的内容，也更深入地讲述一
下JS的解释与执行过程——其实所有的内容在书中都有涉及，但过于分散，不便于专门
地来分析一个具体问题。

首先，应该明确表达式与语句。对于JS来说，eval()总是试图执行一个语句，因此它必须
先将执行文本理解为语句。如下：
－－－－－－－－
eval("1")
－－－－－－－－
在JS看来，由于eval()必须执行语句，因此"1"不再是直接量表达式，而是直接量表达式语
句，也就是相当于“1;”。这些内容，在“5.2.2  动态执行过程中的语句、表达式与值”
中有详细解释。

所以，eval()的返回值，其实是语句最后一个（有效的）子句的返回值。接下来，我们需
要了解“声明语句”和“表达式”。例如：
－－－－－－－－
function x() {
  //....
}
－－－－－－－－
很明显，这是一个具名函数的“声明语句”。注意的是，“声明语句”是不返回值的。也
就是说，声明语句是在语法解释期，由预编译器处理的，而在执行期它是没意义的——没
有值，也没有返回值。例如单纯的“var X”，是一个声明语句，它就不会返回值，而对于
“var X=100”来说，JS就处理成一个声明语句，和一个在执行期的赋值语句，它就有返回
值（后者的值）。

上面的规则对于JScript和SpiderMonkey来说都是一样的，这没有区别。有区别的是接下来的
内容。首先，SpiderMonkey承认“函数表达式（function expression）”，为了直接这样一种
特性，它约在“函数表达式”中出现的“函数名”是无效的。因为“函数名”是“声明语
句”来陈述的，而“表达式”是比语句更小（或更低级）的一个级别，因此不可能在“表
达式”中出现“语句声明”，所以只好在表达式中忽略函数名。这样一来，SpiderMonkey中
下面语句：
－－－－－－－－
x = "1234" + (function X() {});
－－－－－－
中函数X就没有标识符的效果，它对表达式之外的、或者全局的“标识符”都不会构成影
响。更进一步地说：
－－－－－－－－
var X = 100;
x = "1234" + (function X() {});
－－－－－－
在这样两行代码中，变量X不会被重写，因为第二行中的函数名X是无效的。关于这些内
容，在书中“5.4.2.1  语法声明与语句含义不一致的问题”有详细解释。

正是在上面这个小节中，还讨论到了MS JScript对这个问题的处理。JScript承认在代码内文
的任意位置出现的函数标识符声明。也就是说，由于上面的标识符是有效的，所以全局变
量中的“X”就会被重写。但是，正是由于这个缘故，JScript就必须对下面这个问题做解释：
－－－－－－
eval("(function(){})");
eval("(function X(){})");
－－－－－－
请问：这两行代码在语义上有没有不同？由于SpiderMonkey承认函数表达式，因此把两个
都解释为表达式的运算元；而JScript要承认第二行代码中的变量名X，因此只好两个都解释
为语句。也就是说，在缺省情况下，JScript认为第一行是匿名函数“声明语句”，第二行则
是具名函数声明语句。因此，如同前面所说的，“声明语句”不返回值，所以在JScript中两
行代码都返回undefined，而且第二行代码声明了一个变量名X。

关于这个问题，我在脚注中说“函数声明的语句含义”的确是有些含糊的。无论如何，只需
要简单地理解为JScript认为这里是“函数语句声明”，而SpiderMonkey认为这里是“函数表达
式声明”就可以了。

好。到这里为止，我们大概只解释清楚了：
－－－－－－
eval("(function(){})");
eval("(function X(){})");
－－－－－－
这两行语句的效果，以及产生这种效果的原因。但是，对于我在书上的例子和脚注说明，仍
然是有疑问的。这来源于这段文字和代码：
－－－－－－
不过在JScript中存在一个例外：函数直接量（这里指匿名函数）不能通过这种方式来获得。例如下面的代码：
var func = eval("(function() { })");
// 输出"undefined"
alert(typeof func);
这种情况下，可以具名函数来得到它(*)。例如：………………
－－－－－－
先留意这段文字是上下文相关的。我只是想说明如何能向变量"func"赋一个有效的值。这涉
及到两种方法：
－－－－－－
// 方法1，用匿名函数
var func = eval("(function() { })");
alert(typeof func);

// 方法2，用具名函数
var func;
eval("function func() { }");
alert(typeof func);
－－－－－－
这段话的意思是“在JScript中使用方法1(用匿名函数的方法)是不行的，需要使用第二种”，
而在脚注中，说SpiderMonkey正好相反，也仅指这个例子而言——在SpiderMonkey中，第
二种方法是无效的，而第一种是有效的。

这里与前述的内容稍有差异的是，方法2并没有使用“返回值”，而只是通过eval()语句中
利用函数名声明的效果，来影响全局变量func。而正是由于SpiderMonkey不承认这个声明的
标识符，所以是无效的。

同样的原因，读者I22141说修改成下面这样：
－－－－－－
var func = eval("function func() { }");
－－－－－－
在SpiderMonkey中则是利用了返回值，与上面这个示例已经不是同一个问题了。所以I22141
所问“(那么你所说的在SpiderMonkey中可以用eval()返回一个匿名函数，而对具名函数却只
能返回undefined是什么含义？)”，也是脱离了这个示例的一个设问。

最后再来讲述一个细节问题，这在书上也未有提及，其实也是一个很怪异的事件。首先，在
上面我说，在JScript中：
－－－－－－－－
// 第一种情况
var func = eval("(function(){})");
alert(typeof func); // 显示"undefined"
－－－－－－－－
这里显示undefined是因为JScript将后面的函数解释为匿名函数声明，所以没有值。其实是相对
要牵强一些的。因为我们修改一下：
－－－－－－－－
// 第二种情况
var func = eval("(1, function(){})");
alert(typeof func);  // 显示"function"
－－－－－－－－
就不同了。那么到底为什么第一种情况下，JScript就一定是理解为“声明语句”而不是表达
式呢？我不得确知。我只是从：
－－－－－－－－
// 第三种情况
var X;
eval("(function X(){})");
alert(typeof X); // 显示"function"
－－－－－－－－
这种情况下存在“语句声明”的效果来推断第一种情况的。更为奇特的是，我不清楚为什
么JScript容许在一个表达式运算符“(...)”中存在一个“语句”——因为理论上说，这种情
况是在语法分析中难于解释的。我甚至在“5.4.2.1  语法声明与语句含义不一致的问题”提
到下面的代码：
－－－－－－－－
// 示例5：语法声明阶段重写
// 重写
(function Object(){
}).prototype.value = 100;

// 显示值undefined
var obj = new Object();
alert(obj.value);
－－－－－－－－
是因为执行期“(X).prototype.value”中的那个函数X，与语句分析期覆盖了全局的Object标识
符的函数，不是同一个。但，我仍然不明白，为什么JScript允许在表达式中存在声明语句。
与此更为相悖的是，如果要承认这样的假设，那么为什么下面的语句不能执行：
－－－－－－－－
(var x=100);
－－－－－－－－
然而如果不承认，那么下面的代码却又能正常执行：
－－－－－－－－
(function X() {});
－－－－－－－－
OH... 在这个问题的最终答案上，我仍然是迷惑的。

赞 (0)

相关推荐

  • PHP4实际应用经验篇(7)

    作者:孙运动 另一种和 "if-else"家族控制语句功能几乎相同的是PHP的"switch"语句.它看起来如下所示: -------------------------------------------------------------------------------- switch (决定变量) { case 第一个条件正确: do this! case 第二个条件正确: do this! case 第三个条件正确: do this! ... 等等...

  • 了解一点js的Eval函数

    复制代码 代码如下: <title>无标题文档</title> <script language="javascript" type="text/javascript"> //eval(vable)能是把对应的字符串解析成JS代码并运行即:可以把一个字符串当作一个JavaScript表达式一样去执行它. function Eval1(){ alert("Eval1"); } function Eval2(){

  • js中eval()函数和trim()去掉字符串左右空格应用

    对于js中eval()函数的理解和写一个函数trim()去掉字符串左右空格. trim()是参照了jquery的源码,你可以放心使用. 对于js中eval()函数的理解是本人心得不一定正确. 复制代码 代码如下: <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <html> <he

  • JavaScript中eval()函数用法详解

    eval() 函数计算 JavaScript 字符串,并把它作为脚本代码来执行. 如果参数是一个表达式,eval() 函数将执行表达式.如果参数是Javascript语句,eval()将执行 Javascript 语句. 语法 复制代码 代码如下: eval(string) 参数 描述 string 必需.要计算的字符串,其中含有要计算的 JavaScript 表达式或要执行的语句. eval()函数用法详解: 此函数可能使用的频率并不是太高,但是在某些情况下具有很大的作用,下面就介绍一下eva

  • javascript中eval函数用法分析

    本文实例分析了javascript中eval函数用法.分享给大家供大家参考.具体分析如下: eval()只有一个参数,如果传入的参数不是字符串,则直接返回这个参数.否则会将字符串当成js代码进行编译,如果编译失败则抛出语法错误(SyntaxError)异常.如果编译成功则开始执行这段代码,并返回字符串中的最后一个表达式或语句的值:如果最后一个表达式或语句没有值,则最终返回undefined.如果字符串抛出异常,则该异常将把该调用传递给eval(); eval()最为重要的是,它使用了调用它的变量

  • javascript eval函数深入认识

    (1)介绍javascript中的eval函数的用法 (2)如何在函数内执行全局代码 ►先来说eval的用法,内容比较简单,熟悉的可以跳过. eval函数接收一个参数s,如果s不是字符串,则直接返回s.否则执行s语句.如果s语句执行结果是一个值,则返回此值,否则返回undefined. 需要特别注意的是对象声明语法"{}"并不能返回一个值,需要用括号括起来才会返回值,简单示例如下: var code1='"a" + 2'; //表达式 var code2='{a:2

  • Javascript中Eval函数的使用说明

    举个小例子: 复制代码 代码如下: var the_unevaled_answer = "2 + 3"; var the_evaled_answer = eval("2 + 3"); alert("the un-evaled answer is " + the_unevaled_answer + " and the evaled answer is " + the_evaled_answer); 如果你运行这段eval程序,

  • Javascript中eval函数的使用方法与示例

    定义和用法 eval() 函数可计算某个字符串,并执行其中的的 JavaScript 代码. 语法 eval(string) 参数 描述 string 必需.要计算的字符串,其中含有要计算的 JavaScript 表达式或要执行的语句. 返回值 通过计算 string 得到的值(如果有的话). 说明 该方法只接受原始字符串作为参数,如果 string 参数不是原始字符串,那么该方法将不作任何改变地返回.因此请不要为 eval() 函数传递 String 对象来作为参数. 如果试图覆盖 eval

  • 对JavaScript的eval()中使用函数的进一步讨论

    var func = eval("(function(){})"); alert(typeof func); -------- 更进一步的问题是,书中对匿名和具名函数在JScript与SpiderMonkey中的表现解释得不够 清楚.好的,这篇文章就这个问题深入讨论,不单涉及书中的内容,也更深入地讲述一 下JS的解释与执行过程--其实所有的内容在书中都有涉及,但过于分散,不便于专门 地来分析一个具体问题. 首先,应该明确表达式与语句.对于JS来说,eval()总是试图执行一个语句,因此

  • 基于Python中Remove函数的用法讨论

    基于Python中Remove函数的用法讨论

    前几天在进行写程序时碰到这样一个问题 a=['a','b','c','d'] b=['c','d','e','f'] 需要将数组a中元素,在数组b中出现过都删除.第一次写出程序如下: a=['a','b','c','d'] b=['c','d','e','f'] for x in a: if x in b: a.remove(x) print (a) 最后的输出结果为 出现这样的结果,当时感觉很诧异.但立马细细一想,立马明白了其中的原因. 当x='c'时,此时满足if条件语句,执行if下的语句:

  • JavaScript中匿名函数的用法及优缺点详解

    匿名函数可以有效的保证在页面上写入Javascript,而不会造成全局变量的污染. 这在给一个不是很熟悉的页面增加Javascript时非常有效,也很优美. 一.什么是匿名函数? 在Javascript定义一个函数一般有如下三种方式: 函数关键字(function)语句: function fnMethodName(x){alert(x);} 函数字面量(Function Literals): var fnMethodName = function(x){alert(x);} Function(

  • javaScript中push函数用法实例分析

    本文实例讲述了javaScript中push函数用法.分享给大家供大家参考.具体分析如下: javaScript 中的 push 方法,将新元素添加到一个数组中,并返回数组的新长度值. arrayObj.push([item1   [item2   [.   .   .   [itemN   ]]]]) 参数 arrayObj,必选项.一个   Array   对象. item,   item2,.   .   .   itemN, 可选项.该   Array   的新元素. 说明 push 

  • javascript编程开发中取色器及封装$函数用法示例

    本文实例讲述了javascript编程开发中取色器及封装$函数用法.分享给大家供大家参考,具体如下: 1.封装$函数 function $(str){ //如果传入的是'#' 则选择id标签 //如果传入的是'.' 则选择所有的类名标签 //如果传入的既不是'#也不是'.' 选择复合标签 //判断传入的值 if(typeof str !='string'){ console.log('传入的参数有误!'); return null; } //获取参数的第一个字母 var firstChar=st

  • JavaScript中exec函数用法实例分析

    本文实例讲述了JavaScript中exec函数用法.分享给大家供大家参考.具体如下: javaScript 中的 exec 函数,用正则表达式模式在字符串中运行查找,并返回包含该查找结果的一个数组. rgExp.exec(str) 参数: rgExp   必选项.包含正则表达式模式和可用标志的正则表达式对象. str   必选项.要在其中执行查找的 String 对象或字符串文字. 说明: 如果 exec 方法没有找到匹配,则它返回 null.如果它找到匹配,则 exec 方法返回一个数组,并

  • javascript中声明函数的方法及调用函数的返回值

    <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title></title> <!--js中声明函数的方法--> <script type="text/javascript"> //因为javascript是弱类型的语言,所以参数不需要加类型.函数的也不需要像c#那样要求所以路径都需要有返回值(这个不像c#语言,而且c#的方法也不需要在方法

  • javascript中动态函数用法实例分析

    本文实例讲述了javascript中动态函数用法.分享给大家供大家参考.具体分析如下: <html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> <title>动态函数</title> <script

  • 深入剖析JavaScript中的函数currying柯里化

    curry化来源与数学家 Haskell Curry的名字 (编程语言 Haskell也是以他的名字命名).   柯里化通常也称部分求值,其含义是给函数分步传递参数,每次传递参数后部分应用参数,并返回一个更具体的函数接受剩下的参数,这中间可嵌套多层这样的接受部分参数函数,直至返回最后结果. 因此柯里化的过程是逐步传参,逐步缩小函数的适用范围,逐步求解的过程. 柯里化一个求和函数 按照分步求值,我们看一个简单的例子 var concat3Words = function (a, b, c) { r

  • 浅谈Javascript中的函数、this以及原型

    关于函数 在Javascript中函数实际上就是一个对象,具有引用类型的特征,所以你可以将函数直接传递给变量,这个变量将表示指向函数"对象"的指针,例如: function test(message){ alert(message); } var f = test; f('hello world'); 你也可以直接将函数申明赋值给变量: var f = function(message){ alert(message); }; f('hello world'); 在这种情况下,函数申明

随机推荐