std::variant不能自动解析二进制流，必须先手动提取type ID等字段再构造；需注意生命周期、const正确性、ABI兼容性，严禁将其用作网络传输格式。
std::variant 解析二进制流时，类型判别字段必须在读取前已知
你不能把一串裸字节直接丢给 std::variant 让它“猜”是哪种包——std::variant 本身不带序列化逻辑，也不含类型标签。它只负责安全持有其中一种类型，前提是**你得自己先从字节里解析出 type ID、length 或 magic 字段**。
常见错误现象：std::get_if<PacketA>(&v) 返回空指针，但你以为数据没问题；实际是 type 字段读错了（比如没考虑网络字节序）、或 offset 偏移算错，导致后续所有 std::get 都失败。
- 典型使用场景：TCP 粘包下，每个包开头 2 字节是
uint16_t protocol_id，需据此分发到std::variant<PacketLogin, PacketMove, PacketChat> - 务必先用
memcpy或std::bit_cast（C++20）从 buffer 头部提取 type 字段，再 switch 分支构造对应类型实例 - 别在
std::variant上做“模糊匹配”：它不支持运行时类型推导，std::holds_alternative<T>只检查当前持有时是否为 T，不帮你反序列化
构造 variant 时避免临时对象生命周期陷阱
二进制解析常涉及局部 buffer（如 std::array<uint8_t, 256>），若直接把 buffer 引用传入 packet 构造函数，再塞进 std::variant，很容易踩到悬垂引用坑。
常见错误现象：解析函数返回后，std::variant 里对象的内部指针指向已销毁栈内存，后续访问触发未定义行为。
立即学习“C++免费学习笔记（深入）”；
- Packet 类型应**值语义优先**：成员变量用
std::vector<uint8_t>或std::string存原始 payload，而非const uint8_t*+size_t - 如果必须零拷贝（如超大 payload），改用
std::span<const uint8_t>，但确保 span 所指内存生命周期长于 variant 本身 - 构造 variant 推荐写法：
std::variant<A,B,C> v = parse_as_A(buf);，而不是v.emplace<A>(buf)后再修改——后者易遗漏异常安全处理
std::visit 分发时注意 const 正确性与重载解析歧义
用 std::visit 处理 variant 后续逻辑时，编译器可能因重载函数签名太相似而报错，尤其当多个 packet 类型有同名成员函数但参数不同。
常见错误现象：error: no matching function for call to 'std::visit'，或明明传了 const variant 却调用到非 const 重载。
- 统一用 lambda + auto 参数：避免手写重载集；
std::visit([](const auto& p) { p.handle(); }, v); - 若需区分 const/non-const 行为，显式加 const 限定：
[](const PacketLogin& p) { ... }，否则auto可能推导出非常量引用，导致调用失败 - 别在 visit 里抛异常后继续执行：variant 持有状态不变，但后续逻辑可能依赖已破坏的中间态；建议在每个分支内完成原子操作
协议升级时 variant 成员增减会破坏 ABI 兼容性
std::variant 的内存布局由编译器决定，添加/删除某个替代类型（如新增 PacketPing）会导致 sizeof 改变、偏移重排，进而让跨 DLL 或跨版本的二进制解析直接崩溃。
这不是 C++ 标准问题，而是工程现实：你无法靠 std::variant 实现向后兼容的协议演进。
- 生产环境建议把 variant 封装在 .cpp 内部，对外只暴露纯虚接口（如
IProtocolHandler），避免 variant 类型泄露到头文件 - 若必须导出，用 pimpl 模式：头文件只声明
class Packet，实现里用std::unique_ptr<std::variant<...>>，这样增减类型不影响头文件 ABI - 永远不要把
std::variant当作网络传输格式——它不是序列化协议，只是内存中的多态容器
最麻烦的点往往不在 variant 本身，而在你怎么把它和字节流、生命周期、模块边界缠在一起。稍不注意，type_id 读错一位，或者 span 生命周期短了一毫秒，后面全是 undefined behavior。
