std::variant 默认构造失败是因为首个类型无默认构造函数，必须将 std::monostate 置于首位以确保可默认构造；访问前须先检查 valueless_by_exception()，再用 holds_alternative 判断空态，不可仅依赖 index() == 0。
std::variant 默认构造失败的典型错误
当你写 std::variant<:string_view int></:string_view> 并尝试默认构造时，编译会直接报错：error: call to implicitly-deleted default constructor。原因是 std::string_view 没有默认构造函数，而 std::variant 默认会尝试构造其第一个模板参数。这种写法在配置解析、状态机初始化等需要“先声明后赋值”的场景下非常常见，但一上来就卡住。
为什么 std::monostate 必须放最前面
把 std::monostate 放在类型列表首位，不是风格偏好，而是语义强制：它让 default-constructible 成为可预测的事实，而非依赖某个业务类型的构造行为。
-
std::variant<:monostate std::string_view int> v;</:monostate>→ 编译通过，v.index()为 0，且v处于合法空态 -
std::variant<:string_view std::monostate int> v;</:string_view>→ 依然失败，因为std::string_view还是第一个，std::monostate被跳过 -
std::monostate大小为 1 字节（非零），但不携带数据，满足 trivial 类型要求，不会增加实际存储开销
如何安全判断“空”而不是误判 valueless_by_exception
仅靠 v.index() == 0 不足以断定当前是逻辑上的“未设置”，因为异常抛出中途也可能导致 v.index() 返回 0，但此时 v.valueless_by_exception() 为 true，访问会触发 std::terminate。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 先检查
v.valueless_by_exception()—— 若为 true，说明构造/赋值中途崩溃，不能做任何访问 - 再用
std::holds_alternative<:monostate>(v)</:monostate>判断是否处于有意设计的空分支 - 避免写
if (v.index() == 0) { ... std::get<:monostate>(v) ... }</:monostate>，这在valueless_by_exception状态下会崩溃
std::monostate 不是 optional 的平替，别混用
有人试图用 std::optional<:variant std::string>></:variant> 来表达“无值”，但这引入了两层间接和额外内存（optional 至少 1 字节 tag + 对齐填充），且语义冗余：variant 本身就能表达“空”，只要给它一个空分支。
立即学习“C++免费学习笔记（深入）”；
-
std::variant<:monostate int std::string></:monostate>是零额外开销的空语义，栈上完全内联 -
std::optional<:variant std::string>></:variant>实际占用至少 2 倍空间，且需两次判空（optional.has_value()和variant.index()） - 若业务中已有自然哨兵值（如
int用 -1 表示无效），可省略std::monostate，但必须文档化并全局约定
std::monostate，也必须在每次访问前检查状态；std::monostate 解决的是“能否默认构造”，不是“是否安全访问”。 
