陳述(計算機概念)

在計算機科學裡面一個陳述（statement）可以被想成是指令式程式語言裡面最小的獨立元素。一個程式是由一系列包含一或多個陳述所構成的。單一個陳述本身也會有一些內部結構（例如說，表示式（expression））。

許多語言（例如說，C語言）將陳述句與定義句（definition）分隔的很明確，因為陳述只會有運算符號以及一些宣告標識符號（identifier）的定義。我們也可以找出簡單陳述與複合陳述之間的差異；後者會一次包含了許多陳述。

陳述的種類

以下是主要通用的陳述種類，加上典型的指令式語言的範例：

簡單陳述（simple statement）

• 指定：A:= A + 1
• 呼叫：CLEARSCREEN()
• 回傳：return 5;
• goto：goto 1
• 斷言：assert(ptr!= NULL);

複合陳述（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家族，其表示式與陳述之間的分野並不存在：即使是僅運作於副作用而且回傳值不被使用的文句也可以被視為“表示式”。在purely functional（purely functional）程式設計裡面，不存在任何陳述；所有東西都是表示式。

程式語言

陳述的語意（sematic）以及句法（syntax）是依據每個程式語言的定義來規定的。

許多的程式語言不允許自我修改程式碼（self-modifying code）。或者說，多數程式語言不允許在執行時間創造新的陳述（Snobol 4則是一個允許這樣作的例子）或者修改現有的陳述（Lisp則是一個反例）。