字节级循环右移函数仅num=1正常的故障原因分析

问题现象 #

该shiftr函数意图实现unsigned long long类型的字节级循环右移（即把数值的最后bytes个字节移到最高位位置），但实际表现异常：

• 仅当bytes=1时能正确工作；
• 当bytes为其他值时，仅num=1的情况结果符合预期，其余num值输出均错误。

原函数代码 #

unsigned long long shiftr(unsigned long long num, unsigned char bytes) {
    unsigned long long mask;
        switch (bytes)
        {
        case 1: 
            mask = 0xFF;
            break;
        case 2:
            mask = 0xFFFF;
            break;
        case 3:
            mask = 0xFFFFFF;
            break;
        case 4:
            mask = 0xFFFFFFFF;
            break;
        case 5:
            mask = 0xFFFFFFFFFF;
            break;
        case 6:
            mask = 0xFFFFFFFFFFFF;
            break;
        case 7:
            mask = 0xFFFFFFFFFFFFFF;
            break;
        case 8:
            mask = 0xFFFFFFFFFFFFFFFF;
            break;
        default:;
        }
        
        num = mask & ( ((num & 0x1) << (bytes * 8 - 1)) | (num >> 1) );
        return num;
}

故障核心原因 #

1. 核心逻辑完全偏离“字节级循环右移”需求 #

函数的核心计算行：

num = mask & ( ((num & 0x1) << (bytes * 8 - 1)) | (num >> 1) );

这段代码实现的是单比特循环右移1位的逻辑：

• 提取num的最低1个比特位（num & 0x1）；
• 将这个比特位移动到bytes*8-1的位置；
• 再将原数值整体右移1位，和移位后的最低比特做或运算。

这和“字节级循环右移”（以8位为单位，移动整个字节块）的需求完全不匹配。

2. mask的设计与使用逻辑错误 #

代码中通过switch生成的mask是对应bytes字节数的全1掩码，但这个掩码完全没有服务于字节级移位的逻辑：

• 当bytes=1时，mask=0xFF，此时核心逻辑的单比特移位刚好被限制在低8位，巧合地符合“单字节内循环右移1位”的效果，这也是用户认为bytes=1时正确的原因；
• 当bytes>1时，mask仅限制了结果的比特长度，但核心逻辑依然是单比特移位，只有当num=1时，唯一的1比特被移到bytes*8-1位置，刚好符合用户对“字节级移位”的错误预期（实际只是单比特移位到对应字节的最高位），而其他num值因为多比特的存在，移位逻辑完全混乱，导致结果错误。

3. 未处理非法输入的情况 #

default分支未对mask赋值，若传入bytes不在1-8范围内，mask会是未初始化的垃圾值，进一步导致结果不可预期。

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