Ada定点类型如何按十进制精度取整？

type Number_Type is delta 0.000_1 digits 18;

--------------------------------------------------------------
-- Round Number To Decimal 0
--------------------------------------------------------------
function Number_To_Decimal_0(Number:Number_Type) return Number_Type is

   -- Automatic rounding ?
   Calc:constant Long_Integer:=Long_Integer(Number);

begin

   return Number_Type(Calc);

end Number_To_Decimal_0;

--------------------------------------------------------------
-- Round Number To Decimal 1
--------------------------------------------------------------
function Number_To_Decimal_1(Number:Number_Type) return Number_Type is

   type Temp_Type is delta 0.1 digits 18;

begin

   return Number_Type(Temp_Type'Round(Number));

end Number_To_Decimal_1;

Number_To_Decimal_0会自动执行取整操作，而非截断！使用临时类型的方案效果良好，但我不确定这是否为正确的实现方式，或许存在更优的取整实现方法？

现有实现的优缺点 #

• Number_To_Decimal_0：通过定点类型转整数再转回的方式实现取整，但这个行为依赖编译器的转换规则。Ada标准中，定点类型到整数类型的转换默认行为可能因编译器而异（部分编译器是向零截断，部分是舍入），因此这个实现的可靠性不足，不推荐在跨编译器场景使用。
• Number_To_Decimal_1：使用临时定点类型配合'Round属性的方式是标准且可靠的，Temp_Type'Round(Number)会明确将数值舍入到Temp_Type的最小刻度（0.1）的最近值，转换回Number_Type后能得到符合预期的1位小数结果。但这种方式需要为每个小数位数定义单独的临时类型，代码冗余度较高。

更优的实现方案 #

可以通过数值缩放的方式，直接利用Number_Type的'Round属性实现任意小数位数的舍入，无需定义临时类型，代码更简洁且可复用：

单函数实现（以保留0位/1位小数为例）

-- 保留0位小数（舍入到最近整数）
function Number_To_Decimal_0(Number: Number_Type) return Number_Type is
   Scale_Factor : constant Number_Type := 1.0;
begin
   return Number_Type'Round(Number * Scale_Factor) / Scale_Factor;
end Number_To_Decimal_0;

-- 保留1位小数
function Number_To_Decimal_1(Number: Number_Type) return Number_Type is
   Scale_Factor : constant Number_Type := 10.0;
begin
   return Number_Type'Round(Number * Scale_Factor) / Scale_Factor;
end Number_To_Decimal_1;

通用函数实现（支持任意小数位数）

如果需要支持多种小数位数的舍入，可以定义一个通用函数，避免重复代码：

generic
   Decimal_Places : Natural; -- 要保留的小数位数
function Generic_Round_To_Decimal(Number: Number_Type) return Number_Type;

function Generic_Round_To_Decimal(Number: Number_Type) return Number_Type is
   Scale_Factor : Number_Type := 1.0;
begin
   for I in 1..Decimal_Places loop
      Scale_Factor := Scale_Factor * 10.0;
   end loop;
   return Number_Type'Round(Number * Scale_Factor) / Scale_Factor;
end Generic_Round_To_Decimal;

-- 实例化不同小数位数的取整函数
function Number_To_Decimal_0 is new Generic_Round_To_Decimal(0);
function Number_To_Decimal_1 is new Generic_Round_To_Decimal(1);
-- 如需保留2位小数，直接实例化：function Number_To_Decimal_2 is new Generic_Round_To_Decimal(2);

方案优势 #

1. 标准可靠：完全依赖Ada标准的'Round属性，行为在所有编译器下一致，不会出现依赖实现的问题。
2. 简洁复用：通用函数只需定义一次，即可快速扩展到任意小数位数的取整需求。
3. 性能友好：避免了临时类型的定义和转换开销，执行效率与临时类型方案相当甚至更优。

内容的提问来源于stack exchange，提问作者mcxbain