C语言无符号整数循环左移问题：代码无法得到正确结果

你的循环左移代码存在几个关键错误，导致结果不符合预期，下面逐一说明并给出修正方案：

1. size_in_bits 函数逻辑错误 #

当前函数的循环条件是 (x & 1) != 0，这会在x的最低位变为0时提前停止计数。但~0u是全1的无符号整数，右移后直到x变为0x80000000（32位系统）时，最低位已经是0，此时循环停止，返回的位数比实际unsigned int的位数少1。

正确的逻辑应该是循环直到x变为0，每次计数并右移：

unsigned int size_in_bits()
{
    unsigned int x = ~0u;
    unsigned int i = 0;
    while (x != 0) {
        i++;
        x >>= 1; // 等价于x /=2，位操作更直观
    }
    return i; 
}

2. 位数计算与取模错误 #

• 你用bits_size = size_in_bits()-1，但取模操作应该基于总位数：循环左移n位等价于左移n % 总位数位（当n等于总位数时，结果和原数完全相同）。原代码中b %= bits_size会导致当b等于总位数时，被错误处理成b % (总位数-1)，多移一位。
• 获取最高位时才需要用总位数-1作为移位值。

3. 临时变量类型不严谨 #

temp用int类型可能存在符号扩展风险，改为unsigned int更符合无符号数的操作逻辑。

修正后的完整代码 #

unsigned int size_in_bits()
{
    unsigned int x = ~0u;
    unsigned int i = 0;
    while (x != 0) {
        i++;
        x >>= 1;
    }
    return i; 
}

unsigned int left_rotate(unsigned int a, int b){
    unsigned int temp;
    unsigned int bits_total = size_in_bits();
    
    // 处理负数移位：负位数等价于反向移位
    if (b < 0) {
        b = -b;
        b %= bits_total;
        b = bits_total - b;
    } else {
        b %= bits_total;
    }

    while(b > 0){
        temp = (a >> (bits_total - 1)) & 1;
        a = (a << 1) | temp;
        b--;
    }
    return a;
}

额外优化：可以直接用位运算一次完成，无需循环，效率更高：

unsigned int left_rotate(unsigned int a, int b){
    unsigned int bits_total = size_in_bits();
    b %= bits_total;
    if (b < 0) b += bits_total;
    return (a << b) | (a >> (bits_total - b));
}

注：该优化版本依赖C标准对无符号整数的逻辑右移要求，属于安全操作。

内容的提问来源于stack exchange，提问作者hello