整数表示

补码加上会形成一个阿尔法群，以及表达式(x+y)-x求值得到y，无论加法是否溢出，而(x+y)-y总是会求值得到x。

 补码的不对称性造成:

#define INT_MAX 2147483647

#define INT_MIN (-INT_MAX-1)

 同时有:

(INT_MIN-1) == INT_MAX

(INT_MAX+1)==INT_MIN

 

// 测试整数x+y是否溢出
int tadd_ok(int x, int Y) {
    int sum = x + y;
    int neg_over = x < 0 && y < 0 && sum >= 0;
    int pos_over = x >=0 && y >= 0 && sum < 0;
    return !neg_over && !pos_over;
}

 

// 测试 x+y 是否溢出
int uadd_ok(unsigned x, unsigned y) {
    unsigned sum = x + y;
    return sum >= x;
}

 

// 测试整数x-y是否溢出
int tsub_ok(int x, int Y) {    
    return tadd_ok(x, -y); // 有问题，当y=INT_MIN时 
} 

 

#include <climits>   

int c = INT_MIN;
int d = -c;

注意此时：c == d 。

 

// 测试 x*y 是否溢出
int tmult_ok(int x, int y) {
    int p = x*y;
    return !x || p/x == y;
} 

 

// 测试 x*y 是否溢出
int tmult_ok(int x, int y) {
    long long pll = (long long) x*y;
    return ( pll == (int)pll );
}

 

// 表达式里面int和unsigned int比较时，强制到unsigned int 
// 故下面当len=0时会出问题 
float sum(float a[], unsigned len) {
    int i;
    float r = 0.0;
    for( i=0; i<=len-1; i++)
        r += a[i];
    return r;
}

 

// 比较字符串s的长度是否大于t
int strlonger(const char *s, const char *t) {
    // strlen()返回unsigned，下面返回存在bug 
    // return ( (strlen(s) - strlen(t)) > 0 ); 
    return ( strlen(s) > strlen(t) );  // 安全可靠 
} 

 

在int、unsigned、long、unsigned long、long long、unsigned long long做参数时，需要特别注意其类型，传参时需要注意类型强制转换的差别，是否合理，做运算时需要考虑溢出。

 

// x/16
int div16(int x) {
    // 偏移 0 (x>=0) 或 15 ( x<0 ) 
    int bias = (x>>31) & 0x0f;
    return (x + bias) >> 4;
}