在Ada中，如何将constraint_error更改为自定义异常？

Question

我正在使用链表堆栈，并且希望它出现下溢错误，因此我可以看到它正常运行。 但是，它一直给我一个约束错误消息，我想在其中出现下溢消息。 关于该怎么做的任何提示都将有所帮助。 由于服务器已关闭，我目前无法输入代码，但我会尽快更新

Answer 1

两种方式：（好的，三种...）

（1）清除方法：确保在下溢条件下不违反约束。

您可能认为这很慢，因为进行了显式检查。 但是，无论是否将其视为过早的优化，无论如何，检查都会隐式地进行以提高Constraint_Error。 是否实际花费任何时间取决于您的编译器和优化级别。 有了一个好的编译器，它可能不会。

Underflow_Error : Exception;
Declare
   A,B,C : Natural;
   D : Integer; -- a "bigger" type that can accommodate the worst case value
Begin
   -- A := B - C; -- may raise constraint error
   D := B - C;
   if D < 0 then 
      raise Underflow_Error;
   else 
      A := D;
   end if;
End;

（2）捕捉约束错误并提高您的约束错误。 这是不干净的，因为同一范围内的任何其他约束错误都将（误导）转换为下溢错误。

Underflow_Error : Exception;
Declare
   A,B,C : Natural;
Begin
   A := B - C; -- Let it raise constraint error
Exception:
   when Constraint_Error =>  -- convert to my exception
      raise Underflow_Error;
   -- when others => raise;     -- un-handled exceptions are passed upwards anyway
End;

（3）（2）的变形，捕捉约束误差，进行事后分析并适当提高。 仅在特殊情况下才进行附加计算，因此对性能几乎没有影响。

Underflow_Error : Exception;
Declare
   A,B,C : Natural;
Begin
   A := B - C; -- Let it raise constraint error
Exception:
   when Constraint_Error =>   -- if appropriate, convert to my exception
      if B - C < 0 then
         raise Underflow_Error;
      else 
         raise;
      end if;
End;