你可以在维基百科上找到这个，但是表达式被求值为某个值，而语句没有求值。

因此，表达式可以用在语句中，但不能用在语句中。

请注意，一些语言(如Lisp，我相信Ruby，以及许多其他语言)并不区分语句和表达式……在这样的语言中，所有东西都是一个表达式，并且可以与其他表达式连接。

为了改进和验证我之前的回答，编程语言术语的定义应该从计算机科学类型理论中解释。

表达式具有除Bottom类型以外的其他类型，即它有一个值。语句具有Unit或Bottom类型。

由此可见，语句只有在产生副作用时才能在程序中发挥作用，因为它要么不能返回值，要么只返回Unit类型的值，而Unit类型的值要么不可赋值(在某些语言中，如C的void)，要么可以存储以用于语句的延迟求值。

显然，@pragma或/*comment*/没有类型，因此与语句有所区别。因此，唯一没有副作用的语句类型是非操作。非手术治疗只能作为未来副作用的占位符。由于声明而采取的任何其他行动都是副作用。同样，编译器提示，例如@pragma，不是语句，因为它没有类型。

声明中,

语句是构造所有c#程序的过程构建块。语句可以声明局部变量或常量，调用方法，创建对象，或为变量、属性或字段赋值。

由花括号括起来的一系列语句构成了一个代码块。方法体就是代码块的一个例子。

bool IsPositive(int number)
{
    if (number > 0)
    {
        return true;
    }
    else
    {
        return false;
    }
}

c#中的语句通常包含表达式。c#中的表达式是包含文字值、简单名称或操作符及其操作数的代码片段。

表达式,

表达式是可以计算为单个值、对象、方法或名称空间的代码片段。最简单的两种表达式是字面量和简单名称。字面量是一个没有名字的常量值。

int i = 5;
string s = "Hello World";

i和s都是用来标识局部变量的简单名称。当在表达式中使用这些变量时，将检索变量的值并将其用于表达式。

表达式:求值为某个值的东西。例如:1 + 2 / x 语句:执行某些操作的代码行。例如:GOTO 100

在最早的通用编程语言(如FORTRAN)中，这种区别是非常明显的。在FORTRAN中，一条语句是一个执行单元，是你所做的一件事。它不被称为“线”的唯一原因是因为有时它跨越多条线。一个表达式本身什么都做不了……你必须把它赋值给一个变量。

1 + 2 / X

是FORTRAN中的一个错误，因为它不做任何事情。你必须对这个表达做些什么:

X = 1 + 2 / X

FORTRAN没有我们今天所知道的语法——这个想法和巴克斯-诺尔表单(BNF)一起被发明出来，作为algolo -60定义的一部分。在这一点上，语义上的区别(“有一个值”和“做某事”)被庄严地体现在语法中:一种短语是表达式，另一种是语句，解析器可以区分它们。

后来语言的设计者模糊了这种区别:他们允许语法表达式做事情，允许有值的语法语句。 现存最早的流行语言例子是C语言。C语言的设计者意识到，如果允许你求一个表达式的值，然后放弃结果，那也没有什么害处。在C语言中，每个语法表达式都可以通过在后面加上分号而变成语句:

1 + 2 / x;

是一个完全合法的声明，即使绝对不会发生任何事情。类似地，在C语言中，表达式可以有副作用——它可以改变一些东西。

1 + 2 / callfunc(12);

因为callfunc可以做一些有用的事情。

一旦您允许任何表达式作为语句，您也可以在表达式中允许赋值操作符(=)。这就是为什么C允许你做

callfunc(x = 2);

这将计算表达式x = 2(将2的值赋给x)，然后将该2传递给函数callfunc。

这种表达式和语句的模糊出现在所有的C语言衍生物(C、c++、c#和Java)中，它们仍然有一些语句(如while)，但允许几乎任何表达式用作语句(在c#中，只有赋值、调用、自增和自减表达式可以用作语句;参见Scott Wisniewski的回答)。

拥有两个“语法类别”(这是语句和表达式这类东西的专业名称)可能会导致重复工作。例如，C语言中有两种形式的条件句，一种是语句形式

if (E) S1; else S2;

以及表达式形式

E ? E1 : E2

有时人们希望复制不存在的内容:例如，在标准C中，只有语句可以声明一个新的局部变量——但是这种能力非常有用，可以使用 GNU C编译器提供了一个GNU扩展，允许表达式声明局部变量。

Designers of other languages didn't like this kind of duplication, and they saw early on that if expressions can have side effects as well as values, then the syntactic distinction between statements and expressions is not all that useful—so they got rid of it. Haskell, Icon, Lisp, and ML are all languages that don't have syntactic statements—they only have expressions. Even the class structured looping and conditional forms are considered expressions, and they have values—but not very interesting ones.

你可以在维基百科上找到这个，但是表达式被求值为某个值，而语句没有求值。

因此，表达式可以用在语句中，但不能用在语句中。

请注意，一些语言(如Lisp，我相信Ruby，以及许多其他语言)并不区分语句和表达式……在这样的语言中，所有东西都是一个表达式，并且可以与其他表达式连接。

我对这里的答案都不太满意。我查看了c++ (ISO 2008)的语法。然而，出于教学和编程的考虑，答案可能足以区分这两个元素(尽管现实看起来更复杂)。

语句由零个或多个表达式组成，但也可以是其他语言概念。这是语法的扩展巴克斯诺尔形式(语句节选):

statement:
        labeled-statement
        expression-statement <-- can be zero or more expressions
        compound-statement
        selection-statement
        iteration-statement
        jump-statement
        declaration-statement
        try-block

我们可以看到c++中被认为是语句的其他概念。

表达式-语句是自解释的(一个语句可以由0个或多个表达式组成，仔细阅读语法，这很棘手) 例如，Case是一个带标签的语句 选择语句是if if/else, case 迭代语句是while, do…然而，对于(……) 跳转语句有break, continue, return(可以返回表达式)，goto Declaration-statement是声明的集合 try-block是表示try/catch块的语句 在语法中可能还有更多

以下是表达部分的节选:

expression:
        assignment-expression
        expression "," assignment-expression
assignment-expression:
        conditional-expression
        logical-or-expression assignment-operator initializer-clause
        throw-expression

表达式通常是或包含赋值 条件表达式(听起来容易误导人)指的是使用运算符(+，-，*，/，&，|，&&，||，…) 抛出表情——呃?throw子句也是一个表达式