如何在Hub类中实现成员函数模板以返回Wire类模板的实例？

嘿，我完全懂你碰到的这个难题——你想让每个Hub实例独立管理一组不同类型的Wire<T>，但std::map的value类型没法直接用不确定的模板实例，毕竟每个Wire<T>都是完全不同的类型。这里核心要解决的是类型擦除的问题，我给你一个实用的解决方案：

首先，我们需要一个所有Wire<T>都能继承的公共基类，这样就能把不同的Wire<T>实例统一存储在容器里：

// 定义抽象基类，作为所有Wire<T>的父类
class WireBase {
public:
    // 必须添加虚析构函数，否则销毁子类实例时会出现未定义行为
    virtual ~WireBase() = default;
};

然后让你的Wire<T>模板继承这个基类：

template<typename T>
class Wire : public WireBase {
    // 这里放你原本Wire<T>的实现代码即可
    // 举个例子：
    T m_data;
public:
    void set(const T& val) { m_data = val; }
    T get() const { return m_data; }
};

接下来修改Hub类，我们用std::type_index作为map的键（因为std::type_info本身不能直接作为map键，它没有重载operator<），value则用智能指针存储WireBase的实例：

#include <map>
#include <typeindex>
#include <memory>
#include <typeinfo>

class Hub {
public:
    Hub() = default;

    template<typename T>
    Wire<T>& get_wire() {
        // 用当前类型T的type_index作为查找键
        std::type_index type_key(typeid(T));
        auto it = wires.find(type_key);

        // 如果该类型的Wire尚未创建，就实例化一个并插入map
        if (it == wires.end()) {
            auto new_wire = std::make_unique<Wire<T>>();
            it = wires.emplace(type_key, std::move(new_wire)).first;
        }

        // 把基类指针安全转换回Wire<T>&，我们确定类型是匹配的，所以不会出错
        return *dynamic_cast<Wire<T>*>(it->second.get());
    }

private:
    // 用type_index做键，unique_ptr管理基类指针，实现类型擦除存储
    std::map<std::type_index, std::unique_ptr<WireBase>> wires;
};

这样做的优势：

• 每个Hub实例都有自己独立的wires集合，不会像静态变量那样在所有实例间共享
• 不需要提前显式特化所有可能的T类型，完全支持任意T的动态创建
• 智能指针自动管理内存，不用手动释放Wire实例

如果你的Wire<T>需要带参数的构造函数，还可以把get_wire改成支持参数转发的版本：

template<typename T, typename... Args>
Wire<T>& get_wire(Args&&... args) {
    std::type_index type_key(typeid(T));
    auto it = wires.find(type_key);

    if (it == wires.end()) {
        // 完美转发构造参数
        auto new_wire = std::make_unique<Wire<T>>(std::forward<Args>(args)...);
        it = wires.emplace(type_key, std::move(new_wire)).first;
    }

    return *dynamic_cast<Wire<T>*>(it->second.get());
}

最后提醒两点：一定要确保Wire<T>确实继承了WireBase，否则dynamic_cast会返回空指针导致程序崩溃；另外基类的虚析构函数绝对不能少，不然销毁map里的指针时不会调用子类的析构函数，会造成内存泄漏。

内容来源于stack exchange