std::variant初始化报“no matching constructor”因{}无法推导分支类型，须显式构造或用std::in_place_type/index；访问时bad_variant_access源于类型不匹配，应先holds_alternative或index检查；多variant需lambda+参数包展开；其内存含index字段且有构造/析构开销，但提供强异常安全。
std::variant 初始化时为什么报错“no matching constructor”
常见错误是直接用 {} 初始化含非默认构造类型的 std::variant，比如里面塞了 std::string 或自定义类。它不会自动推导你想构造哪个分支，编译器干脆拒绝模糊操作。
正确做法是显式调用目标类型的构造函数，或用 std::in_place_type_t、std::in_place_index_t 精确指定：
-
std::variant<int std::string> v{std::string{"hello"}};</int>✅ 直接传对应类型的实参 -
std::variant<int std::string> v{std::in_place_type<:string>, "hello"};</:string></int>✅ 强制走 string 构造 -
std::variant<int std::string> v{std::in_place_index, "hello"};</int>✅ 按索引指定（索引从 0 开始）
别写 std::variant<int std::string> v{};</int> —— 如果 int 和 std::string 都能默认构造，它会选第一个；但只要任一分支不能默认构造（比如只有 std::string），这行就直接编译失败。
访问 std::variant 时 std::get 报 “bad_variant_access” 怎么办
这是运行时错误，说明你用 std::get<t>(v)</t> 去取一个当前不持有的类型。不是编译错误，所以容易漏测。
立即学习“C++免费学习笔记（深入）”；
安全访问分三步走：
- 先用
v.index()查当前持有什么（返回size_t，0 起始） - 或用
std::holds_alternative<t>(v)</t>判断是否持有某类型 - 再用
std::get<t>(v)</t>或std::get_if<t>(&v)</t>（后者返回指针，空指针表示没持有）
示例：if (std::holds_alternative<:string>(v)) { auto& s = std::get<:string>(v); }</:string></:string>。别跳过检查直接 std::get，尤其在解析外部输入或跨模块传递时，index 可能早被改过。
std::visit 处理多个 variant 时编译不过：参数包展开失败
C++17 的 std::visit 默认只支持单个 std::variant。想同时访问两个（比如 std::variant<int double></int> 和 std::variant<bool char></bool>），必须手动把它们“合并”成一个 tuple 再转发。
标准解法是套一层 lambda + std::make_tuple：
std::visit([](auto&& a, auto&& b) {
// a 是第一个 variant 的当前值，b 是第二个的
}, v1, v2);
注意两点：
- 这个 lambda 必须是泛型的（
auto&&），否则无法匹配所有可能的类型组合 - 如果 v1 有 N 种可能、v2 有 M 种，lambda 实际会被实例化 N×M 次——别在里面放重逻辑，否则编译时间和二进制体积会明显涨
别试图用 std::visit(f, std::make_pair(v1, v2))，std::pair 不是 variant，std::visit 不认。
std::variant 比 union 更安全，但内存占用和性能代价在哪
它比裸 union 多存一个 index 字段（通常是 std::size_t，8 字节），还会对每个分支做构造/析构调度。这意味着：
- 大小 = max(各分支 size) + index 字段（可能还有对齐填充）
- 每次赋值、移动、析构都要查 index、调用对应分支的 ctor/dtor —— 对高频小对象（如 int/bool 组合）有可测量开销
- 不支持
constexpr构造（C++20 起部分支持，但限制多）
如果确定永远只用一种类型、且追求极致性能，裸 union + 手动管理仍是选项；但只要涉及类型切换、异常安全或跨函数传递，std::variant 的边界检查和 RAII 就值回票价。真正容易被忽略的是：它的 operator= 是强异常安全的 —— 如果新值构造抛异常，原值保证完好，这点裸 union 根本做不到。
