C++：不使用std::get，如何获取std::variant持有索引及运行时索引访问？

首先明确：std::get<n>(var) 中的模板参数 n 必须是编译期常量，无法直接传入运行时动态确定的值。针对这种场景，有两种常用的无模板依赖替代方案：

方案一：使用 std::visit #

std::visit 是标准库提供的通用访问器，它会自动匹配 std::variant 当前持有的类型，并执行对应的处理逻辑。如果需要针对指定的动态索引访问，可先判断 variant 当前的索引是否与目标索引匹配，再执行访问：

#include <variant>
#include <iostream>

int main() {
    std::variant<int, float> var{42};
    unsigned int target_idx = 0; // 运行时动态确定的索引

    if (var.index() == target_idx) {
        std::visit([](auto&& val) {
            // 对持有的值执行操作，此处以打印为例
            std::cout << "当前值：" << val << std::endl;
        }, var);
    } else {
        std::cerr << "variant当前持有的类型与目标索引不匹配" << std::endl;
    }
}

这种方式无需手动枚举所有类型，代码更简洁，尤其适合 variant 包含多种类型的场景。

方案二：手动构建跳转表（Switch-Case） #

利用 variant 的类型数量在编译期确定的特性，通过 switch-case 枚举所有可能的索引，结合 std::get 访问对应类型的值：

#include <variant>
#include <iostream>
#include <stdexcept>

int main() {
    std::variant<int, float> var{3.14f};
    unsigned int target_idx = 1; // 运行时动态确定的索引

    switch(target_idx) {
        case 0:
            if (var.index() == 0) {
                std::cout << "int类型值：" << std::get<0>(var) << std::endl;
            } else {
                throw std::bad_variant_access{};
            }
            break;
        case 1:
            if (var.index() == 1) {
                std::cout << "float类型值：" << std::get<1>(var) << std::endl;
            } else {
                throw std::bad_variant_access{};
            }
            break;
        default:
            throw std::out_of_range("无效的variant索引");
    }
}

这种方式逻辑直观，适合 variant 类型数量较少的场景，但类型增多时需要手动扩展case分支。

注意事项 #

无论使用哪种方案，都需要：

1. 确保目标索引在 variant 的有效范围内（即小于 std::variant_size_v<decltype(var)>）；
2. 验证 variant 当前持有的索引与目标索引匹配，否则会触发 std::bad_variant_access 异常（需自行捕获或处理）。

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