为何无法获取std::variant的索引并以此访问其内容？

你遇到的问题核心在于：std::get<N>(variant) 中的模板参数 N 必须是编译期已知的常量，而你代码里的 idx 是通过 var.index() 获取的运行时变量——编译器在编译阶段没法确定它的值，自然没法实例化对应的 std::get 模板函数，这就是编译报错的原因。

下面提供两种可行的解决思路，推荐第一种（更符合现代C++风格）：

方案1：使用 std::visit（推荐） #

std::visit 是C++17专门为std::variant设计的访问工具，它会自动根据variant中存储的实际类型，调用对应的处理逻辑，完全不需要手动管理索引：

#include <variant>
#include <iostream>

int main() {
    std::variant<int, float, char> var { 42.0F };
    
    // 用lambda定义每种类型的处理逻辑，这里示例是打印值
    std::visit([](auto&& val) {
        // auto&&会自动匹配存储的类型，你可以在这里编写对应的业务逻辑
        std::cout << "存储的值是：" << val << std::endl;
        // 如果需要返回值，也可以在这里return，std::visit会自动推导返回类型
    }, var);
    
    return 0;
}

这种方式的好处是代码简洁、类型安全，而且不需要手动枚举所有可能的类型/索引，当variant的类型列表变化时，visit会自动适配（只要你的lambda能处理所有类型）。

方案2：使用switch-case枚举所有索引 #

如果你一定要基于索引来处理，可以用switch-case把每个可能的编译期常量索引列出来，每个case里调用std::get<常量>：

#include <variant>
#include <iostream>

int main() {
    std::variant<int, float, char> var { 42.0F };
    const std::size_t idx = var.index();
    
    switch(idx) {
        case 0: {
            auto res = std::get<0>(var); // 这里0是编译期常量，合法
            std::cout << "int类型的值：" << res << std::endl;
            break;
        }
        case 1: {
            auto res = std::get<1>(var); // 1是编译期常量，合法
            std::cout << "float类型的值：" << res << std::endl;
            break;
        }
        case 2: {
            auto res = std::get<2>(var); // 2是编译期常量，合法
            std::cout << "char类型的值：" << res << std::endl;
            break;
        }
        default:
            // 处理错误情况，比如variant为空（如果用了std::monostate的话）
            break;
    }
    
    return 0;
}

这种方式需要手动枚举所有可能的索引，当variant的类型列表修改时，你必须同步修改switch-case的内容，否则会遗漏情况，所以只适合类型列表固定且数量较少的场景。

为什么var.index()不能作为模板参数？因为模板参数的求值必须在编译阶段完成，而var.index()是在程序运行时才会返回具体值的函数——编译器编译代码时，还不知道这个变量会是0、1还是2，所以没法为不确定的N实例化std::get<N>模板。

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