对于signed整型的溢出，C的规范定义是“undefined behavior”，也就是说，编译器爱怎么实现就怎么实现。对于大多数编译器来说，仍然是回绕。 无符号数会回绕（常绕过一些判断语句）。对于unsigned整型溢出，C的规范是有定义的——“溢出后的数会以2^(8*sizeof(type ...