避免向下转型与双分派：如何优化C++中用dynamic_cast的校验逻辑？

下面给3种改造成本从低到高、适配不同场景的实现方案，都可以避免在业务代码中手动写向下转型逻辑：

方案1：CRTP公共基类封装转型（改造成本最低，完全兼容现有测试） #

你目前的依赖注入本身就保证了IQueryFactory和IValidateResponse是配对的，所以dynamic_cast的失败风险本来就不存在，只需要把重复的转型逻辑抽到公共层隐藏即可，完全不需要修改业务校验逻辑和现有测试：
首先定义一个模板中间基类：

template <typename ConcreteQuery>
class ValidatorBase : public IValidateResponse {
public:
    // 把基类的validate方法设为final，禁止子类重写，统一处理转型
    bool validate(IQuery& query, int a, int b, int c) final override {
        auto& concreteQuery = dynamic_cast<ConcreteQuery&>(query);
        return validateConcrete(concreteQuery, a, b, c);
    }
protected:
    // 子类只需要实现针对具体Query类型的校验方法
    virtual bool validateConcrete(ConcreteQuery& query, int a, int b, int c) = 0;
};

然后你的具体校验类改写成继承这个模板基类即可：

class QueryAValidator : public ValidatorBase<QueryA> {
protected:
    bool validateConcrete(QueryA& query, int a, int b, int c) override {
        // 这里直接用QueryA类型的query，不需要再转型
        // 原有校验逻辑完全不用改
    }
};

这个方案的优势：

• 改造成本极低，只需要调整校验类的继承结构，原有业务逻辑一行不用改
• 测试逻辑完全兼容，你还是可以直接构造QueryA实例+伪造的a/b/c参数，调用validateConcrete方法测试，和之前的测试流程没有任何区别
• 所有转型逻辑收拢在公共基类，避免每个子类重复写dynamic_cast

方案2：优化的访问者模式（适合后续要扩展多种Query操作的场景） #

你觉得accept带多个参数怪异的问题很好解决，只需要把a/b/c封装成一个独立的上下文结构体即可：

// 先定义校验上下文
struct ValidateContext {
    int a;
    int b;
    int c;
};

// IQuery的accept方法只需要两个参数，语义清晰
class IQuery {
public:
    virtual void accept(IQueryVisitor& visitor, const ValidateContext& ctx) = 0;
};

如果担心访问者模式影响测试，你可以把校验逻辑和访问者的转发逻辑拆分，具体的校验方法还是保持原来的签名，测试的时候直接调用校验方法即可，不需要走访问者流程：

class QueryAValidator : public IQueryVisitor {
public:
    // 访问者的转发逻辑，测试时不需要调用
    void visit(QueryA& query, const ValidateContext& ctx) override {
        validate(query, ctx.a, ctx.b, ctx.c);
    }
    // 原有校验方法保持公开，测试直接调用即可
    bool validate(QueryA& query, int a, int b, int c) {
        // 原有校验逻辑
    }
};

方案3：std::variant实现（适合Query类型固定的场景，C++17及以上可用） #

如果你的Query类型是有限的、不会频繁新增的，可以放弃继承体系改用variant实现，完全消除虚函数和转型：

// 定义所有Query类型的变体
using QueryVariant = std::variant<QueryA, QueryB, QueryC>;

// 校验逻辑直接用std::visit处理
bool validate(QueryVariant& query, int a, int b, int c) {
    return std::visit([&](auto&& concreteQuery) {
        // 自动匹配对应类型的校验逻辑，没有任何转型
        return validateConcrete(concreteQuery, a, b, c);
    }, query);
}

这个方案的优势是运行期开销最小，没有虚函数调用，也没有dynamic_cast的检查开销，测试也非常方便。

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