跳轉到內容

Ada 程式設計/關鍵字/或

來自 Wikibooks,開放書籍,開放世界

Ada. Time-tested, safe and secure.
Ada. 經時間考驗,安全可靠。

邏輯運算子

[編輯 | 編輯原始碼]

布林運算子

[編輯 | 編輯原始碼]
X : Boolean := A < 10 or A > 20;

布林短路運算子

[編輯 | 編輯原始碼]

在下面的例子中,函式G僅在F(X)返回False值時被呼叫。

if F(X) or else G(Y) then

    Walk_The_Dog;
 
end if;

此短路運算子有時用於加速布林表示式的計算,但 Ada 風格指南建議在將一種形式切換到另一種形式之前,比較兩種形式的效能。一般來說,使用 else出於效能考慮,僅當第二個表示式包含函式呼叫時。

當第二個表示式已知會引發異常(除非第一個表示式為False)時,也使用 else形式。

與 C/C++ 不同,Ada 短路運算子不是計算布林表示式的標準方法。這是因為 Ada 預設設計為執行一般情況下更安全的做法,但也允許程式設計師請求不同的行為。

陣列上的布林運算子

[編輯 | 編輯原始碼]

或運算子應用於來自左右陣列的每對布林元素。結果與左運算元具有相同的邊界。

type Day_Of_Month is range 1 .. 31;            
type Month_Array is array (Day_Of_Month) of Boolean;

X : Month_Array := Function_1;
Y : Month_Array := Function_2;
Z : Month_Array := X or Y;

按位運算子

[編輯 | 編輯原始碼]

運算子可以與模型別一起使用以執行按位運算。

選擇語句

[編輯 | 編輯原始碼]

請參閱 Ada 程式設計/任務#選擇性等待.

請參閱 Ada 程式設計/任務#超時.

另請參閱

[編輯 | 編輯原始碼]

華夏公益教科書

[編輯 | 編輯原始碼]

Ada 95 參考手冊

[編輯 | 編輯原始碼]

Ada 2005 參考手冊

[編輯 | 編輯原始碼]

Ada 質量和風格指南

[編輯 | 編輯原始碼]


Ada 關鍵字
abort else new return
abs elsif not reverse
abstract (Ada 95) end null
accept entry select
access exception of separate
aliased (Ada 95) exit some (Ada 2012)
all others subtype
and for out synchronized (Ada 2005)
array function overriding (Ada 2005)
at tagged (Ada 95)
generic package task
begin goto parallel (Ada 2022) terminate
body pragma then
if private type
case in procedure
constant interface (Ada 2005) protected (Ada 95) until (Ada 95)
is use
declare raise
延遲 limited range when
delta loop 記錄
數字 餘數
重新命名
requeue (Ada 95) 異或


Ada 運算子
and 並且 > + abs &
或者 >= -
異或 = < * 餘數 in
not /= <= ** / 不包含
華夏公益教科書