如何在Ada中禁用特定类型的算术运算符并触发编译错误？

要实现对Status_Code类型禁用算术操作，且在编译阶段就阻止非法操作，有两种可靠的方案：

方案一：使用私有类型封装（推荐） #

这是Ada中实现封装的标准方式，从根本上隐藏底层离散类型的默认算术操作，只暴露业务逻辑允许的接口。

package HTTP_Status is
   type Status_Code is private;

   -- 预定义业务中需要的状态码常量
   Continue    : constant Status_Code;
   OK          : constant Status_Code;
   Bad_Request : constant Status_Code;
   -- 可根据需求添加更多常量

   -- 提供必要的类型转换函数
   function To_Integer (Code : Status_Code) return Integer;
   -- 从整数转换时校验合法性
   function From_Integer (Value : Integer) return Status_Code
     with Pre => Value in 100 .. 599;

private
   -- 底层类型仅在包内部可见
   type Status_Code is range 100 .. 599;

   -- 常量的具体实现
   Continue    : constant Status_Code := 100;
   OK          : constant Status_Code := 200;
   Bad_Request : constant Status_Code := 400;
end HTTP_Status;

使用这个方案后，任何对Status_Code执行算术操作的代码都会直接触发编译错误，因为外部代码无法访问底层离散类型的默认运算符，也没有暴露相关重载操作。

方案二：重载算术运算符并触发编译时错误 #

如果不想使用私有类型，可以重载所有不需要的算术运算符，在运算符体内添加编译时断言，强制触发编译错误。

type Status_Code is range 100 .. 599;

-- 重载加法运算符，触发编译时错误
function "+" (Left, Right : Status_Code) return Status_Code is
begin
   pragma Compile_Time_Error (True, "禁止对Status_Code执行加法操作");
   return Left + Right;
end;

-- 同理重载其他不需要的算术运算符
function "-" (Left, Right : Status_Code) return Status_Code is
begin
   pragma Compile_Time_Error (True, "禁止对Status_Code执行减法操作");
   return Left - Right;
end;

function "*" (Left, Right : Status_Code) return Status_Code is
begin
   pragma Compile_Time_Error (True, "禁止对Status_Code执行乘法操作");
   return Left * Right;
end;

这种方式下，只要代码中调用了这些重载的算术运算符，编译阶段就会直接报错，明确提示禁止该操作。需要注意的是，必须重载所有业务逻辑不需要的算术运算符（包括二元、一元操作），才能彻底阻止非法操作。

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