std::variant只能存储模板参数中显式声明的类型，如std::variant<int, double>仅支持int和double；它比union和void*更安全，因具备编译期类型检查、运行时安全访问及自动生命周期管理。
std::variant能存哪些类型，为什么选它而不是union或void*
std::variant 是 C++17 引入的类型安全联合体，它能明确列出所有可能的值类型（比如 std::variant<int double std::string></int>），编译期就禁止存入非法类型，运行时还能用 std::holds_alternative 或 std::visit 安全访问。这比裸 union（无类型检查、需手动管理生命周期）和 void*（完全丢失类型信息、极易越界）靠谱得多——计算器里数字类型混用频繁，类型安全不是锦上添花，是避免崩溃的底线。
常见错误：把 std::variant 当成“万能容器”往里塞任意类型。它只接受模板参数中显式声明的类型，多一个少一个都会编译失败。比如想支持复数但没在模板参数里写 std::complex<double></double>，std::variant<int double></int> 就根本接不住。
怎么用std::visit做类型分发，避免手写if-else链
计算器的核心操作（加减乘除）必须根据左右操作数的实际类型决定行为，std::visit 是唯一推荐方式。它接收一个可调用对象（比如 lambda）和一个或多个 std::variant，自动匹配当前持有的类型并调用对应分支，类型不匹配时编译报错，不会漏 case。
- 必须为每种可能的类型组合提供处理逻辑，否则编译失败（这是优点，不是缺陷）
- 如果两个操作数都是
std::variant<int double></int>，那就要覆盖int+int、int+double、double+int、double+double四种组合 - 返回类型必须一致，建议统一返回
std::variant<int double></int>，避免强制转型带来的精度丢失或截断
示例片段（加法）：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
auto result = std::visit([](const auto& a, const auto& b) -> std::variant<int, double> {
if constexpr (std::is_same_v<std::decay_t<decltype(a)>, int> &&
std::is_same_v<std::decay_t<decltype(b)>, int>) {
return a + b;
} else {
return static_cast<double>(a) + static_cast<double>(b);
}
}, lhs, rhs);
如何处理运算符重载和错误传播（比如除零、类型不支持）
不能让 std::variant 自动吞掉错误。比如除以零、字符串参与算术运算，这些必须显式抛出异常或返回错误变体（如 std::variant<int, double, std::string, std::error_code>）。直接忽略会导致静默失败，调试时极难定位。
- 除零检查必须在
std::visit的 lambda 里做，不能依赖外部判断——因为rhs的具体类型只有访问时才知道 - 不支持的操作（如
"abc" + 42）建议用std::monostate占位，或抛出std::runtime_error，避免返回未定义值 - 如果希望计算器具备“容错继续执行”能力，可把结果类型设为
std::variant<int, double, std::string, std::exception_ptr>，但会显著增加调用方处理负担
性能关键点：避免不必要的拷贝和重复访问
std::variant 的访问开销本身很小（一次 tag 比较 + 跳转），但滥用 std::get 或反复调用 std::visit 会拖慢速度。尤其在循环计算场景下，每次运算都重新 std::visit 两次（一次取值，一次运算）不如一次性提取并缓存。
- 不要在循环内对同一个
std::variant多次调用std::get<T>，改用std::visit一次性完成所有操作 - 如果确定某次计算中两个操作数都是
double，可先用std::holds_alternative<double>快速判断，再用std::get<double>提取——比std::visit略快，但牺牲了泛型性 - 注意
std::variant的移动语义：传参时优先用右值引用（auto&&），避免触发拷贝构造
类型擦除和运行时多态看着灵活，但在计算器这种确定性高、路径清晰的场景里，std::variant + std::visit 的编译期约束和零成本抽象才是更稳的选择。真正容易被忽略的，是每个运算分支里隐式的类型提升规则和浮点精度边界——它们不会报错，但会让 0.1 + 0.2 ≠ 0.3 这类问题在 variant 层面也照常发生。
