Javascript浅谈之表达式和语句的区别

简介

　　表达式(expressions)和语句(statements)在javascript非常常见，但是就是这些常见的元素，有时候我们也未必能够正确的领会其要表示的含义和用法。这是因为我们总是对常见的东西本能的表示默认，好像它天生就该如此，为很少去考虑其背后所代表的含义。比如：if的条件中为什么能有赋值，立即执行函数为什么要用小括号给括起来调用等。

　　在区分表达式和语句之前，我们先分别对他们进行介绍：

　　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

　　记得上面我也运行过这个句代码，不过当时前面少了个加号（“+”）。比较一下两者的结果。

总结

　　在书写IIFE时可明显体会到二者的区别，通过将函数声明语句转化为表达式形式，可实现对函数的即时调用。