C++ 基类指针集合存储派生类时如何调用派生类重载运算符

问题原因 #

你当前的实现中，operator<<是全局友元函数，不具备多态能力，调用时为静态绑定：编译器根据*arr[0]的静态类型A&匹配到基类的重载版本，不会动态匹配派生类的实现。

优雅解决方案 #

我们可以把打印逻辑封装为基类的虚成员函数，再让基类的operator<<统一调用这个虚接口，利用类的多态特性自动匹配派生类的打印实现：

修改后的classes.h代码

#include <iostream>
        
class A
{
    friend std::ostream& operator<<(std::ostream& os,const A& a){
        // 统一调用虚打印接口，触发多态
        a.print(os);
        return os;
    }
protected:
    // 基类定义虚打印接口，提供默认实现
    virtual void print(std::ostream& os) const {
        os << "I am a A!";
    }
    // 多态场景下基类必须提供虚析构，避免释放对象时内存泄漏
    virtual ~A() = default;
};
        
class B : public A{
protected:
    // 派生类仅需重写打印逻辑，无需重复实现operator<<
    void print(std::ostream& os) const override {
        os << "I am a B!";
    }
};
        
class C: public  A{
protected:
    void print(std::ostream& os) const override {
        os << "I am a C!";
    }
};

调用逻辑无需修改

你原有的main.cpp代码不需要做任何改动，重新编译运行后就会输出预期结果：

I am a B!
I am a C!

方案优势 #

1. 符合C++多态的标准实现范式，没有额外依赖和奇技淫巧，可读性和可维护性高
2. 后续新增派生类仅需重写print接口即可，不需要重复实现operator<<
3. 对上层调用逻辑无侵入，存储A*的集合不需要做任何调整

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