Ada 程式設計/關鍵字/for

此關鍵字用於

如今，由於一些技術細節，表示子句在參考手冊的最新版本中正式稱為方面子句，儘管表示子句是 Ada 程式設計師中更廣泛使用的名稱。作為歷史記錄，它們在 Ada 83 之前的提案中被稱為表示規範（rep specs）。^[1]

For 迴圈

[loop name :] for var in [ reverse ] [type range] range loop
   ...
end loop [loop name];

其中範圍可以是

關鍵字in 也可以後跟一個可迭代物件。這透過包含在Ada.Iterator_Interfaces 中定義的介面之一的型別來概括迭代。此語言特性是在 Ada 2012 中引入的。

另一種概括的迴圈迭代形式使用關鍵字of 代替in。然後迴圈引數直接引用陣列或可迭代容器型別的元件。此語言特性是在 Ada 2012 中引入的。

[loop name :] for var [: type] of [ reverse ] iterable loop
   ...
end loop [loop name];

關鍵字for, use 和at 用於表示子句。

記錄表示子句指定記錄的佈局方面。

列舉表示子句指定列舉型別的編碼方面。

此語言特性是在 Ada 2012 中引入的。

量化表示式是布林表示式。它們要麼是真要麼是假，要麼傳播評估期間引發的任何異常。

(for all var in range => predicate)
(for all var of iterable => predicate)

當範圍（可迭代物件）中的所有值都使謂詞產生真時，這兩種形式都將評估為真。謂詞的評估在以下兩種情況下停止：所有迴圈引數var的值都已耗盡，或者當對某個值的評估產生假（短路）時。

(for some var in range => predicate)
(for some var of iterable => predicate)

當範圍（可迭代物件）中的某些值使謂詞產生真時，這兩種形式都將評估為真。謂詞的評估在以下兩種情況下停止：所有迴圈引數var的值都已耗盡，或者當對某個值的評估產生真（短路）時。

↑ 約翰·巴恩斯 (2003-03-25). 高完整性軟體 - SPARK 安全與安全方法. Addison-Wesley. ISBN 0-321-13616-0. 檢索於 2008-06-06. 表示子句現在嚴格地稱為方面子句 - 術語在 2000 年 Ada 95 修正案中進行了更改，原因很微妙，我們不必擔心；Ada 歷史學家可能會回想起，它們在 1983 年的 ANSI 標準化之前被稱為表示規範（rep specs）。這些各種術語都仍在使用中，讀者將在文獻中遇到它們。（pp.212-213）