std::monostate 的核心作用是为 std::variant 提供明确的空状态语义；它不存储数据，而是作为轻量、类型安全的占位符，解决默认构造导致的“是否被有意赋值”歧义问题。
std::monostate 的核心作用，是让 std::variant 能安全、明确地表示“空状态”——即当前不持有任何有效值。它不是用来存数据的，而是一个轻量、类型安全的占位符。
为
什么需要 std::monostate？
什么需要 std::monostate？std::variant 默认会用第一个模板参数的默认构造函数初始化。如果第一个类型是 int，那 variant 就自动变成 int{0}，根本看不出“是否被有意赋值”。这在配置项、可选字段、状态机等场景中容易引发歧义和 bug。
- 没有 std::monostate：std::variant
v; → v 实际持有 int{0}，但你无法区分这是用户设的 0，还是未初始化的默认值 - 有 std::monostate：std::variant<:monostate int std::string> v; → v 默认就是 std::monostate{}，语义清晰：此刻无值
怎么判断和使用空状态？
不能靠 == 或 typeid 判断是否为空，必须用 std::visit 配合类型匹配，或用 std::holds_alternative。
- 用 std::holds_alternative 检查：if (std::holds_alternative<:monostate>(v)) { /* 空 */ }
- 用 std::visit 安全分发：std::visit([](auto&& x) { if constexpr (std::is_same_v<:decay_t>, std::monostate>) { std::cout
- 注意：std::monostate 支持所有比较运算符（==、
它不只是“空”，更是设计契约的一部分
把 std::monostate 放在 variant 模板参数首位，是一种显式声明：“这个 variant 允许无值”。这种写法强制调用方思考“空”的含义，并在访问前做检查，避免未定义行为。
- 它大小为 1 字节（非零），但不携带数据，满足标准布局和 trivial 类型要求
- 它解决了 std::variant 对“不可默认构造类型”无法默认构造的问题：比如 std::variant<:monostate nondefaultconstructible> 可以默认构造，而 std::variant
不行 - 它不是 std::optional 的替代品，而是为 variant 提供“空分支”的专用机制；optional 表示“有/无某类型”，variant 表示“有且仅有其一”，monostate 是 variant 中那个“无”的选项
常见误用提醒
不要把它当 void 用，也不要在函数返回类型或容器中单独使用它——它的意义只存在于 variant 的上下文中。
- ❌ 错误：std::vector<:monostate> v; —— 没有意义，它不承载数据
- ❌ 错误：std::variant
v; —— monostate 不在首位，v 默认仍构造 int{0}，空状态失效 - ✅ 正确：std::variant<:monostate int std::string> config; —— 明确支持“未设置”语义
