Solidity中将3个有符号整数打包进uint256的负数处理问题

• 编码阶段未做位截断：int256类型的负数采用补码存储，高位全部为1，直接转换为uint256后高位的1不会被清除，左移到对应槽位时会覆盖其他槽位的有效数据，导致编码结果冲突。
• 解码阶段位提取逻辑错误：直接对完整的int256编码值执行移位操作，未先提取对应槽位的32位有效片段，有符号数的算术右移逻辑会导致符号位异常扩展，得到错误的解码结果。

你需要在编码时先把每个输入值截断到32位有效位，解码时先提取对应槽位的32位片段再做符号转换，修正后的Solidity代码如下：

function encodeNumbers(int256 a, int256 b, int256 c) public pure returns(uint256 encoded) {
    // 每个数先截断到低32位，再左移到对应槽位，避免高位污染
    encoded |= (uint(a) & 0xFFFFFFFF) << 64;
    encoded |= (uint(b) & 0xFFFFFFFF) << 32;
    encoded |= uint(c) & 0xFFFFFFFF;
    return encoded;
}

function decodeNumber(uint256 encoded) public pure returns (int256 a, int256 b, int256 c) {
    // 先提取对应槽位的32位无符号值，转int32识别符号，再扩展为int256
    a = int256(int32(uint32((encoded >> 64) & 0xFFFFFFFF)));
    b = int256(int32(uint32((encoded >> 32) & 0xFFFFFFFF)));
    c = int256(int32(uint32(encoded & 0xFFFFFFFF)));
}

• 编码时的& 0xFFFFFFFF操作会清除每个输入值高位的所有无效数据，仅保留低32位有效内容，左移后不会和其他槽位的数据冲突。
• 解码时先通过移位和按位与提取对应槽位的32位数据，先转uint32明确位长度，再转int32自动识别补码的符号位，最后扩展为int256时会做正确的符号扩展，保证负数解码结果和原始输入一致。
• 如果你需要保证输入值在int32的合法范围内（-2^31 ~ 2^31-1），可以在编码前添加校验逻辑，避免输入超出范围被截断。

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