位运算符不应作用于有符号整数

符号位在位运算方面没有逻辑意义，对负数进行位运算往往意味着逻辑错误。

示例：

int foo(signed s, unsigned u) {
    return s & u;                 // Non-compliant
}

int bar(signed s, unsigned u) {
    if (s < 0) {
        int a = s << u;           // Non-compliant, undefined in C and C++11
        int b = s >> u;           // Non-compliant, implementation-defined
        return a + b;
    }
    return 0;
}

例中参数 s 可以是负数，对负数左移会导致未定义的行为，对负数右移则由实现定义。

又如：

unsigned absolute(signed v) {
    signed m = v >> (sizeof(signed) * CHAR_BIT - 1);  // Non-compliant
    return (v + m) ^ m;                               // Non-compliant
}

例中函数可以获取有符号整数的绝对值，利用补码的特性通过位运算免去了条件判断，而且在大部分环境中均可正常运行，但这属于特殊的优化措施，应在文档中有所说明，否则会对代码的可移植性造成难以排查的影响。