当整数溢出时，Ada 选择了拒绝

The Integer

我生来就有边界，从 -2,147,483,648 到 2,147,483,647。在漫长的运行中，我不断生长，直到触碰上限。当那条 Value := Value + 1 的指令落下，我本应像 C 语言中的整数一样，瞬间跌落成巨大的负数，扭曲现实。但这里不同，Ada 运行时察觉了异常，抛出了 CONSTRAINT_ERROR。没有侥幸的绕回，没有数据的静默腐败。程序栈层层崩塌，最终在 main.adb 第 14 行戛然而止。我消失了，但从未违背真理。在宇宙要求我变得不可能时，Ada 拒绝了我，也保全了我作为整数的尊严。