无符号N位数A,B,C。
有C = A + B。
判断C是否溢出的方法如下:
if (((A | B) & ~C) >> N-1) > 0)
{
溢出;
}
else
{
未
溢出;
}
注:“~C” 是给C取反