C++中如何根据运行时条件为变量有条件分配int或double类型

核心前提 #

C++ 是静态强类型语言，所有变量的类型必须在编译期确定，不可能实现「同一个变量运行时根据条件分别是int或double类型」的效果，你最初三目运算符写法的问题也来源于此：三目运算符要求两个分支返回值可以隐式转换为同一个公共类型，因此int会被自动提升为double，最终变量类型固定为double。

结合你使用std::variant<int, double>的实际场景，有以下三种规范实现方案：

方案1：直接用std::variant接收值（最推荐） #

你存储的元素本身就是std::variant<int, double>类型，不需要额外判断类型再取值，直接赋值即可完整保留原始类型信息：

// 直接取vector最后一个元素赋值给a，类型和容器内元素完全一致
std::variant<int, double> a = stack.back();

如果需要判断当前a存储的类型，不要用异常捕获的方式，使用标准库提供的std::holds_alternative接口，性能和可读性都更好：

if (std::holds_alternative<int>(a)) {
    int val = std::get<int>(a);
    // 处理int类型逻辑
} else {
    double val = std::get<double>(a);
    // 处理double类型逻辑
}

方案2：用std::visit直接处理不同类型的逻辑 #

如果拿到值之后需要根据类型执行不同逻辑，直接使用variant配套的访问者模式接口std::visit，不需要手动判断类型，代码更简洁：

std::visit([](auto&& val) {
    using T = std::decay_t<decltype(val)>;
    if constexpr (std::is_same_v<T, int>) {
        // val是int类型，直接处理
        std::cout << "int类型值：" << val << std::endl;
    } else if constexpr (std::is_same_v<T, double>) {
        // val是double类型，直接处理
        std::cout << "double类型值：" << val << std::endl;
    }
}, stack.back());

方案3：分开定义两个类型的变量存储 #

如果确实需要独立的int/double变量，可以配合std::optional分别存储，判断类型后赋值：

std::optional<int> a_int;
std::optional<double> a_double;

if (std::holds_alternative<int>(stack.back())) {
    a_int = std::get<int>(stack.back());
} else {
    a_double = std::get<double>(stack.back());
}

// 后续使用时判断哪个有值即可
if (a_int.has_value()) {
    // 用a_int.value()处理
} else {
    // 用a_double.value()处理
}

内容的提问来源于stack exchange，提问作者cheeseburgereddy