解析二进制包前必须先通过协议头type字段判别类型，再构造对应std::variant实例；禁止直接memcpy到variant对象，需用placement new手动构造；注意字节序、active index校验及visit传参生命周期。
std::variant 解析二进制包前，必须先解决类型判别问题
std::variant 本身不带序列化能力，更不会自动从一串 std::byte 里猜出该构造哪个变体类型。你得自己提供「类型标签」——要么在协议头里预留字段（如 1 字节 type ID），要么靠长度+内容做启发式判断（不推荐）。没这一步，std::visit 就是空转，std::get_if 会直接 std::bad_variant_access。
常见错误现象：std::get_if<PacketA>(&v) == nullptr 却还强行解包；或把整个包丢给 std::visit 而不校验当前 active index。
- 协议设计阶段就固定好 type 字段位置和编码规则（比如第 0 字节为
uint8_t，值 1=LoginReq，2=LoginAck） - 解析时先读 type 字段，再用
switch或查表映射到对应std::variant的 index，避免运行时std::holds_alternative盲扫 - 不要把 type 字段塞进 variant 里（如
std::variant<uint8_t, PacketA, PacketB>），它属于元信息，应独立处理
用 std::visit 做分发时，别绕过 const 正确性与 lifetime
如果你传给 std::visit 的是临时解析出的 std::variant<...> 对象，而 lambda 捕获方式写成 [&](auto&& p) { ... }，那 p 是对临时对象的引用——函数返回后就悬空。这是高频崩溃点。
使用场景：收到一帧完整二进制数据，想按类型调用不同 handler 处理。
立即学习“C++免费学习笔记（深入）”；
- 确保传入
std::visit的 variant 是有明确 scope 的左值（例如局部变量pkt），或用std::move显式转移所有权给 lambda - handler 函数参数尽量用
const auto&接收，避免意外拷贝大结构体 - 若需修改 packet 内容（如填充时间戳），别在 visit 里改 variant 成员，应提前解包为具体类型再操作
std::variant 构造时，memcpy 和 placement new 的边界必须手动控制
二进制包解析本质是内存重解释（reinterpret cast），但 std::variant 不允许直接 memcpy 到其内部存储区。你得先确定目标类型，再用 std::aligned_storage_t 或 std::byte[] 缓冲区做中间载体，最后调用对应类型的构造函数。
性能影响：每次解析都触发一次构造/析构，比纯 C struct 解析慢；兼容性上，所有 variant 成员必须是 trivially copyable + standard layout，否则无法安全 memcpy。
- 推荐做法：定义统一缓冲区
std::array<std::byte, MAX_PKT_SIZE> buf，先std::memcpy(buf.data(), raw_data, len) - 再根据 type 字段，用
new (buf.data()) PacketA手动 placement new（注意对齐） - 千万别写
std::memcpy(&v, buf.data(), sizeof(v))—— variant 内部有 discriminator 字段，直接覆写会破坏状态
调试 std::variant 解析失败，优先检查 active index 和字节序
最常被忽略的是网络字节序（big-endian）和主机字节序（little-endian）混用。比如 type 字段是 uint16_t，你按小端读了前两个字节，但协议规定是大端，结果判别永远错，std::get_if 全返回 null。
错误现象：std::variant 看起来“装进去了”，但 std::visit 什么都没执行；或者只触发 default 分支。
- 用
std::variant.index()打印当前 active index，确认是否等于预期（0-based） - 用
std::variant.valueless_by_exception()检查是否因构造异常导致为空态 - 抓包看原始十六进制，人工对照协议文档验证 type 字段位置、长度、字节序，别依赖“应该没错”
复杂点在于：type 判别、内存布局、字节序、构造时机这四件事必须严格串行且可验证。少一个环节，解析就变成随机行为。
