Ada 程式設計/屬性/'Adjacent
S'Adjacent(X, T) 是一個 Ada 屬性，其中 X 是任何浮點型別。
'Adjacent 返回 X 在 T 方向上的相鄰浮點數。
with Ada.Text_IO;
procedure Adjacent is
package T_IO renames Ada.Text_IO;
package F_IO is new Ada.Text_IO.Float_IO (Float);
X : Float := 1.0;
begin
T_IO.Put (" X = ");
F_IO.Put(Item => X, Aft => 10, Exp => 0);
T_IO.New_Line;
T_IO.Put ("Float'Adjacent(X, Float'First) = ");
F_IO.Put(Item => Float'Adjacent(X, Float'First), Aft => 10, Exp => 0);
T_IO.New_Line;
T_IO.Put ("Float'Adjacent(X, Float'Last) = ");
F_IO.Put(Item => Float'Adjacent(X, Float'Last), Aft => 10, Exp => 0);
T_IO.New_Line;
end Adjacent;
在 x86-64 架構上使用 GNAT 4.6 的輸出是
X = 1.0000000000 Float'Adjacent(X, Float'First) = 0.9999999404 Float'Adjacent(X, Float'Last) = 1.0000001192
- 5.3 浮點型別的屬性 (帶註釋)
- 附錄 K 語言定義屬性 (帶註釋)