如何使用Assert和loop_invariants

作者: 妖邪
发布时间: 2024-06-13 01:00:57 (1天前)
转自：

2 条回复

0#
回复此人
Coolkid | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 分析是正确的。 Vector类型的元素类型是Integer。当X = 2，Y = -2，并且A（A'Last-I）小于Integer'First + 4时，将发生下溢。您认为这应该如何在您的计划中处理？循环不变量在此处不起作用，因为您无法证明不会发生上溢或下溢。有没有办法可以设计Vector中使用的类型和/或子类型，以及变量X和Y，以防止Y溢出或下溢？ </p> <P> 我也很好奇你为什么要忽略Vector中的最后一个值。你想要反过来穿过阵列吗？如果是这样，只需使用以下for循环语法： </p> <pre> <code> for I in reverse A'Range loop </code> </pre> </DIV>

编辑

登录后才能参与评论