C++中std::variant嵌套是否合法？get<index>如何操作内层variant？

写法合法性判定 #

你给出的嵌套std::variant写法完全符合C++标准要求，属于合法写法：

• std::variant对持有的备选类型要求仅为「完整类型、可销毁」，std::variant本身满足该要求，因此可以作为模板参数传入Type2
• 只要你的Type2模板类没有对Type2<std::variant<subType1, subType2>>做禁用特化，就可以正常使用

内层variant操作方法 #

外层std::variant<Type1, Type2<std::variant<subType1,subType2>>>的备选类型索引为0对应Type1、1对应Type2<...>，操作内层variant需要先取出外层持有的Type2实例，再通过Type2的接口获取内部存储的内层variant实例，以下是两种常用写法：

1. 按索引访问（基础写法） #

假设你的Type2模板类提供了get()成员方法返回内部存储的模板参数实例，示例代码如下：

#include <variant>

// 示例Type2定义
template<typename T>
struct Type2 {
    T inner_val;
    T& get() { return inner_val; }
    const T& get() const { return inner_val; }
};

// 操作示例
void handle_variant(std::variant<Type1, Type2<std::variant<subType1,subType2>>>& myVariant) {
    // 先判断外层是否持有Type2类型
    if (auto* p_t2 = std::get_if<1>(&myVariant)) {
        // 获取内层variant
        auto& inner_variant = p_t2->get();
        // 操作内层variant
        if (auto* p_sub1 = std::get_if<0>(&inner_variant)) {
            // 处理subType1类型的逻辑
        } else if (auto* p_sub2 = std::get_if<1>(&inner_variant)) {
            // 处理subType2类型的逻辑
        }
    } else {
        // 外层持有Type1的处理逻辑
        auto& t1_val = std::get<0>(myVariant);
    }
}

注意：直接使用std::get<index>(variant)时，如果当前variant持有类型不匹配会抛出std::bad_variant_access异常，使用std::get_if做前置判断更安全。

2. 访问器模式（更优雅的写法） #

使用std::visit可以避免硬编码索引，适配性更强：

// 内层variant访问器
struct InnerVisitor {
    void operator()(subType1& s1) {
        // 处理subType1逻辑
    }
    void operator()(subType2& s2) {
        // 处理subType2逻辑
    }
};

// 外层variant访问器
struct OuterVisitor {
    void operator()(Type1& t1) {
        // 处理Type1逻辑
    }
    void operator()(Type2<std::variant<subType1,subType2>>& t2) {
        std::visit(InnerVisitor{}, t2.get());
    }
};

// 调用示例
std::visit(OuterVisitor{}, myVariant);

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