- std::variant(C++17)
类模板std::variant 表示类型安全联合。 std::variant 的实例在任何给定时间要么保存其替代类型之一的值,要么在发生错误的情况下 - 无值(这种状态很难实现,请参阅 < a i=5>valueless_by_exception)。
与联合一样,如果变体包含某种对象类型的值T,则 T 的对象表示形式将直接在 的对象表示形式中分配变体本身。不允许变体分配额外的(动态)内存。
变量不允许保存引用、数组或类型void。空变体也是格式错误的(std::variant< std::monostate> 可以改用)。
允许变体多次保存相同类型,并保存相同类型的不同 cv 限定版本。
与聚合初始化期间联合的行为一致聚合初始化,默认构造的变体保留其第一个替代值的值,除非该替代值是不可默认构造(在这种情况下,变体也不可默认构造)。辅助类 std::monostate 可用于使此类变体默认可构造。
- std::any(C++17)