我正在自学Ada编程,为了开始入门,我想先尝试解决一些比较传统的问题。
更具体地说,我想计算n!的值,其中n>100。目前我的实现是:
with Ada.Text_IO;
with Ada.Integer_Text_IO;
use Ada.Text_IO;
procedure Factorial is
-- define a type covering the range beginning at 1 up to which faculty is to
-- be computed.
subtype Argument is Long_Long_Integer range 1..100;
-- define a type that is large enough to hold the result
subtype Result is Long_Long_Integer range 1..Long_Long_Integer'Last;
package Result_IO is new Ada.Text_IO.Integer_IO(Result); use Result_IO;
-- variable holding the faculty calculated.
fac : Result := 1;
begin
-- loop over whole range of ARGUMENT and calculate n!
for n in ARGUMENT loop
fac := (fac * n);
end loop;
end;
问题显然是即使 Long_Long_Integer 也可能对于 n>20 过小,会抛出 CONTRAINT_ERROR 异常。
有没有一个实现任意大小整数的包?
谢谢!
PS:我选择不使用递归,因为我想在这个练习中探索循环。但请在代码的所有方面(风格、最佳实践、错误等)发表评论。