表达式

一段可以求值的语法。换句话说，表达式是表达式元素的累积，如字面量、名称、属性访问、操作符或函数调用，它们都返回一个值。与许多其他语言相比，并不是所有的语言结构都是表达式。还有一些语句不能用作表达式，比如while。赋值也是语句，而不是表达式。

声明

语句是套件(代码“块”)的一部分。语句可以是表达式，也可以是带有关键字的几个结构之一，如if、while或for。

关于基于表达式的语言的一些事情:

最重要的是:所有内容都返回一个值

用于分隔代码块和表达式的花括号和大括号之间没有区别，因为所有内容都是表达式。不过，这并不会阻止词法作用域:例如，可以为包含其定义的表达式和该表达式中包含的所有语句定义局部变量。

在基于表达式的语言中，所有内容都返回一个值。这一开始可能有点奇怪——(FOR i = 1 TO 10 DO (print i))返回什么?

一些简单的例子:

(1)返回1 (1 + 1)返回2 (1 == 1)返回TRUE (1 == 2)返回FALSE (IF 1 == 1 THEN 10 ELSE 5)返回10 (IF 1 == 2 THEN 10 ELSE 5)返回5

还有一些更复杂的例子:

Some things, such as some function calls, don't really have a meaningful value to return (Things that only produce side effects?). Calling OpenADoor(), FlushTheToilet() or TwiddleYourThumbs() will return some sort of mundane value, such as OK, Done, or Success. When multiple unlinked expressions are evaluated within one larger expression, the value of the last thing evaluated in the large expression becomes the value of the large expression. To take the example of (FOR i = 1 TO 10 DO (print i)), the value of the for loop is "10", it causes the (print i) expression to be evaluated 10 times, each time returning i as a string. The final time through returns 10, our final answer

通常需要稍微改变一下心态，才能最大限度地利用基于表达式的语言，因为所有东西都是表达式，这使得“内联”很多东西成为可能

举个简单的例子:

FOR i = 1 to (IF MyString == "Hello, World!"然后就有10个人这样做了 （ LotsOfCode )

非基于表达式的替换是否完全有效

IF MyString == "Hello, World!"THEN TempVar = 10 ELSE TempVar = 5 FOR i = 1 TO TempVar DO （ LotsOfCode ）

在某些情况下，基于表达式的代码所允许的布局对我来说感觉更自然

当然，这可能导致疯狂。作为基于表达式的脚本语言MaxScript的爱好项目的一部分，我设法想出了这个怪物行

IF FindSectionStart "rigidifiers" != 0 THEN FOR i = 1 TO (local rigidifier_array = (FOR i = (local NodeStart = FindsectionStart "rigidifiers" + 1) TO (FindSectionEnd(NodeStart) - 1) collect full_array[i])).count DO
(
    LotsOfCode
)

为了解释表达式和语句在可组合性(可链接性)方面的重要区别，我最喜欢的参考文献是John Backus的图灵奖论文《编程可以从冯·诺伊曼风格中解放出来吗?》

命令式语言(Fortran, C, Java，…)强调用语句来构造程序，并有表达式作为一种事后思考。函数式语言强调表达式。纯函数式语言具有如此强大的表达式，以至于可以完全消除语句。

语句->按顺序执行的指令 表达式->返回值的求值

语句基本上就像算法中的步骤或指令，语句执行的结果是指令指针的实现(所谓的汇编程序)。

表达式乍一看并不意味着和执行顺序，它们的目的是求值并返回值。在命令式编程语言中，表达式的求值是有顺序的，但这只是命令式模型的原因，而不是它们的本质。

语句示例:

for
goto
return
if

(所有这些都意味着执行的行(语句)提前到另一行)

表达式示例:

2+2

(这并不是指执行，而是指评估)

在面向语句的编程语言中，代码块被定义为语句列表。换句话说，语句是可以放入代码块而不会导致语法错误的一段语法。

维基百科对statement这个词的定义类似

在计算机编程中，语句是命令式编程语言的语法单位，它表示要执行的某些操作。用这种语言编写的程序由一个或多个语句的序列组成

注意后一种说法。(尽管在这种情况下，“一个程序”在技术上是错误的，因为C和Java都拒绝一个不包含任何语句的程序。)

维基百科对表达式的定义是

编程语言中的表达式是一个语法实体，可以对其求值以确定其值

然而，这是错误的，因为在Kotlin中，throw new Exception("")是一个表达式，但当求值时，它只是抛出一个异常，从不返回任何值。

在静态类型编程语言中，每个表达式都有一个类型。然而，这个定义在动态类型编程语言中不起作用。

就我个人而言，我将表达式定义为一段语法，它可以由运算符或函数调用组成，以产生更大的表达式。这其实和维基百科对表达式的解释很相似:

它是一个或多个常量、变量、函数和操作符的组合，编程语言解释(根据其特定的优先级和关联规则)并计算产生(在有状态环境中为“返回”)另一个值

但是，问题是在C编程语言中，给定一个函数执行如下内容:

void executeSomething(void){
    return;
}

executessomething()是表达式还是语句?根据我的定义，它是一个语句，因为根据微软C引用语法的定义，

不能以任何方式使用具有void类型的表达式的(不存在的)值，也不能将void表达式(通过隐式或显式转换)转换为除void以外的任何类型

但同一页明确指出，这样的语法是一个表达式。

很简单:表达式的值是一个值，而语句不是。