Ada类型兼容性异常：Volts、Amps、Ohms为何可兼容运算？

问题描述 #

用户编写了如下Ada代码，定义了三个固定点类型Volts、Amps、Ohms，并尝试将Amps类型变量与Ohms类型变量的运算结果赋值给Volts类型变量：

with ada.text_io; use ada.text_io;
                                                                    
procedure main is                                                   
    type Volts is delta 1.0 / 2.0 ** 12 range -45_000.0 .. 45_000.0;
    type Amps is delta 1.0 / 2.0 ** 16 range -1_000.0 .. 1_000.0;   
    type Ohms is delta 0.125 range 0.0 .. 1.0E8;                    
                                                                    
    V : Volts := 1.0;                                               
    A : Amps := 1.0;                                                
    R1 : Ohms := 1.0;                                               
    R2 : Ohms := 1.0;                                               
                                                                   
begin                                             
                     
    v := A * (R1 + R2);
                       
    put_line(V'Img);   
                       
end main;  

这段代码可以正常编译运行。但当将这些类型改为new Float定义时：

-- 修改后的类型定义示例
type Volts is new Float;
type Amps is new Float;
type Ohms is new Float;

编译会抛出如下错误：

main.adb:22:12: error: invalid operand types for operator "*"
main.adb:22:12: error: left operand has type "Amps" defined at line 5
main.adb:22:12: error: right operand has type "Ohms" defined at line 6

用户原本预期这些自定义固定点类型彼此不兼容（并非显式固定点子类型），因此产生疑问：为何Volts、Amps、Ohms这些固定点类型之间可以兼容运算，而new Float定义的类型却不行？

原因解析 #

1. 固定点类型的算术运算规则 #

Ada中的固定点类型（包括普通固定点和定点类型）属于通用数值类型家族，语言规范会自动为所有固定点类型生成跨类型的通用算术运算符。当不同固定点类型进行运算时，编译器会计算出一个合适的通用固定点类型作为运算结果，之后只要目标类型（比如Volts）的范围和精度能够容纳该结果，就可以完成隐式转换并赋值。这种设计是为了方便数值计算场景下的灵活操作，同时保证数值精度的正确性。

2. new Float派生类型的强类型安全 #

用new Float定义的是派生类型，Ada对派生类型的类型隔离要求非常严格：

• 派生类型与基类型、其他同基派生类型之间属于完全不同的类型，不会自动生成跨类型的运算符。
• 这种设计是为了强类型安全，避免语义不同的类型（比如代表电流的Amps和代表电阻的Ohms）被意外混用，符合Ada作为强类型语言的设计初衷。如果需要运算，必须显式进行类型转换，比如Volts(Amps(A) * Float(R1 + R2))。

3. 如何让固定点类型实现严格类型隔离 #

如果需要让自定义固定点类型也保持严格的类型隔离，可以将它们声明为私有类型，或者手动限制运算符的可见性，只暴露符合业务逻辑的运算接口，避免无意义的跨类型运算。

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