陳述 (程式)

维基百科,自由的百科全书
跳转至: 导航搜索

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

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

陳述的種類[编辑]

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

簡單陳述(simple statement)[编辑]

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

程式語言[编辑]

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

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

參見[编辑]

參考資料[编辑]