在区分表达式和语句之前,我们先分别对他们进行介绍:
1.表达式(expressions)
表达式是由运算符构成,并运算产生结果的语法结构。每个表达式都会产生一个值,它可以放在任何需要一个值的地方,比如,作为一个函数调用的参数.下面的每行代码都是一个表达式:
var a = (5 + 6) / 2; //表达式:(5 + 6) / 2 var b = (function(){ return 25;})(); //表达式: (function(){ return 25;})() foo(a*b); //表达式:a*b
2.语句(statements)
语句则是由“;(分号)”分隔的句子或命令。如果在表达式后面加上一个“;”分隔符,这就被称为“表达式语句”。它表明“只有表达式,而没有其他语法元素的语句”。
var a = (5 + 6) / 2; //整行,赋值语句 if(a>12) { statements} //条件语句 var o = {}; //赋值语句 (function(obj){ obj.b = 23;})(o||{}); //表达式语句
一般的javascript中的语句分为下面几种:
(1)声明语句:变量声明和函数声明
(2)赋值语句
(3)控制语句:能够对语句执行顺序产生改变,包括条件语句和循环语句,当然还有比较特殊的标签语句。
(4)表达式语句:这些语句去掉最后分号,都也可当表达式用的。常见的有:对象操作(new、delete)、函数调用(函数执行,必有返回值)等。
var num = 9; //声明、赋值语句 vloop: //标签语句 { //其实这里大括号可以不需要的,在这里我只想向大家展示一下这种代码块结构而已 for(var i=1; i<10; i++) { //循环语句 if(i==num){ //条件语句 break vloop; }else{ num = num - 1; } } } console.log(num); //表达式语句,输出:5
由上面可以看出,表达式和语句还是存在很大区别的,可也说表达式是语句的构成部分,而语句则又可以组成可执行代码块。一般而已,我们都可以很直观的看出两者的区别,但是,一些特殊情况就不太好区别。
难以区分的表达式和语句
1.对象字面量和代码块
var o = { a : {}, b : "string" }
上面是一个简单至极的对象字面量,但是我们单单从代码的直观层面来看,这个字面量其实跟代码块非常相似,由两个标签语句组成的感觉。复杂些上,还有上面之前我在语句最后举得那个例子,例子中代码块位于标签语句下面,里面包含有个for循环。这时候,你说这个由{}构建的代码块是表达式呢还是语句?
2.命名函数表达式
javascript中有三种函数类型:函数声明,函数表达式和函数构造器创建的函数。
(1)函数声明(FD)
function foo(){ statements; }
(2)函数表达式(FE)
var foo = function(){ statements;}
还有一种比较特殊点的:var foo = function _foo() { statements;} ,这是时候,给函数一个供内部使用的名字_foo,所有,此时,这种类型又称:命名函数表达式(NFE)。
(3)函数构造器创建
var foo = new Function(expressions);
其实上面说了函数的三种类型并不是我们这章的主要重点,这这我们也是探讨一下FD和NFE的一些区别而已,关于其他函数内容后面我单独在细说。
是不是看到FD和NFE的形式之后,又有点点迷糊了,NFE除了前面多了一个var和变量名之外,其他和FD的结构一模一样,这样的话,那是不是说明FD既可以作声明语句,也同时可以作赋值表达式呢?
解答之前两个疑惑
鉴于上面两个比较让人迷惑的语法点,javascript它自己也认识到不足,之后果断改进,做出了如下声明:JavaScript语法禁止表达式语句以大括号或关键字"function"开头。
知错能改善莫大焉,当知道javascript做出如此强制的规约时,就一下子对前面两个疑惑有了答案。
在这之前,我们还要想提下三个概念:语句上下文、表达式上下文和表达式语句。
语句上下文:在这个环境中,这这句代码(表达式或者语句)应该理解成一个语句。
表达式上下文:在这个环境中,这句代码(表达式或者语句)应该理解成一个表达式。
表达式语句:这个表达式既可以看作是一个表达式(因为它能产生一个值),又可以看作是一个执行语句(因为它能执行某些功能,比如执行一个函数等)。表达式语句可以是javascript链式编程的基础。
上面这个概念起辅助理解作用,不用做过深追究。
我们再来看之前的那两个疑惑:
第一个,vloop的冒号后面由大括号中那一段代码,里面都有循环和赋值等操作,那说明它都不是一个表达式语句,所以它不必遵循上面的规定。在这其实它只是一个代码块语句而已。不过对于对象字面量而言,它确实一个货真价实的表达式语句,根据规约,它就只能乖乖的做表达式,不能做语句。
第二个,对于NFE类型函数来说,你可以将它看作是一个函数申明语句,同时也可以将之看成一个表达式,但是根据javascript的规定,表达式语句不能以function开头,所有在这,NFE中的肯定是表达式了。当然,对于FD,这个很明显,是函数声明语句,不用怀疑。
其实,还有另一种判定方法,根据上下文判断,利用之前我们说过语句上下文和函数上下文。对于一个表达式语句,当你无法区分它是表达式还是语句,你参照上下文,判断程序在这需要做什么,是变量赋值?还是语句执行?看到前面由“=”(赋值)或者用“()”(小括号,在这时分组符,里面只能包含表达式),你就可以肯定,这是一个表达式上下文。javascript的解释器就是这个干的。
var foo = function _foo(index){ console.log("传入的参数是:"+index||"空值") }(1); //输出:传入的参数是:1 console.log(foo); //输出:undefined //根据上下文判断,"var foo = "后面是表达式上下文,所有解释器自动将后面看成一个立即执行函数,虽然没有小括号。 function foo(index){ console.log("传入的参数是:"+index||"空值") }(1) //输出:1 console.log(foo); //function foo(index){...} //解释器判断此为语句上下文,所以讲语句拆分为两段。前一段为函数声明,后一段“(1)”为一个简单的分组语句。
看到上面,你是不是灵机一动,发现你居然可以强制将表达式语句转换成表达式了!
转换方法:
(1)利用小括号,也就是分组符号(分组符内只允许表达式),进行转换。
var o; o = eval("{obj:'this is a object'}") console.log(o); //this is a object o = eval("({obj:'this is a object'})") console.log(o); //Object {obj: "this is a object"}
前者eval中没有加小括号,运行时被认为是一条语句执行,所以o被赋值成义字符串了;而后者,被认为是加上小括号,被认为是在表达式上下文中执行,所有返回一个对象。
(2)利用运算符,因为javascript引擎会认为这是参与运算的必须是表达式。
+function(index){ console.log("传入的参数是:"+index||"空值"); return index; }(1) //输出:传入的参数是:1 //表达式结果是:1
记得上面我也运行过这个句代码,不过当时前面少了个加号(“+”)。比较一下两者的结果。
总结
通过以上分析,不知道大家对表达式和语句是不是有点豁然开朗的感觉,反正我觉得我是通过写blog加深了对javascript的理解。我总是渴望把我所领会到的知识尽我之力,分享出来,可能会有不对,但是自己感觉到的是收获与成长,希望大家看过之后有问题可以交流一下。我会继续努力。