如何在运行时获取std::variant的底层类型？

Great question! 确实，decltype()是编译时工具，完全没办法帮你在运行时获取std::variant实际存储的类型——毕竟std::variant设计的核心就是在运行时动态切换不同类型嘛。针对你用std::vector<std::variant<int, float>>的场景，有几种靠谱的方案：

方案1：用std::holds_alternative做类型检查 #

这个函数可以在运行时判断variant当前是否持有某个指定类型，适合类型数量不多的场景。你可以遍历vector中的每个variant，逐个检查类型：

#include <variant>
#include <vector>
#include <iostream>

int main() {
    std::vector<std::variant<int, float>> vec = {42, 3.14f, 100, 2.71f};
    
    for (const auto& var : vec) {
        if (std::holds_alternative<int>(var)) {
            std::cout << "当前是int类型，值：" << std::get<int>(var) << "\n";
            // 如果你需要在编译时获取这个类型，可以用 decltype(std::get<int>(var))
        } else if (std::holds_alternative<float>(var)) {
            std::cout << "当前是float类型，值：" << std::get<float>(var) << "\n";
        }
    }
    return 0;
}

方案2：用std::visit优雅处理多类型 #

如果你的variant类型更多，std::visit会更简洁——它会根据variant当前的实际类型，自动分发到对应的处理逻辑。结合泛型lambda可以很方便地实现：

#include <variant>
#include <vector>
#include <iostream>
#include <type_traits>

int main() {
    std::vector<std::variant<int, float>> vec = {42, 3.14f, 100, 2.71f};
    
    // 泛型lambda会自动匹配每个类型
    auto process_var = [](const auto& val) {
        using ValType = std::decay_t<decltype(val)>;
        // 用constexpr分支在编译时确定类型逻辑
        if constexpr (std::is_same_v<ValType, int>) {
            std::cout << "类型：int，值：" << val << "\n";
        } else if constexpr (std::is_same_v<ValType, float>) {
            std::cout << "类型：float，值：" << val << "\n";
        }
    };
    
    for (const auto& var : vec) {
        std::visit(process_var, var);
    }
    return 0;
}

额外需求：获取类型的字符串标识 #

如果你需要输出类型的名称（比如调试用），可以结合typeid——不过要注意typeid(T).name()的结果是编译器相关的（比如GCC里int是i，float是f，MSVC会有更长的字符串），但用来区分类型足够：

#include <variant>
#include <vector>
#include <iostream>
#include <typeinfo>

int main() {
    std::vector<std::variant<int, float>> vec = {42, 3.14f, 100, 2.71f};
    
    auto get_type_name = [](const auto& val) {
        return std::string(typeid(val).name());
    };
    
    for (const auto& var : vec) {
        std::cout << "当前类型名称：" << std::visit(get_type_name, var) << "\n";
    }
    return 0;
}

关键提醒 #

decltype()只能在编译时推导类型，而std::variant的实际类型是运行时决定的，所以必须用上面这些运行时的类型检查/分发工具来处理。

内容的提问来源于stack exchange，提问作者Théo Champion