跳至內容

敘述 (程式設計)

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書
「敘述」的各地常用名稱
中國大陸語句
臺灣敘述、陳述、陳述式、語句

在電腦科學的編程中,敘述(又稱陳述式語句述句描述式陳述句)是指令式程式語言中最小的獨立元素,表達程式要執行的一些動作。多數敘述是以高階語言編寫成一或多個敘述的序列,用於命令計算機執行指定的一系列操作。單一個敘述本身也具有內部結構(例如表達式)。

許多語言(例如說,C語言)將敘述與定義句(definition)分隔的很明確,因為敘述只會有運算符號以及一些宣告識別碼號(identifier)的定義。我們也可以找出簡單敘述與複合敘述之間的差異;後者會在一個段落中包含了許多敘述。

敘述的種類

[編輯]

以下是主要通用的敘述種類,加上典型的指令式語言的範例:

簡單敘述(simple statement)

[編輯]
  • 斷言
    • C: assert(ptr != NULL);

複合敘述(compound statement)

[編輯]
  • blockbegin 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則是一個反例)。

參見

[編輯]

參考資料

[編輯]