std::variant适合存语义同层的可构造可析构类型，如AST节点或协议消息体；避免混入通用容器或动态结构，推荐用std::monostate占位，禁用重复类型。
std::variant 里存什么类型才适合 std::visit
不是所有类型组合都适合用 std::variant 配合 std::visit 模拟访问者模式。核心约束是：所有类型必须可构造、可析构，且不能有重复类型（std::variant<int int></int> 是非法的）。更关键的是，这些类型最好语义上属于同一抽象层级——比如都是“表达式节点”：std::variant<literal binaryop unaryop variable></literal>，而不是混入 std::string 或 std::vector 这类通用容器。
常见错误是把运行时才确定的异构数据（如配置项）硬塞进 std::variant，结果发现需要大量 std::holds_alternative 分支，反而失去 std::visit 的类型安全优势。
- 推荐场景：AST 节点、协议消息体、状态机状态值
- 避免场景：任意用户输入解析、JSON-like 动态结构
- 注意
std::monostate可作为占位类型处理“空值”，但别滥用
怎么写一个能被 std::visit 正确调用的访问器
std::visit 要求访问器是可调用对象，且对 std::variant 中每种类型的重载都必须存在或可推导。最稳妥的方式是用 lambda 表达式配合返回类型推导，或者定义一个含多个 operator() 重载的 struct。
容易踩的坑是只写了部分重载，导致编译失败却报错信息晦涩（比如 “no matching function for call to ‘visit’”）。编译器不会自动帮你补全缺失的重载。
立即学习“C++免费学习笔记（深入）”；
- 用 lambda 时，确保每个分支都覆盖：
[](auto&& x) { ... }是万能引用，但会丢失具体类型信息；显式列出所有重载更安全 - 如果访问器需要捕获外部变量，用
[&]捕获比[=]更常见，避免值拷贝大对象 - 返回类型必须一致，否则编译失败；可用
std::common_type_t辅助推导，但多数情况直接指定如int或void更清晰
auto evaluator = [](const auto& expr) -> double {
if constexpr (std::is_same_v<std::decay_t<decltype(expr)>, Literal>) {
return expr.value;
} else if constexpr (std::is_same_v<std::decay_t<decltype(expr)>, BinaryOp>) {
auto lhs = std::visit(*this, expr.left);
auto rhs = std::visit(*this, expr.right);
return expr.op == '+' ? lhs + rhs : lhs * rhs;
}
// 注意：这里没处理 UnaryOp 和 Variable —— 编译会失败
};递归访问时怎么避免 std::visit 崩溃或栈溢出
当 std::variant 成员本身又包含另一个 std::variant（比如 AST 节点嵌套），在访问器里递归调用 std::visit 是常见需求。但要注意：每次调用 std::visit 都是一次函数调用，深度嵌套可能触发栈溢出，尤其在调试构建下。
更隐蔽的问题是，若访问器自身不是 constexpr 或未被内联，编译器可能无法优化掉中间调用帧。
- 优先用尾递归风格：把子表达式计算结果传入下一层，而非在 lambda 内部层层嵌套
std::visit - 对深度不确定的结构（如用户写的超长算术表达式），考虑改用显式栈模拟递归，而不是依赖函数调用栈
- Clang/GCC 在 -O2 下通常能内联简单 lambda，但 MSVC 对复杂模板推导支持较弱，必要时加
[[gnu::always_inline]]或手动展开一层
为什么 std::visit 不支持 consteval 访问器
目前（C++20/C++23）std::visit 不是 consteval 函数，意味着你无法在编译期对 std::variant 做完整分支判断。即使所有分支逻辑都是常量表达式，std::visit 本身仍会在运行时分发。
这导致一个现实限制：你没法用 std::visit 实现纯编译期 AST 求值。若真需要编译期计算，得退回到 std::holds_alternative + if constexpr 手动展开，或者用第三方库如 Boost.MP11 的 mp_with_index。
别指望靠 constexpr std::variant 加 std::visit 实现零开销抽象——它只是类型安全的运行时多态替代方案，不是元编程工具。
