C++中如何用std::variant存储模板类实例的引用到std::map

核心问题分析 #

你遇到的问题本质是两个C++特性的限制：

1. std::variant 不能直接持有引用类型（如 SafeQueue<InputStruct>&），因为其备选类型要求支持默认构造、赋值等操作，而引用不满足这些条件。
2. std::map 的值类型不能是普通左值引用，因为map元素需要支持赋值操作，而引用一旦绑定就无法重新绑定，不符合要求。

方案1：用 std::reference_wrapper 包装引用（推荐） #

通过 std::reference_wrapper 包装队列对象的引用，既保留原对象的引用语义，又满足 variant 和 map 的类型要求。

步骤1：调整Variant定义

#include <functional> // 引入std::reference_wrapper和std::ref

// 用reference_wrapper包装每个SafeQueue实例的引用
using QueueVariant = std::variant<
    std::reference_wrapper<SafeQueue<InputStruct>>,
    std::reference_wrapper<SafeQueue<InputStruct2>>
>;

步骤2：定义存储引用的Map

std::map<exchangeType, QueueVariant> queueMap;

步骤3：插入原对象的引用

用 std::ref 生成 reference_wrapper 插入map：

SafeQueue<InputStruct> queue1;
SafeQueue<InputStruct2> queue2;

queueMap[exchangeType::TypeA] = std::ref(queue1);
queueMap[exchangeType::TypeB] = std::ref(queue2);

步骤4：访问原对象

通过 std::get 获取对应的 reference_wrapper，再调用 .get() 拿到原对象：

// 获取TypeA对应的队列引用
auto& targetQueue = std::get<std::reference_wrapper<SafeQueue<InputStruct>>>(queueMap[exchangeType::TypeA]).get();
targetQueue.push(/* 输入数据 */);

// 通用访问方式（推荐，避免类型匹配错误）
std::visit([](auto&& wrapper) {
    auto& queue = wrapper.get();
    // 这里可以编写统一的队列操作逻辑（只要不同SafeQueue实例接口一致）
    queue.push(/* 数据 */);
}, queueMap[exchangeType::TypeA]);

方案2：用指针存储（简单直接） #

如果不介意使用指针，可以直接将队列指针存入variant和map，同样能实现引用语义：

步骤1：定义指针版Variant

using QueueVariant = std::variant<
    SafeQueue<InputStruct>*,
    SafeQueue<InputStruct2>*
>;

步骤2：存储指针到Map

std::map<exchangeType, QueueVariant> queueMap;

queueMap[exchangeType::TypeA] = &queue1;
queueMap[exchangeType::TypeB] = &queue2;

步骤3：访问原对象

// 直接获取指针并调用方法
auto queuePtr = std::get<SafeQueue<InputStruct>*>(queueMap[exchangeType::TypeA]);
queuePtr->push(/* 数据 */);

// 用std::visit统一处理
std::visit([](auto* queue) {
    if (queue != nullptr) {
        queue->push(/* 数据 */);
    }
}, queueMap[exchangeType::TypeA]);

注意事项 #

• 生命周期管理：无论用哪种方案，都必须保证原 SafeQueue 对象的生命周期长于map，否则会出现悬空引用/指针，导致未定义行为。
• 类型安全检查：使用 std::get 时如果类型不匹配会抛出 std::bad_variant_access 异常，建议用 std::holds_alternative 先做类型检查，或者用 std::visit 做通用处理。

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