语句 (程序设计)
 | 此条目没有列出任何参考或来源。 (2010年3月20日) |
| “语句”的各地常用名称 | |
|---|---|
| 中国大陆 | 语句 |
| 台湾 | 叙述、陈述、陈述式、语句 |
在电脑科学的编程中，语句（又称陈述式、叙述、述句、描述式、陈述句）是指令式编程语言中最小的独立元素，表达程序要执行的一些动作。多数语句是以高级语言编写成一或多个语句的序列，用于命令电脑执行指定的一系列操作。单一个语句本身也具有内部结构（例如表达式）。
许多语言（例如说，C语言）将语句与定义句（definition）分隔的很明确，因为语句只会有运算符号以及一些宣告标识符号（identifier）的定义。我们也可以找出简单语句与复合语句之间的差异；后者会在一个段落中包含了许多语句。
语句的种类
以下是主要通用的语句种类，加上典型的指令式语言的示例：
简单语句（simple statement）
- 指定(赋值)
- C, Fortran:
A = A + 5 - Pascal:
A := A + 5
- C, Fortran:
- 调用
- C:
CLEARSCREEN()
- C:
- 回传：
return 5;
- goto
- C:
goto 1
- C:
- 断言
- C:
assert(ptr != NULL);
- C:
复合语句（compound statement）
- block：
begin integer NUMBER; WRITE('Number? '); READLN(NUMBER); A:= A*NUMBER end - if语句：
if A > 3 then WRITELN(A) else WRITELN("NOT YET"); end - Switch语句：
switch (c) { case 'a'：alert(); break; case 'q'：quit(); break; } - While循环：
while NOT EOF DO begin READLN end - Do-while循环：
do { computation(&i); } while (i < 10); - For循环：
for A:=1 to 10 do WRITELN(A) end
表示式
在大多数编程语言中，语句与表达式互相对比，两者不同之处在于，语句是为了运作它们的副作用而执行；表达式则一定会传回评估后的结果，而且通常不产生副作用。在指令式编程中，ALGOL 68是语句可有回传值的少数几种语言。在混合指令式和函数式的编程语言（如Lisp）中，表达式和语句之间的分野并不存在：即段落中只为了副作用且不返回值，而依序执行的表达式，也被认为是“表达式”。在纯函数式编程中没有语句；一切都是可被评估的表达式。
在措辞中经常出现这样的区别：一个语句是被“执行”(execute)，而一个表达式是被“评估”或对其“求值”(evaluate)。一些语言中具备了exec和eval函数：比如在Python中，exec应用于语句，而eval应用于表达式。
编程语言
语句的语义（sematic）以及句法（syntax）是依据每个编程语言的定义来规定的。
许多的编程语言不允许自我修改代码（self-modifying code）。或者说，多数编程语言不允许在执行时间创造新的语句（Snobol 4则是一个允许这样作的例子）或者修改现有的语句（Lisp则是一个反例）。
