std::variant不能直接赋值裸指针或引用，因其要求所有类型均为可构造、可析构、可复制/移动的完整类型；int&、char*等不满足可构造性，编译报错；应改用std::reference_wrapper或智能指针封装。
std::variant 为什么不能直接赋值裸指针或引用
因为 std::variant 要求所有备选类型都是可构造、可析构、可复制/移动的完整类型。int&、char* 这类引用或裸指针本身不是“可构造”的（引用必须绑定，裸指针无默认初始化语义），编译器会直接报错：error: forming reference to void 或 error: use of deleted function。
实操建议：
- 用
std::reference_wrapper<t></t>替代原生引用，例如std::variant<int std::string std::reference_wrapper>></int> - 裸指针应封装为
std::unique_ptr<t></t>或std::shared_ptr<t></t>，避免生命周期失控 - 若真需存储地址，用
uintptr_t（需自行保证对齐与有效性）
访问 variant 时 std::get 与 std::visit 的关键区别
std::get<t>(v)</t> 是静态访问：编译期检查 T 是否在 variant 的类型列表中，且运行时强制要求当前持有类型就是 T，否则抛出 std::bad_variant_access。它适合你「确定知道此刻存的是什么」的场景。
std::visit 是泛型访客模式：编译期生成所有可能类型的处理分支，自动匹配当前实际类型，无需手动判断，更安全也更灵活。
常见错误现象：用 std::get<int>(v)</int> 访问一个实际存着 std::string 的 variant，程序崩溃。
实操建议：
- 只在明确断言类型的前提下用
std::get（比如刚调用过std::holds_alternative<int>(v)</int>） - 多数业务逻辑优先用
std::visit，尤其涉及多个类型不同行为时 - 访客可以是 lambda（推荐）、函数对象，甚至重载的
struct；注意捕获方式影响生命周期
std::variant 的默认构造行为和 valueless_by_exception 状态
如果 std::variant 的第一个类型有默认构造函数（如 int、std::string），那么 variant 默认构造后就持有该类型（例如 std::variant<int std::string> v;</int> → 内部是 int{}）。但如果首个类型不可默认构造（如 std::monostate 除外的自定义类），默认构造会导致 variant 处于 valueless_by_exception 状态——既不持有任何合法值，也不能安全访问。
这种状态容易被忽略，但一旦调用 std::get 或 std::visit 就会终止程序（C++17 起是 std::terminate）。
实操建议：
- 显式用
std::monostate{}作为 variant 的第一个类型，确保默认可构造且语义清晰：std::variant<:monostate int std::string> v;</:monostate> - 始终用
v.index() == variant_npos或!v.valueless_by_exception()检查是否有效再访问 - 异常发生时（如拷贝
std::string失败），variant 可能意外进入valueless_by_exception，需在关键路径做防御性检查
性能与 ABI 兼容性需要注意的边界点
std::variant 内部通常用联合体 + 枚举索引实现，空间占用是各类型最大尺寸 + 对齐开销（不含虚函数表），比手写 union 更安全，但未必更省——尤其当成员含大对象（如 std::array<char></char>）时，整个 variant 就会变胖。
ABI 层面，std::variant 不是标准布局类型（non-standard-layout），不能跨 DLL 边界或 C 接口直接传递；不同编译器（MSVC / GCC / Clang）或同一编译器不同标准版本（C++17 vs C++20）对其内部布局无保证。
实操建议：
- 避免在频繁调用的热路径中使用含大对象的 variant；考虑用
std::unique_ptr延迟分配 - 跨模块传递 variant 时，必须封装为稳定 ABI 的接口（如纯虚类 + 工厂函数）
- 序列化时不要 memcpy 内存，而应逐个判断
index()后分别序列化对应值
最常被跳过的细节是 valueless_by_exception 的存在——它不像空指针那样容易被想到，却会在异常传播链中悄然出现。上线前务必在异常测试路径里验证 variant 的状态是否可控。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
