C++工厂模式最佳实践是用静态工厂函数+智能指针解耦创建逻辑，优先返回unique_ptr/shared_ptr，基类析构函数必须为虚函数，注册新类型无需修改主逻辑，避免复杂初始化和单例化。
在 C++ 中实现工厂模式，核心是把对象的创建逻辑从使用方解耦出来，由专门的“工厂”负责构造。最佳实践不是追求最炫的语法，而是让代码可读、可扩展、易测试、不泄漏资源。
用静态工厂函数 + 智能指针管理生命周期
避免裸指针和 new/delete 手动管理。优先返回 std::unique_ptr（独占所有权）或 std::shared_ptr（共享所有权），由工厂内部决定内存归属。
例如，定义一个基类接口和几个派生类：
class Shape {
public:
virtual ~Shape() = default;
virtual void draw() const = 0;
};
class Circle : public Shape {
public:
void draw() const override { std::cout << "Drawing a circle\n"; }
};
class Rectangle : public Shape {
public:
void draw() const override { std::cout << "Drawing a rectangle\n"; }
};
工厂类用静态方法封装创建逻辑：
立即学习“C++免费学习笔记（深入）”；
class ShapeFactory {
public:
enum class Type { Circle, Rectangle };
static std::unique_ptr<Shape> create(Type t) {
switch (t) {
case Type::Circle: return std::make_unique<Circle>();
case Type::Rectangle: return std::make_unique<Rectangle>();
default: throw std::invalid_argument("Unknown shape type");
}
}
};
- 返回
std::unique_ptr表明调用方获得唯一所有权，语义清晰 - 用
enum class替代字符串或整数，避免拼写错误和隐式转换 - 异常明确，不靠返回空指针掩盖错误
支持运行时类型选择：用字符串映射 + 工厂注册表
当类型需从配置文件、用户输入等动态加载时，静态 switch 不够灵活。可构建注册式工厂（Registry-based Factory）：
class ShapeFactory {
private:
using CreatorFn = std::unique_ptr<Shape>(*)();
static std::unordered_map<std::string, CreatorFn> registry;
public:
template<typename T>
static void registerType(const std::string& name) {
registry[name] = []() -> std::unique_ptr<Shape> {
return std::make_unique<T>();
};
}
static std::unique_ptr<Shape> create(const std::string& name) {
auto it = registry.find(name);
if (it == registry.end())
throw std::runtime_error("Unknown shape: " + name);
return it->second();
}
};
// 全局注册（通常放在各自 .cpp 文件中）
std::unordered_map<std::string, ShapeFactory::CreatorFn>
ShapeFactory::registry;
// 在某处注册（如 main() 前或模块初始化中）
static const auto _ = []{
ShapeFactory::registerType<Circle>("circle");
ShapeFactory::registerType<Rectangle>("rectangle");
}();
- 类型注册与使用分离，新增派生类只需加一行注册，无需修改工厂主逻辑
- 利用 lambda 捕获类型信息，避免宏或重复模板实例化
- 注册时机建议放在静态初始化或显式 init 函数中，避免静态对象初始化顺序问题
避免常见陷阱
- 不要在工厂里做复杂初始化：工厂只负责构造对象，不负责设置业务状态。复杂配置应通过构造函数参数或 Builder 模式传递
- 基类析构函数必须是虚函数：否则通过基类指针 delete 会未定义行为
- 避免工厂自身成为单例：除非真有全局唯一需求，否则直接调用静态方法更轻量、更易单元测试
- 考虑是否真的需要工厂：如果只有两三个固定类型且不常增删，直接用构造函数或命名构造函数（Named Constructor Idiom）更简单
进阶：结合策略模式或依赖注入
工厂本身也可被抽象——定义 ShapeFactoryInterface，允许不同环境（如测试/生产）注入不同实现。例如测试时返回 mock 对象，生产时返回真实对象。这使系统更松耦合，也便于模拟和验证。
此时工厂不再是一个类，而是一组可替换的策略，配合依赖注入容器（如 manual DI 或第三方库）使用，但对多数项目，上面的静态工厂已足够稳健。
