求助：在C++中实现Minecraft带符号VarInt的负数处理问题

你的VarInt实现处理负数时陷入无限循环，核心原因是C++有符号整数的算术右移特性：负数右移时高位会补1，导致value & ~0x7F永远不为0，Write循环无法终止。此外还有几个不符合Minecraft协议规范和内存管理的问题，以下是具体修正方案：

核心问题拆解 #

1. 无限循环根源：int类型负数右移是算术右移，高位持续补1，循环终止条件永远不满足。
2. 协议不兼容：Minecraft要求带符号整数先通过ZigZag编码转为无符号数，再进行VarInt编码，直接编码负数无法被服务器正确解析。
3. 内存泄漏：析构函数未释放malloc分配的data内存。
4. 类型安全问题：自定义byte若为有符号类型，处理高位为1的字节时会触发符号扩展，导致解析错误。
5. 溢出未处理：Read函数仅打印溢出提示，未终止循环，可能引发越界访问。

修正后的代码（符合Minecraft协议） #

#include <vector>
#include <cstdlib>
#include <cstdint>

class VarInt
{
public:
    uint8_t* data = nullptr;
    int length = 0;

    int Read();
    void Write(int value);

    ~VarInt() {
        free(data); // 释放内存，修复泄漏
    }
private:
    static constexpr uint8_t SEGMENT_BIT_MASK = 0x7F;
    static constexpr uint8_t CONTINUE_BIT_MASK = 0x80;

    // ZigZag编码：将有符号int转为无符号int（Minecraft协议要求）
    static uint32_t EncodeZigZag(int32_t value) {
        return (static_cast<uint32_t>(value) << 1) ^ (value >> 31);
    }

    // ZigZag解码：将无符号int转回有符号int
    static int32_t DecodeZigZag(uint32_t value) {
        return (value >> 1) ^ -(static_cast<int32_t>(value & 1));
    }
};

int VarInt::Read()
{
    uint32_t value = 0;
    int position = 0;
    uint8_t currentByte;

    for (int i = 0; ; i++)
    {
        if (i >= 5) { // VarInt最多5字节（32位），超过直接终止避免越界
            return 0; // 可替换为异常抛出或错误码
        }
        currentByte = data[i];
        value |= static_cast<uint32_t>(currentByte & SEGMENT_BIT_MASK) << position;

        if ((currentByte & CONTINUE_BIT_MASK) == 0)
            break;

        position += 7;
    }
    return DecodeZigZag(value);
}

void VarInt::Write(int value)
{
    uint32_t zigzagValue = EncodeZigZag(value);
    std::vector<uint8_t> bytes;

    while (true)
    {
        if ((zigzagValue & ~static_cast<uint32_t>(SEGMENT_BIT_MASK)) == 0)
        {
            bytes.push_back(static_cast<uint8_t>(zigzagValue));
            break;
        }
        bytes.push_back(static_cast<uint8_t>((zigzagValue & SEGMENT_BIT_MASK) | CONTINUE_BIT_MASK));
        zigzagValue >>= 7; // 无符号右移，高位补0，循环可正常终止
    }

    length = bytes.size();
    data = static_cast<uint8_t*>(malloc(length));
    if (data) {
        for (int i = 0; i < length; i++) {
            data[i] = bytes[i];
        }
    }
}

关键修正点说明 #

1. ZigZag编码：严格遵循Minecraft协议，将负数映射为无符号数，既解决循环问题，又保证服务器能正确解析。
2. 无符号类型替换：用uint8_t、uint32_t代替自定义类型，避免符号扩展错误。
3. 内存管理：析构函数中释放data，修复内存泄漏。
4. 溢出保护：限制Read函数最多读取5字节，防止越界访问。
5. 逻辑右移：对无符号的ZigZag值右移，高位补0，确保循环能正常终止。

非协议兼容的极简修正（仅解决循环，不推荐） #

如果是自定义协议不需要ZigZag，可直接将value转为无符号整数处理：

void VarInt::Write(int value)
{
    uint32_t unsignedValue = static_cast<uint32_t>(value);
    std::vector<uint8_t> bytes;

    while (true)
    {
        if ((unsignedValue & ~static_cast<uint32_t>(SEGMENT_BIT_MASK)) == 0)
        {
            bytes.push_back(static_cast<uint8_t>(unsignedValue));
            break;
        }
        bytes.push_back(static_cast<uint8_t>((unsignedValue & SEGMENT_BIT_MASK) | CONTINUE_BIT_MASK));
        unsignedValue >>= 7;
    }

    length = bytes.size();
    data = static_cast<uint8_t*>(malloc(length));
    if (data) {
        for (int i = 0; i < length; i++) {
            data[i] = bytes[i];
        }
    }
}

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