std::visit要求可调用对象必须覆盖variant所有类型，编译期全检查；推荐用overloaded结构组合多个lambda，避免漏分支或嵌套误用；注意valueless_by_exception状态、引用生命周期及constexpr限制。
std::visit 要求第一个参数是可调用对象，且必须能处理所有 variant 的备选项
直接传一个普通 lambda 给 std::visit 很容易编译失败，尤其当 std::variant 有多个类型时。编译器会检查这个 lambda 是否对每种可能的类型都有匹配的 operator() 重载 —— 它不是“运行时选一个”，而是“编译期全都要覆盖”。
常见错误现象：error: no matching function for call to 'visit' 或更具体的 candidate template ignored: substitution failure，本质是 lambda 无法接受某种类型（比如你漏写了 int 分支，但 variant 里含 int）。
- 最稳妥的做法：用
autolambda 配合if constexpr+std::holds_alternative判断，但这样失去 visit 的静态分发优势 - 推荐做法：用
overloaded辅助结构（C++17 起常用技巧），把多个 lambda 合成一个可调用体 - 如果 variant 类型固定且不多，也可以显式写一个仿函数类，重载多个
operator()
std::variant 的类型顺序影响 std::holds_alternative 和 valueless_by_exception 状态
std::variant 内部按模板参数顺序存储类型信息，std::holds_alternative<T>(v) 的查找不依赖值，只依赖 T 在模板列表中的位置是否唯一。但真正影响行为的是“异常安全”场景：当某个类型的构造函数抛异常，而 variant 正在切换到该类型时，它会进入 valueless_by_exception 状态 —— 此时任何 std::visit 都会抛 std::bad_variant_access。
- 用
v.index() == std::variant_npos或std::visit([](auto&&) {}, v)捕获前先检查是否 valueless（后者会立即 throw） - 避免把可能抛异常的大对象（如
std::vector<huge_data>）放在 variant 前几位，因为默认构造或赋值时若失败，会影响整个 variant 的可用性 - 如果需要强异常安全，考虑用
std::optional<std::variant<...>>包一层，主动控制空状态
访问嵌套 variant 时，visit 的嵌套写法容易混淆捕获和类型推导
比如 std::variant<int, std::variant<double, std::string>>，外层 std::visit 的 lambda 参数类型是 int 或 std::variant<double, std::string>，不是 double 或 std::string。想直接访问内层值，得再套一层 std::visit。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
容易踩的坑：在 lambda 里对 std::variant<double, std::string> 类型变量直接用 std::get<double> —— 这会崩溃（如果实际存的是 std::string），而不是自动 dispatch。
- 正确方式：对内层 variant 单独再调一次
std::visit，不要试图用std::get硬取 - 如果嵌套深，建议封装访问逻辑为命名函数或局部 lambda，避免多层匿名嵌套导致可读性骤降
- 注意引用传递：外层 lambda 捕获
[&]后，内层 visit 仍需确保被访问对象生命周期足够长；若传临时 variant，必须用[v = std::move(v)]或值捕获
std::visit 不支持偏特化，但可以用 std::visit + visitor 模式模拟运行时多态调度
有人误以为 std::visit 能像虚函数一样“自动转发到子类实现”，但它只是静态分发：调用哪个 operator() 完全由 variant 当前持有的类型（编译期已知）决定，和对象内容无关。真要模拟运行时多态，得自己建 visitor 接口，让每个 variant 成员类型实现 accept(visitor&) 方法。
- std::visit 本身无运行时开销，性能接近 switch；但若强行用它模拟虚函数表行为（比如每个分支都 new 一个对象再调 virtual 函数），就违背设计初衷
- 适合场景：数据类型明确、分支有限、逻辑差异大（比如 JSON 解析中分别处理 number/string/array）
- 不适合场景：需要频繁增删类型、或每个分支逻辑高度相似（此时用基类指针 + virtual 更清晰）
最常被忽略的一点：std::visit 的可调用对象必须是 constexpr 友好 的（至少 C++20 要求），如果你用了 this->member 或捕获了非字面量对象，某些标准库实现会在 constexpr 上下文中拒绝编译。
