Ada 程式設計/關鍵字/and

邏輯運算子

布林運算子

X : Boolean := A > 10 and A < 20;

布林短路運算子

短路運算子用於使布林表示式的部分的計算條件化：and then，or else。這永遠不應該為了加速計算而完成（對於現代最佳化編譯器來說，它可能不會產生這種效果）。正確的使用方式是防止計算已知會引發異常的表示式。

if Dog /= null and then G (Dog) then
   Walk (Dog);
end if;

在上面的示例中，G (Dog)只有在指標Dog不是null時才會被呼叫，也就是說，它實際上指向了一些東西。

實際上，and then 和 or else 在參考手冊的意義上不是運算子，它們被稱為“短路控制形式”。區別在於（真）運算子可以重新定義（即過載），而它們不能。但是，它們對於任何布林型別都是定義的。

由於 Ada 允許對錶達式的引數進行平行計算，因此短路運算子不是計算布林表示式的標準方式。在最終計算結果保證相同的情況下，編譯器被允許使用短路計算。

陣列上的布林運算子

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

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 and Y;

按位運算子

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

向帶標記型別新增介面

此語言特性僅從 Ada 2005 開始可用。

type Programmer is new Person 
                   and Printable
with 
   record
     Skilled_In : Language_List;
   end record;

另請參閱

華夏公益教科書

Ada 95 參考手冊

Ada 2005 參考手冊

Ada 質量和風格指南

3.1.3 大小寫

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`	`or`	`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`
`delay`	`limited`	`range`	`when`
`delta`	`loop`	`record`	`while`
`digits`		`rem`	`with`
`do`	`mod`	`renames`
		`requeue` (Ada 95)	`xor`

Ada 運算子

`and`	`and then`	`>`	`+`	`abs`	`&`
`or`	`or else`	`>=`	`-`	`mod`
`xor`	`=`	`<`	`*`	`rem`	`in`
`not`	`/=`	`<=`	`**`	`/`	`not in`