std::monostate 是 std::variant 默认构造时持有的合法空状态，占用1字节、不可赋值、仅默认构造，用于确保 variant 始终持有确定可析构类型；它非 optional 语义，需显式检查（如 holds_alternative 或 index）避免 bad_variant_access。
std::monostate 是 variant 的默认构造占位符
当你声明一个 std::variant 但没给初始值时，它必须持有某个合法状态——std::monostate 就是那个“什么都没存”的合法空状态。它不是 std::nullopt 那种可选语义，而是强制要求 variant 总有值的底层机制支撑点。
常见错误现象：定义 std::variant<int std::string></int> 后直接调用 std::get<int>(v)</int> 崩溃，就是因为没初始化，实际持有着 std::monostate，而你没检查就强取。
- 必须显式初始化才能避开
std::monostate，例如：std::variant<int std::string> v{42};</int> - 用
v.index() == 0或std::holds_alternative<:monostate>(v)</:monostate>判断是否为空态 -
std::monostate占用 1 字节，不参与比较、不可赋值（仅可默认构造），设计上就是个哑元
为什么不用 void 或 nullptr 替代 monostate
void 不是可实例化类型，不能放进 std::variant<t...></t...> 的模板参数包；nullptr 是字面量，类型是 std::nullptr_t，但它本身不是“空占位符”——它只是个指针常量，且无法表达“未初始化”语义。
真正关键的是：variant 要求每个可能状态都对应一个**确定、可析构、可复制**的类型。std::monostate 满足全部，而 void 和裸 nullptr 都不满足。
立即学习“C++免费学习笔记（深入）”；
将 WCAG 2 AA 无障碍标准应用于设计系统、UI 组件和网页——通过可运行的验证器进行对比度计算，采用设计 token 模式使颜色天生可访问，设定排版和焦点状态规则，并提供语义检查清单。适用于构建或审查 UI。
-
std::monostate支持constexpr默认构造、析构、拷贝，符合 variant 内部状态管理契约 - 加它进变体类型列表（如
std::variant<:monostate int std::string></:monostate>）能显式建模“可为空”，此时默认构造即为std::monostate - 别试图特化或继承
std::monostate——标准禁止用户定义其行为
std::monostate 在访问前必须检查，否则触发 std::bad_variant_access
一旦 variant 当前持有 std::monostate，任何对其他类型的 std::get、std::get_if 或 std::visit 中未覆盖 std::monostate 分支的操作，都会抛出 std::bad_variant_access。
这不是运行时优化问题，而是类型安全的硬性保障：variant 不允许“误读”当前持有的类型。
- 安全写法是先用
v.index()或std::holds_alternative<t>(v)</t>判断再取值 - 用
std::visit时，lambda 参数列表必须能匹配std::monostate（如果它在 variant 类型列表中） - 编译期无法捕获这类错误——只有运行到非法访问时才暴露，所以测试路径要覆盖默认构造场景
std::monostate 不等于 optional 语义，但可配合使用
有人想用 std::variant<:monostate t></:monostate> 模拟 std::optional<t></t>，技术上可行，但没必要：前者多 1 字节存储开销，且无 has_value()、value_or() 等便利接口；后者专为可选值设计，语义清晰、零开销抽象。
真正需要 std::monostate 的典型场景，是「variant 作为状态机载体」时，把“初始/重置/无效”状态也当作一种明确的分支来处理。
- 比如状态机：
std::variant<:monostate connected disconnected error></:monostate>，初始即std::monostate表示尚未启动 - 不要为了“看起来统一”强行塞
std::monostate进所有 variant——只在业务逻辑真需要“未初始化”作为一种合法状态时才用 - 注意：
std::monostate{}和std::monostate{}比较永远返回false（它重载了operator==返回false），这是标准规定，别依赖相等判断做状态流转
std::monostate 的存在让 std::variant 的默认构造成为可能，但它本身不提供任何业务含义——含义全靠你用代码赋予。 
