溢出、上溢、下溢

国外著名的程序员技术网站：stackoverflow，国内对其的效仿，也有 segmentfault；

• overflow：溢出
  • overflow：上溢
  • underflow：下溢
    • stack underflow：堆栈下溢；

1. 概念

• 上溢与下溢

  是当一个超长的数据进入到缓冲区时，超出部分被写入上级缓冲区，上级缓冲区存放的可能是数据、上一条指令的指针，或者是其他程序的输出内容，这些内容都被覆盖或者破坏掉。可见一小部分数据或者一套指令的溢出就可能导致一个程序或者操作系统崩溃。

  与之对应的就是下溢，下溢是当一个超长的数据进入到缓冲区时，超出部分被写入下级缓冲区，下级缓冲区存放的是下一条指令的指针，或者是其他程序的输出内容。

• 其他解释

  上溢：超出所能表示的最大正数
  下溢：超出所能表示的最小负数

  如 16 位整数范围为：-32768（$-2^{15}$） ~ +32767（$2^{15}-1$），则当 32767 再加1时，发生上溢；当 -32768 再减 1 时，发生下溢。

2. 溢出的判断

• 两数相加溢出的判断：

  • 同号时才可能溢出，同为正，有可能上溢，同为负，有可能下溢；

  int add(int a, int b) {
  	int c = a + b;
  	if ((a^b) & INT_MIN == 0) {
  		if ((c^a) & INT_MIN) {
  			c = (a<0) ? INT_MIN : INT_MA;
  		}
  	}
  }