uint8_t变量引发while循环未按布尔条件终止的问题排查

问题描述 #

编写了一段模拟问题的代码，期望当N <= 3时退出循环，但条件不满足后迭代仍在继续。尝试改用for循环后问题依旧。代码如下：

int main(){

    uint8_t N = 0;
    int power = 1;
    std::cin >> N;

    while (N >= 4){
        power *= 3;
        N -= 3;
    }
        
    power *= N;
    std::cout << power;
    
    return 0;
}

编译环境：gcc 12.2.0，编译选项 -Wall -O2

问题根源 #

问题出在N的类型是**uint8_t——这是一个无符号8位整数类型，取值范围为0~255。无符号整数的运算遵循模2^n的规则，当执行N -=3时，如果N的当前值小于3，计算结果会是负数，但无符号类型无法表示负数，会自动发生溢出回绕**：负数会被转换为该类型的最大值减去对应绝对值再加1的正数。

举个例子：如果输入N=1，第一次进入循环后执行N -=3，计算结果为-2，转换为uint8_t后是254，此时254 >=4依然成立，循环会继续执行。后续每次N -=3都会触发溢出，N的值始终会是大于等于4的正数，导致循环永远无法退出。

解决方案 #

将N的类型改为有符号整数类型，比如int或int8_t（需包含<cstdint>头文件），这样当N小于3时，N -=3会得到负数，N >=4的条件不成立，循环会正常终止。

修改后的代码示例（使用int类型） #

int main(){

    int N = 0;
    int power = 1;
    std::cin >> N;

    while (N >= 4){
        power *= 3;
        N -= 3;
    }
        
    power *= N;
    std::cout << power;
    
    return 0;
}

修改后的代码示例（使用int8_t类型） #

#include <cstdint>

int main(){

    int8_t N = 0;
    int power = 1;
    std::cin >> N;

    while (N >= 4){
        power *= 3;
        N -= 3;
    }
        
    power *= N;
    std::cout << power;
    
    return 0;
}

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