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 后直接调用 std::get(v) 崩溃，就是因为没初始化，实际持有着 std::monostate，而你没检查就强取。
- 必须显式初始化才能避开
std::monostate，例如：std::variant v{42}; - 用
v.index() == 0或std::holds_alternative(v)判断是否为空态 -
std::monostate占用 1 字节，不参与比较、不可赋值（仅可默认构造），设计上就是个哑元
为什么不用 void 或 nullptr 替代 monostate
void 不是可实例化类型，不能放进 std::variant 的模板参数包；nullptr 是字面量，类型是 std::nullptr_t，但它本身不是“空占位符”——它只是个指针常量，且无法表达“未初始化”语义。
真正关键的是：variant 要求每个可能状态都对应一个**确定、可析构、可复制**的类型。std::monostate 满足全部，而 void 和裸 nullptr 都不满足。
立即学习“C++免费学习笔记（深入）”；
