如何仅使用Ada中的Image功能来控制显示的小数位数?
我在 Ada 中有以下代码行,
Put_Line ("Array of " & Integer'Image (iterations)
& " is " & Long_Float'Image (sum)
& " Time = " & Duration'Image(milliS) & timescale);
sum 中的小数位数太长而无法显示(不适用于计算,因为 sum 计算需要长浮点数)。我知道 Ada 有使用前后显示小数的替代方法,而不使用 Image 函数,但在我切换到替代方法之前,我想知道 Image 是否有选项或其他显示小数的技术。Image 函数有显示小数的选项吗?是否有一种技术可以缩短 Long_Float 的小数位数仅用于显示?
with Ada.Numerics;
with Ada.Text_IO; use Ada.Text_IO;
procedure Images is
sum : Standard.Long_Float;
Pi : Long_Float := Ada.Numerics.Pi;
type Fixed is delta 0.001 range -1.0e6 .. 1.0e6;
type NewFixed is range -(2 ** 31) .. +(2 ** 31 - 1);
type Fixed2 is new Long_Float range -1.0e99.. 1.0e99;
type Fixed3 is new Long_Float range -(2.0e99) .. +(2.0e99);
begin
sum:=4.99999950000e14;
Put_Line ("no fixing number: " & Pi'Image);
Put_Line (" fixed number: " & Fixed'Image(Fixed (Pi)));
Put_Line ("no fixing number: " & Long_Float'Image(sum));
Put_Line (" testing fix: " & Fixed3'Image(Fixed3 (sum)));
end Images;
附录:
- 请注意,我的变量 sum 被定义为 Standard.Long_Float 以与整个程序中使用的其他变量一致。
- 我正在添加代码来显示我的问题的罪魁祸首以及我解决问题的尝试。它基于 Simon Wright 提供的示例,我添加了总和数。看起来我只需要弄清楚如何将 delta 插入 Fixed3 类型,因为 delta 定义了小数位数。
回答
’Image没有任何选项,请参阅ARM2012 3.5(35)(也为(55.4))。
但是,Ada 202x ARM K.2(88)和4.10(13)提出了替代方案:
with Ada.Numerics;
with Ada.Text_IO; use Ada.Text_IO;
procedure Images is
Pi : Long_Float := Ada.Numerics.Pi;
type Fixed is delta 0.001 range -1.0e6 .. 1.0e6;
begin
Put_Line (Pi'Image);
Put_Line (Fixed (Pi)'Image);
end Images;
其中报告(GNAT CE 2020,FSF GCC 10.1.0)
$ ./images
3.14159265358979E+00
3.142
回答
Image 属性对于所有类型具有相同的参数,因此无法指定格式。有在Ada.Text_IO通用嵌套包用于处理数字类型的I / O。对于您的情况,您可以为 Float 实例化 Ada.Text_IO.Float_IO 或仅使用内置的Ada.Float_Text_IO实例。然后您可以使用 Put 过程来指定格式。Ada 标准中有一个例子:
package Real_IO is new Float_IO(Real); use Real_IO;
-- default format used at instantiation, Default_Exp = 3
X : Real := -123.4567; -- digits 8 (see 3.5.7)
Put(X); -- default format "–?1.2345670E+02"
Put(X, Fore => 5, Aft => 3, Exp => 2); -- "bbb–?1.235E+2"
Put(X, 5, 3, 0); -- "b–?123.457"