已知非std::monostate状态时，如何转换std::variant<std::monostate, T...>为std::variant<T...>

在确认std::variant<std::monostate, T...>对象并非std::monostate状态的前提下，有两种简单直接的转换方式：

方法一：用std::visit构造目标variant #

std::visit会自动匹配当前variant的有效类型分支，我们只需要在分支里把值包装成目标std::variant<T...>即可，代码逻辑清晰且通用。

示例代码：

#include <variant>
#include <string>
#include <iostream>

// 目标函数：仅接受std::variant<int, std::string>
void process_variant(std::variant<int, std::string> v) {
    std::visit([](auto&& val) {
        std::cout << "处理值：" << val << std::endl;
    }, v);
}

int main() {
    std::variant<std::monostate, int, std::string> src_variant = "测试字符串";
    // 已确认src_variant不是monostate，执行转换
    auto dest_variant = std::visit(
        [](auto&& val) -> std::variant<int, std::string> {
            return std::forward<decltype(val)>(val);
        },
        src_variant
    );
    process_variant(dest_variant);
    return 0;
}

方法二：通过索引+std::get直接转换 #

既然已知原variant的索引不为0（monostate是第一个类型，索引为0），可以直接通过索引取出对应的值，再构造目标variant，代码更简洁。

示例代码：

#include <variant>
#include <string>
#include <iostream>

void process_variant(std::variant<int, std::string> v) {
    std::visit([](auto&& val) {
        std::cout << "处理值：" << val << std::endl;
    }, v);
}

int main() {
    std::variant<std::monostate, int, std::string> src_variant = 123;
    // 确认索引不为0（已提前保证）
    const auto idx = src_variant.index();
    auto dest_variant = std::variant<int, std::string>(std::get<idx>(src_variant));
    process_variant(dest_variant);
    return 0;
}

注意事项 #

• 两种方法都基于你已经确认原variant不是std::monostate的前提，所以不需要处理索引为0的分支；
• 如果是编译期就能确定原variant的状态，还可以用模板元编程进一步优化，但上面两种运行时方案已经覆盖绝大多数场景。

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