有符号整数转字节数组的右移合规性及C99/C++11兼容实现咨询

你代码中对负有符号整数执行右移的操作不属于未定义行为，但属于实现定义行为，不具备跨平台可移植性：

• C99与C++11标准明确规定：有符号整数右移时，若操作数为非负，结果等价于除以2的对应次幂，行为确定；若操作数为负，右移时高位补符号位还是补0完全由编译器实现决定，不同平台、不同编译选项下结果可能存在差异，无法保证稳定得到FD 53的预期输出。
• 现有代码的额外隐患：通过log2浮点数运算计算所需字节长度的逻辑存在精度误差风险，当整数值刚好处于2的整数次幂边界时，可能出现字节长度计算偏差。

实现核心思路是完全规避有符号数移位的实现定义问题，将有符号值转换为对应宽度的无符号类型后再做位运算（无符号数的移位行为在标准中是完全明确的），逐字节从高位到低位提取，输出结果和运行环境的内存大小端完全无关，固定输出高位在前的字节序列，和你预期的FD 53结果匹配。

#include <vector>
#include <cstdint>

std::vector<std::uint8_t> signed_int_to_min_bytes(std::int64_t val) {
    std::vector<std::uint8_t> bytes;
    if (val == 0) {
        bytes.push_back(0);
        return bytes;
    }

    const std::uint64_t u_val = static_cast<std::uint64_t>(val);
    bool hit_first_valid = false;

    // 从最高位字节开始逐字节提取，固定输出大端序
    for (int byte_pos = 7; byte_pos >= 0; --byte_pos) {
        const std::uint8_t cur_byte = static_cast<std::uint8_t>((u_val >> (byte_pos * 8)) & 0xFF);
        if (!hit_first_valid) {
            // 跳过正数前导的全0冗余字节
            if (val >= 0 && cur_byte == 0) {
                continue;
            }
            // 跳过负数前导的全0xFF冗余符号扩展字节
            if (val < 0 && cur_byte == 0xFF) {
                if (byte_pos > 0) {
                    const std::uint8_t next_byte = static_cast<std::uint8_t>((u_val >> ((byte_pos - 1) * 8)) & 0xFF);
                    // 下一个字节最高位为0时，当前0xFF是必须保留的符号位，否则跳过
                    if (next_byte & 0x80) {
                        continue;
                    }
                } else {
                    continue;
                }
            }
            hit_first_valid = true;
        }
        bytes.push_back(cur_byte);
    }

    return bytes;
}

针对输入值-685调用上述函数，返回的字节数组内容为0xFD, 0x53，完全符合预期。该实现的合规性保证：

• 所有移位操作均针对无符号类型执行，无未定义、实现定义行为，完全符合C99、C++11标准要求
• 位运算提取逻辑不依赖内存中整数的存储布局，大端、小端环境下运行结果完全一致
• 不使用浮点数运算计算字节长度，不存在精度导致的长度计算错误
• 自动计算表示当前整数所需的最小字节数，不会输出冗余的前导扩展字节

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