无法修改的第三方库中，如何用Visitor模式实现无向下转型调用派生类非虚方法？

核心结论 #

直接通过标准Visitor模式+双分派实现无需dynamic_cast调用派生类非虚方法是不可行的——因为这套逻辑的核心依赖就是基类提供的Accept虚方法，而第三方库没有这个方法，就缺失了触发双分派的关键环节。

为什么标准路径走不通？ #

C++里的双分派逻辑是靠两次虚函数调用实现的：

1. 第一次分派：通过基类指针/引用调用Accept虚函数，根据对象的实际类型（比如Duck或Dolphin）进入对应派生类的Accept实现。
2. 第二次分派：在派生类的Accept里，调用访问者的重载方法（比如visitor->VisitDuck(this)），此时this是明确的派生类类型，编译器能精准匹配到对应的重载函数。

没有Accept方法的话，第一步就无法触发——你没法让基类指针自动“识别”自己指向的实际派生类类型，自然没法把调用导向到对应派生类的专属逻辑上，双分派的链条直接断了。

有没有变通方案？ #

虽然标准Visitor模式用不了，但可以用模拟双分派的方式封装类型判断逻辑，不过本质还是绕不开dynamic_cast：

• 先写一个自定义的访问者类，针对每个需要处理的派生类提供重载的visit方法。
• 再写一个统一的分派函数，接收基类指针，依次用dynamic_cast尝试转换到各个派生类类型，转换成功就调用对应访问方法。

举个简单的代码例子：

// 不可修改的第三方库类
class Animal {};
class Duck : public Animal {
public:
    void make_nest() {} // 非虚方法
};
class Dolphin : public Animal {
public:
    void make_air_bubble() {} // 非虚方法
};

// 自定义访问者
class AnimalVisitor {
public:
    void visit(Duck* duck) { duck->make_nest(); }
    void visit(Dolphin* dolphin) { dolphin->make_air_bubble(); }
};

// 模拟双分派的入口函数
void dispatch_animal(Animal* animal, AnimalVisitor& visitor) {
    if (auto duck_ptr = dynamic_cast<Duck*>(animal)) {
        visitor.visit(duck_ptr);
    } else if (auto dolphin_ptr = dynamic_cast<Dolphin*>(animal)) {
        visitor.visit(dolphin_ptr);
    }
    // 新增派生类的话，在这里加对应的判断分支
}

这种方式只是把dynamic_cast的判断逻辑集中到了一处，避免业务代码里到处写类型转换，但和面试官说的“无需dynamic_cast”完全不符。

是否混淆了其他语言特性？ #

是的，面试官的说法大概率混淆了支持反射或原生多分派的语言特性：

• 像Java、C#这类语言有成熟的反射机制，可以直接获取对象的实际类型，然后通过反射调用对应方法，不需要依赖虚函数或Accept方法。
• 还有一些语言（比如Common Lisp）原生支持多分派，函数匹配会直接根据多个参数的实际类型来决定，不需要手动实现双分派的逻辑。

但C是静态强类型语言，没有原生反射（C20的std::type_info只能做类型判断，没法直接调用方法），也不支持多分派。双分派的实现必须依赖虚函数（也就是Visitor模式的Accept方法）来完成类型导向。面试官的说法忽略了C的静态类型特性，把其他语言的能力套用到了C上。

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