Motoko文档中整数上溢/下溢相关的'trap'术语含义及起源是什么？

溢出行为疑问澄清 #

你猜测的「上溢/下溢时固定到对应类型的最大/最小值」属于饱和运算的特性，和Motoko文档里提到的trap行为完全不同。

trap的准确定义 #

针对文档中提到的Nat8、Int64这类有界trapping数值类型，触发trap时的行为如下：

• 当运算出现上溢、下溢时，程序会立刻终止当前执行链路
• 不可逆停止当前容器调用的所有逻辑，不会继续执行后续代码
• 直接返回执行错误，不会生成任何非预期的计算值（比如无符号数溢出绕回、有符号数溢出变成负数等情况都不会出现）

举个简单的示例：执行Nat8(255) + 1代码时，既不会返回255（饱和运算结果），也不会返回0（溢出绕回结果），会直接触发trap，整个调用失败。

trap术语的起源 #

这个术语最早来自计算机底层硬件领域：CPU执行指令时如果触发非法操作（除零、非法内存访问、权限越界等），会触发陷阱中断（trap interrupt），强制将控制权交回系统内核，终止当前出错的进程，避免错误扩散影响整个系统运行。
后来该概念被编程语言领域沿用，专门指代程序遇到不可恢复的致命错误时，立刻终止执行、抛出致命错误的行为。需要注意的是，Motoko语境下的trap是不可被代码层面的异常捕获逻辑处理的，一旦触发必然终止当前执行。 #

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