再来个问题，如何检测整数溢出

zx_wing

两个整数x和y，进行加或乘操作，如何检测结果是否溢出？
如果是无符号数，姑且就说怎么检测结果超过精度了嘛。（whyglinux 你看，害我打了这么多字！）

为了方便，把数据类型限制成int或unsigned int。也为了好看，不要写成宏，写成函数，原型如下：
int is_over_flow(val x, val y);
val是int或unsigned int。

溢出返回1， 未溢出返回0.

大家各抒己见哈，对其他人的程序有问题希望从程序上指出来:em11:
呵呵，这对在校的朋友很有帮助哦，面试官经常问点这种问题。

delimy

CPU有状态寄存器的嘛！
加法的话通常可以符号位做xor，乘法不太好估计～

zx_wing

原帖由 delimy 于 2006-12-20 18:23 发表
CPU有状态寄存器的嘛！
加法的话通常可以符号位做xor，乘法不太好估计～

如果我没记错的话，无符号数超出精度溢出位不会置位。
不过这个问题希望大家不要用内嵌汇编，因为那和平台相关了。用c！！！

gvim

有空多看点书吧。

delimy

有空就看书岂不是没空啦？现在便是空。空即是色……

r2007

不怕丢人，先来一个。

无符号数好说(未测试)
return (unsigned int)(x+y)<x;

cjaizss

首先，不同的CPU设置的不同
有些东西这个CPU会设置，另外一个CPU不设置。
再者，至少X86,无符号数超出会设置

原帖由 zx_wing 于 2006-12-20 18:27 发表


如果我没记错的话，无符号数超出精度溢出位不会置位。
不过这个问题希望大家不要用内嵌汇编，因为那和平台相关了。用c！！！

cjaizss

判断两unsigned int相加溢出C码：
if(x+y<x)
...
判断两int相加溢出C码：
z=x+y;
if(x<0 && y<0 && z>0|| x>0 && y>0 && z<0)

朱熹之

对于两整数相加，可以看寄存器
对于两整数相乘，比较麻烦，一种方法是比较绝对值，但不能检测出所有溢出，我觉得可行的方法是看被成熟在不溢出时能乘的最大数和乘数比较

cjaizss

乘法溢出也可看寄存器。
只要CPU支持。
如果真的要用C:
unsigned int i,j;
unsigned int overflow;
...
if(i == 0) {
     overflow = 0;
} else {
     overflow =  ((unsigned)(-1)/i) < j;
}

[ 本帖最后由 cjaizss 于 2006-12-20 21:56 编辑 ]