C++怎么实现工厂模式_C++设计模式教程【创建】

1次阅读

最稳妥的选择是直接返回 std::unique_ptr。裸指针易泄漏,引用无法表示失败,值返回可能低效;注册表优于硬编码 if-else;基类必须有虚析构函数;模板工厂适用于编译期确定类型场景。

C++怎么实现工厂模式_C++设计模式教程【创建】

工厂函数返回指针还是引用?

直接返回 std::unique_ptr 是最稳妥的选择。裸指针(new 后的 T*)容易忘记释放,引用无法表示“创建失败”(比如参数非法时没法返回空引用),而值返回又可能触发不必要的拷贝(尤其对大对象)。

常见错误是写成 Base* create(const std::String& type),结果调用方得手动 delete,一漏就内存泄漏;或者返回局部对象引用,直接导致悬垂引用。

  • 优先用 std::unique_ptr<base>:所有权明确,自动析构,支持多态
  • 如果需要共享所有权,改用 std::shared_ptr<base>,但要确认是否真需要共享
  • 不要返回 Base&Base值类型)——前者危险,后者低效且切片

注册表方式 vs if-else 判断 type 字符串

硬写一长串 if (type == "A") { return std::make_unique<a>(); }</a> 看似简单,但每次新增类型都要改工厂类,违反开闭原则,也难测试。

注册表本质是把“类型名 → 构造逻辑”映射抽出来,运行时注册,解耦更干净。但要注意线程安全和初始化顺序。

立即学习C++免费学习笔记(深入)”;

  • std::unordered_map<:string std::function>()>></:string> 存注册表
  • 注册必须在首次使用前完成(比如在 main() 开头或静态初始化中),否则查不到
  • 多线程环境下,注册操作需加锁(如 std::mutex),但查询可无锁
  • 若只在单线程启动期注册,可省锁,但别在构造函数里隐式注册——容易引发静态初始化顺序问题

基类必须有虚析构函数

这是工厂模式落地时最容易被忽略的致命点。如果 Base 的析构函数不是 virtual,哪怕你用 std::unique_ptr<base> 持有派生类对象,删除时也只会调用 Base::~Base(),派生类的资源(如文件句柄、内存)根本不会释放。

错误现象:程序不崩溃,但反复创建销毁后内存缓慢上涨,或资源耗尽。

  • class Base { public: virtual ~Base() = default; }; —— 必须这么写
  • 即使 Base 没有其他虚函数,析构也得是虚的
  • 编译器不会警告这个错误,运行时才出问题,调试成本高

模板工厂能替代运行时工厂吗?

可以,但适用场景不同。模板工厂(如 template<typename t> std::unique_ptr<t> create()</t></typename>)在编译期决定类型,零运行时开销,适合类型已知、无需配置驱动的场景;而传统工厂靠字符串或枚举选型,支持插件化、配置化、热加载。

误用模板工厂去模拟运行时行为(比如用 if constexpr 匹配一堆字符串字面量),会导致编译膨胀、无法动态扩展。

  • 配置文件指定类型名?→ 用运行时工厂
  • 模板参数由用户传入(如 create<deriveda>()</deriveda>)?→ 用模板工厂
  • 混合用法:模板工厂做底层构建,运行时工厂做路由分发(比如先查表得到类型 ID,再调对应模板函数)
  • 注意:模板工厂无法处理“同一接口下多个实现需共存”的情况(比如同时存在 AImplBImpl,且运行时才决定用哪个)

工厂模式本身不复杂,难点全在边界上:析构函数是不是虚的、所有权交出去了没、注册时机对不对、类型擦除有没有漏掉清理路径。这些地方一松懈,问题往往延迟暴露,查起来费半天劲。

text=ZqhQzanResources