C++如何通过字符串映射类类型并动态实例化对象

你的现有代码存在两个无法编译、也无法实现需求的本质问题：

1. C++的类不是可直接存入容器的一等值对象，抽象基类MyObj禁止实例化，作为map值类型会触发对象切片，完全破坏多态特性
2. Factory::create_obj返回MyObj值类型的写法不合法，抽象类型不能作为函数返回值，多态场景必须通过指针/智能指针持有子类实例。

你需要在map中存储工厂函数，而不是类或者基类实例：每个工厂函数接收和子类构造函数一致的参数，返回指向MyObj基类的智能指针，查找时调用对应工厂函数即可得到实例，和你给出的Python逻辑完全等价。

完整可运行示例 #

#include <map>
#include <string>
#include <functional>
#include <memory>
#include <iostream>

// 抽象基类
class MyObj {
public:
    // 基类必须加虚析构函数，否则通过基类指针销毁子类对象会触发未定义行为
    virtual ~MyObj() = default;
    virtual void do_something() = 0;
};

// 示例子类1
class MyObj1 : public MyObj {
    int val;
public:
    MyObj1(int n) : val(n) {}
    void do_something() override {
        std::cout << "MyObj1, val = " << val << std::endl;
    }
};

// 示例子类2
class MyObj2 : public MyObj {
    int val;
public:
    MyObj2(int n) : val(n * 2) {}
    void do_something() override {
        std::cout << "MyObj2, val = " << val << std::endl;
    }
};

// 工厂类实现
class Factory {
public:
    // 子类注册逻辑，也可以放在构造函数中统一执行
    void register_class() {
        // 每个子类对应一个lambda工厂，传入构造参数后返回基类智能指针
        my_map["example1"] = [](int n) -> std::unique_ptr<MyObj> {
            return std::make_unique<MyObj1>(n);
        };
        my_map["example2"] = [](int n) -> std::unique_ptr<MyObj> {
            return std::make_unique<MyObj2>(n);
        };
    }

    std::unique_ptr<MyObj> create_obj(const std::string& key, int n) {
        // 可按需增加key不存在时的异常/空指针处理逻辑
        if (!my_map.contains(key)) {
            return nullptr;
        }
        return my_map[key](n);
    }

private:
    // map存储「入参为int、返回MyObj基类智能指针」的工厂函数
    std::map<std::string, std::function<std::unique_ptr<MyObj>(int)>> my_map;
};

int main() {
    Factory f;
    f.register_class();
    // 动态创建实例，和Python实现逻辑完全一致
    auto obj1 = f.create_obj("example1", 10);
    obj1->do_something(); // 输出 MyObj1, val = 10
    auto obj2 = f.create_obj("example2", 10);
    obj2->do_something(); // 输出 MyObj2, val = 20
    return 0;
}

可选优化 #

• 如果所有子类在编译期完全确定、不需要运行时动态注册，可以将std::function替换为普通函数指针std::unique_ptr<MyObj>(*)(int)，减少微小的运行时开销
• 如果后续需要支持不同参数签名的子类构造，可以将工厂函数改为可变参数模板实现，当前场景所有子类构造参数一致无需额外改造
• 子类数量较多时可以实现自注册逻辑，不需要在Factory中手动编写每个子类的注册代码，减少维护成本

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