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


Posted in Javascript onJuly 26, 2008

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... 在这个问题的最终答案上,我仍然是迷惑的。

Javascript 相关文章推荐
我的Node.js学习之路(三)--node.js作用、回调、同步和异步代码 以及事件循环
Jul 06 Javascript
基于jQuery实现复选框的全选 全不选 反选功能
Nov 24 Javascript
ECMAScript 5严格模式(Strict Mode)介绍
Mar 02 Javascript
javascript通过获取html标签属性class实现多选项卡的方法
Jul 27 Javascript
jQuery获取复选框被选中数量及判断选择值的方法详解
May 25 Javascript
JavaScript中输出信息的方法(信息确认框-提示输入框-文档流输出)
Jun 12 Javascript
javascript实现QQ空间相册展示源码
Dec 12 Javascript
微信小程序开发之改变data中数组或对象的某一属性值
Jul 05 Javascript
在小程序中使用Echart图表的示例代码
Aug 02 Javascript
node链接mongodb数据库的方法详解【阿里云服务器环境ubuntu】
Mar 07 Javascript
vue项目添加多页面配置的步骤详解
May 22 Javascript
js删除对象中的某一个字段的方法实现
Jan 11 Javascript
js树形控件脚本代码
Jul 24 #Javascript
js类中的公有变量和私有变量
Jul 24 #Javascript
javascript IE中的DOM ready应用技巧
Jul 23 #Javascript
css把超出的部分显示为省略号的方法兼容火狐
Jul 23 #Javascript
用JavaScript实现UrlEncode和UrlDecode的脚本代码
Jul 23 #Javascript
用js遍历 table的脚本
Jul 23 #Javascript
JavaScript 版本自动生成文章摘要
Jul 23 #Javascript
You might like
暴雪前总裁遗憾:没尽早追赶Dota 取消星际争霸幽灵
2020/03/08 星际争霸
PHP base64+gzinflate压缩编码和解码代码
2008/10/03 PHP
php adodb连接mssql解决乱码问题
2009/06/12 PHP
PHP中去掉字符串首尾空格的方法
2012/05/19 PHP
smarty内置函数foreach用法实例
2015/01/22 PHP
php 中phar包的使用教程详解
2018/10/26 PHP
Dom加载让图片加载完再执行的脚本代码
2008/05/15 Javascript
多浏览器兼容的获取元素和鼠标的位置的js代码
2009/12/15 Javascript
javascript操作cookie的文章(设置,删除cookies)
2010/04/01 Javascript
有趣的JavaScript数组长度问题代码说明
2011/01/20 Javascript
js中的string.format函数代码
2020/08/11 Javascript
js函数的延迟加载实现代码
2012/10/11 Javascript
用js的for循环获取radio选中的值
2013/10/21 Javascript
Javascript前端UI框架Kit使用指南之kitjs的对话框组件
2014/11/28 Javascript
Angularjs中使用Filters详解
2016/03/11 Javascript
JavaScript实现设计模式中的单例模式的一些技巧总结
2016/05/17 Javascript
JS复制对应id的内容到粘贴板(Ctrl+C效果)
2017/01/23 Javascript
12条写出高质量JS代码的方法
2018/01/07 Javascript
基于vue-ssr服务端渲染入门详解
2018/01/08 Javascript
原生JavaScript实现的简单放大镜效果示例
2018/02/07 Javascript
vue 使用Jade模板写html,stylus写css的方法
2018/02/23 Javascript
学习Vue组件实例
2018/04/28 Javascript
vue插件draggable实现拖拽移动图片顺序
2018/12/01 Javascript
vuex 中插件的编写案例解析
2019/06/10 Javascript
[01:01:01]完美世界DOTA2联赛循环赛 GXR vs FTD BO2第一场 10.29
2020/10/29 DOTA
python网络编程学习笔记(一)
2014/06/09 Python
Python中的闭包实例详解
2014/08/29 Python
python多线程操作实例
2014/11/21 Python
python web基础之加载静态文件实例
2018/03/20 Python
从列表或字典创建Pandas的DataFrame对象的方法
2019/07/06 Python
pandas 空数据处理方法详解
2019/11/02 Python
保洁公司服务承诺书
2014/05/28 职场文书
十月围城观后感
2015/06/08 职场文书
妈妈别哭观后感
2015/06/08 职场文书
Win11怎样将锁屏账户头像图片改成动画视频
2021/11/21 数码科技
MongoDB修改oplog大小的四种方法
2022/04/11 MongoDB