c语言short的溢出,C平均值及数值溢出问题

两个数的平均值是非常简单的，也就是 (a+b)/2. 但具体到C语言环境里，却有玄机。

Int型大数的平均值问题

对两个Int32类型大数，例如2147483644和2147483646，求平均值。首先在C里用尝试以下算法：

int a = INT32_MAX - 3; //2147483644

int b = INT32_MAX - 1; //2147483646

int val = (a + b) / 2;

printf("average1: %d + %d = %d\n", a, b, val);

//实际打印结果：

//2147483646 + 2147483644 = -3

显然结果非我们期望的，这是因为 a+b之和超出了Int32的范围。而对于-3的由来，我们可以如下推算：

假定INT32_MIN = -2147483648, INT32_MAX = 2147483647, 那么：

INT32_MIN + INT32_MAX == -1

INT32_MIN == INT32_MAX + 1

所以 a + b = INT32_MAX - 3 + INT32_MAX - 1

= INT32_MIN - 1 - 3 + INT32_MAX - 1

= INT32_MIN + INT32_MAX - 5

= -1 - 5 = -6

(a+b)/2 = -6/2 =-3

如何求得正确的平均值呢？

Int型大数求平均值的正确姿势

直接上代码：

int a = INT32_MAX - 3; //2147483644

int b = INT32_MAX - 1; //2147483646

if ((a >0 && b>0) || (a<0 && b<0)){

val = a + (b-a)/2;

} else {

val = (a+b)/2;

}

printf("average2: %d + %d = %d\n", a, b, val);

//2147483646 + 2147483644 = 2147483645

主旨思想就是确保计算过程当中，不要有超出int32范围的中间数。

Short型大数的平均值

Short型运算时，会把Short型自动转为Int32型，所以基本上不用考虑溢出的问题了。

short x = INT16_MAX - 3; //32764

short y = INT16_MAX - 1; //32766

short val = (x + y) /2;

printf("(%d + %d)/2 = %d\n", x, y, val);

// (32766 + 32764)/2 = 32765