Преобразование из double в single

Question

Учитывая 64 бита, которые представляют число в формате двойной точности IEEE 754, каков алгоритм преобразования их в 32 бита, которые представляют одинаковое число, но в формате одиночной точности IEEE 754 (возможно, с потерей точность)?

Кроме того, есть ли простой способ выполнить это преобразование в Ada, без необходимости манипулировать битами?

Answer 1

Существует действительно простой способ сделать это в Ada (очень похоже на то, как вы могли бы сделать то же самое в C!):

with Ada.Numerics; 
with Ada.Text_IO; use Ada.Text_IO; 
procedure Floating_Conversion is 
    D : constant Long_Float := Ada.Numerics.Pi; 
    F : Float; 
begin 
    F := Float (D);         -- The conversion! 
    Put_Line ("double:" & Long_Float'Image (D)); 
    Put_Line ("single:" & Float'Image (F)); 
end Floating_Conversion;