规格模式是一种将业务规则封装为独立对象的设计模式,它通过类继承和组合实现规则的复用与逻辑判断。其核心实现包括:1. 定义基类specification并声明is_satisfied_by接口;2. 创建具体规则类如minorderamountspec实现判断逻辑;3. 构建andspecification、orspecification、notspecification支持规则组合;4. 重载&&、||、!运算符提升代码可读性;5. 应用时建议避免过度嵌套、使用智能指针管理内存、支持规则配置化以增强灵活性。

在业务系统中,规则组合和验证是常见的需求,比如订单审核、权限判断、风控校验等。C++作为一门静态类型语言,虽然不如动态语言灵活,但通过“规格模式(Specification Pattern)”,我们依然可以优雅地实现这类逻辑。

这个模式的核心在于将每条业务规则封装成独立的对象,并允许它们被组合、复用,最终形成一个复杂的判断条件。
什么是规格模式?
规格模式是一种行为设计模式,它把业务规则抽象为“规格”对象,每个规格负责判断某个对象是否满足特定条件。这种做法的好处是:
立即学习“C++免费学习笔记(深入)”;

- 规则之间解耦,便于维护和扩展
- 支持逻辑组合(与、或、非)
- 易于测试和复用
在C++中,可以通过类继承和运算符重载来实现规格的组合和判断。
如何在C++中实现基本规格结构?
我们可以先定义一个基类 Specification,其中包含一个纯虚函数 is_satisfied_by,用于判断某个对象是否符合当前规则。

class Specification {
public:
virtual bool is_satisfied_by(const Order& order) const = 0;
virtual ~Specification() = default;
};然后,我们可以基于这个基类派生出具体的规则类,比如检查订单金额是否大于一定数值:
class MinOrderAmountSpec : public Specification {
double min_amount_;
public:
MinOrderAmountSpec(double min) : min_amount_(min) {}
bool is_satisfied_by(const Order& order) const override {
return order.total_amount >= min_amount_;
}
};这样,每个规则都可以独立存在,也可以被组合使用。
如何实现规格的组合逻辑?
为了支持多个规则之间的组合判断,我们可以定义一些组合类,例如:
-
AndSpecification:两个规则都必须满足 -
OrSpecification:满足其中一个即可 -
NotSpecification:取反结果
下面是 AndSpecification 的实现示例:
class AndSpecification : public Specification {
const Specification& first_;
const Specification& second_;
public:
AndSpecification(const Specification& first, const Specification& second)
: first_(first), second_(second) {}
bool is_satisfied_by(const Order& order) const override {
return first_.is_satisfied_by(order) && second_.is_satisfied_by(order);
}
};类似的,你可以写出 OrSpecification 和 NotSpecification。
为了更方便地组合规则,还可以重载 &&、|| 和 ! 运算符,让代码看起来更自然:
AndSpecification operator&&(const Specification& other) const {
return AndSpecification(*this, other);
}这样你就可以像写布尔表达式一样组合规则了:
MinOrderAmountSpec high_order(1000);
ValidCustomerSpec loyal_customer;
auto spec = high_order && loyal_customer;
if (spec.is_satisfied_by(order)) {
// 符合条件
}实际应用中的几个建议
- 避免过度嵌套:组合太多规格会让逻辑变得复杂,建议保持组合层级不要太深。
-
提前返回优化性能:在
and操作中,如果第一个条件不满足,可以直接返回 false,无需执行后续判断。 -
使用智能指针管理生命周期:如果你希望在运行时动态构建组合逻辑,建议使用
shared_ptr来避免内存泄漏。 - 可序列化配置规则:可以将规则结构保存为 JSON 或其他格式,在运行时加载,实现动态规则引擎。
总结一下
规格模式不是银弹,但它确实能帮你把复杂的判断逻辑组织得更有条理。尤其在需要频繁修改或扩展规则的情况下,它比一堆 if-else 更清晰、更容易维护。
基本上就这些。如果你的项目中有大量条件判断逻辑,不妨试试这个模式。










