字节数组转uint64_t（unsigned long long）乘法转换bug排查

我在用乘法代替移位操作，将8字节数组转换为unsigned long long（即uint64_t）时，遇到了部分场景结果不符合预期的问题。

正确场景的代码及输出 #

#include <stdio.h>

int main()
{
    unsigned char byte[8];
    unsigned long long x;

    byte[0] = 0x15;
    byte[1] = 0x15; 
    byte[2] = 0x17;
    byte[3] = 0x18; 
    byte[4] = 0x19;
    byte[5] = 0x20;
    byte[6] = 0x21;
    byte[7] = 0x12;
            
    x = (byte[0] * 0x100000000000000) +
        (byte[1] * 0x1000000000000) + 
        (byte[2] * 0x10000000000) + 
        (byte[3] * 0x100000000);

    x = x +
        (byte[4] << 24) + 
        (byte[5] << 16) + 
        (byte[6] << 8) + 
        byte[7];

    printf("%llx\n", x);
}

输出结果为1515171819202112，与预期一致。

错误场景的字节数组 #

byte[0] = 0x15;
    byte[1] = 0x92;  // changed 
    byte[2] = 0x53;  // changed
    byte[3] = 0x22;  // changed
    byte[4] = 0xec;  // changed
    byte[5] = 0x33;  // changed
    byte[6] = 0x99;  // changed
    byte[7] = 0x12;

实际输出为15925321ec339912，但预期应为15925322ec339912，byte[3]对应的0x22变成了0x21。

BUG原因：整数提升与溢出导致的未定义行为 #

在C语言的算术运算中，unsigned char类型的操作数会先被整数提升为int（因为int能容纳unsigned char的所有取值）。而你使用的乘法常量（如0x100000000，即2^{32）超出了32位有符号`int`的最大值（0x7FFFFFFF，即2}31-1），这会触发以下问题：

1. 当int类型的byte[3]与超出int范围的常量相乘时，会触发有符号整数溢出，这在C标准中属于未定义行为——编译器可以任意处理这种情况，导致计算结果偏离预期。
2. 即使常量被解析为unsigned int，int类型的byte[3]会被转换为unsigned int进行运算，但如果乘积超出unsigned int的范围（如0x22*0x100000000=0x2200000000，远大于32位unsigned int的最大值0xFFFFFFFF），会发生无符号溢出，结果被截断为模2^32的值，最终导致byte[3]的贡献错误。

解决方法 #

将乘法操作中的常量显式声明为unsigned long long类型（通过添加ULL后缀），或者将byte元素强制转换为unsigned long long后再相乘，确保所有运算都在64位无符号空间中进行：

x = ((unsigned long long)byte[0] * 0x100000000000000ULL) +
    ((unsigned long long)byte[1] * 0x1000000000000ULL) + 
    ((unsigned long long)byte[2] * 0x10000000000ULL) + 
    ((unsigned long long)byte[3] * 0x100000000ULL);

这样就能避免整数提升带来的溢出问题，保证转换结果正确。

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