语句与表达式

即使刚接触编程人来说，语句和表达式也应该是两个再熟悉不过，再基础不过的概念。随便翻开一本教你程序设计的书，开头第一章就一定会用不少的篇幅讲解该程序语言使用的语句和表达式。毫无疑问，两个是不一样的概念。但是假如你要问语句和表达式的本质区别是什么，可能很多人，那怕是工作了很多年的程序员也会突然答不上来。

最近在看《松本行弘的程序世界》，对他写的Ruby来了兴趣，再想到自己确实也蛮多年没有好好的学一门新的语言了，于是有了学Ruby的念头。因为是从头开始学，当然一开始就是Ruby的基本类型，然后是语句和表达式等等。一天我对着Ruby书第一章的目录发愣，脑子里突然闪过一个问题：语句和表达式有什么本质的区别？我暂停了一下，竟然答不上来，而且想到写了这么多年的代码竟然从来没有想过这个问题，想想也是蛮滑稽的。

当然对于这样一个基础的问题，假如你是计算机科班出身，或者你学过编译原理，知道抽象语法树，你会知道源代码里的语句和表达式在编译之后在抽象语法树上会表示成两个不一样的节点。然后不同的语言按照自己的求值规则进一步解释这些节点。但是假如你没学过这些，那么可能连基本的sense都没有，也就谈不上怎么回答这个问题了。语句（Statement），通俗讲就是一段（行）做了某些事情的代码。常见的语句有比如if-else条件判断语句，for/while循环语句:

    for (int i = 1; i < 10; ++i)
    {
      if  ( condition)
          {
              // do something
          }
    }

语句的执行会改变程序运行的上下文，但是一般情况下对语句求值是得不到一个值的结果的。在求值之后的表现上，表达式（expression）和语句则不一样，比如我们常见的加法运算表达式，假设x等于1，那么对下面这个表达式求值可以得到一个值，即2：

    x + 1

也可以说两种的区别就是表达式可以求值，但是语句不可以。正因为这样，表达式可以出现在“值”出现的地方，比如上面的加法表达式可以作为函数的参数:

  int result = add( x + 1, y);

假如你把一个语句作为参数，你的编译器应该就会抱怨了，比如这样:

int result = add( if (x == 1) , y);