如何在C++中基于运行时多态对象类型实现条件操作？

针对你提出的需求，C++中有几种常见的实现方式，以下逐一说明：

方法1：使用dynamic_cast #

由于基类Base包含虚函数（析构函数是虚函数），可以利用dynamic_cast进行安全的向下类型转换。如果转换成功，说明当前对象是Foo类型；转换失败则返回nullptr。

修改main中的循环部分如下：

for (auto& ptr : v)
{
    if (Foo* foo_ptr = dynamic_cast<Foo*>(ptr))
    {
        s.push(foo_ptr);
    }
    // Bar类型的对象会进入else分支（这里不需要操作）
}

方法2：使用typeid #

通过<typeinfo>头文件提供的typeid运算符，可以直接比较对象的运行时类型。注意需要先确保指针不为空，否则typeid(*ptr)会抛出std::bad_typeid异常。

示例代码：

#include <typeinfo> // 必须包含此头文件

// ...

for (auto& ptr : v)
{
    if (ptr != nullptr && typeid(*ptr) == typeid(Foo))
    {
        s.push(ptr);
    }
}

方法3：面向对象的多态设计（推荐） #

上面两种方法都属于显式的类型检查，可能违反面向对象的开闭原则。更优雅的方式是在基类中定义一个虚函数，让子类自行决定是否需要执行该操作：

class Base {
public:
    virtual ~Base(){}
    virtual bool shouldPushToStack() const { return false; } // 默认返回false
};

class Foo : public Base {
public:
    virtual ~Foo(){}
    bool shouldPushToStack() const override { return true; } // Foo类型返回true
}; 

class Bar : public Base {
public:
    virtual ~Bar(){}
    // 继承基类的默认实现，返回false
};

// main中的循环简化为：
for (auto& ptr : v)
{
    if (ptr != nullptr && ptr->shouldPushToStack())
    {
        s.push(ptr);
    }
}

这种方式避免了直接的类型判断，代码扩展性更强——后续新增子类时，只需重写shouldPushToStack函数即可，无需修改循环逻辑。

内容的提问来源于stack exchange，提问作者Emile Papillon-Corbeil