如何确保派生类实现std::ostream的友元重载operator<<？

因为operator<<是全局函数，不属于类成员，没法直接声明为虚函数，要让派生类能自定义输出逻辑，通常用虚成员函数+全局运算符的组合方案，以下是具体实现：

核心方案：纯虚成员函数+非友元全局运算符 #

这种方式既满足你“非友元”的倾向，又能强制派生类实现自定义输出：

1. 基类定义纯虚输出函数

class Base {
public:
    virtual ~Base() = default; // 必须定义虚析构，保证多态销毁
    // 纯虚函数，强制所有派生类实现自己的输出逻辑
    virtual void print(std::ostream& os) const = 0;
};

2. 全局非友元的operator<<

std::ostream& operator<<(std::ostream& os, const Base& obj) {
    obj.print(os); // 调用虚函数，触发多态
    return os;
}

3. 派生类重写print函数

class Derived : public Base {
private:
    int value = 100;
public:
    void print(std::ostream& os) const override {
        os << "Derived类数据：" << value;
    }
};

使用时，无论是直接输出派生类对象，还是通过基类指针/引用输出，都会自动调用派生类的print函数，实现多态输出。

备选方案：友元运算符配合虚成员函数 #

如果一定要保留友元形式的operator<<，可以让友元运算符委托给虚成员函数，同样能实现派生类重写：

1. 基类声明友元运算符+虚print函数

class Base {
public:
    virtual ~Base() = default;
    virtual void print(std::ostream& os) const = 0;
    
    // 友元运算符，内部调用虚print
    friend std::ostream& operator<<(std::ostream& os, const Base& obj) {
        obj.print(os);
        return os;
    }
};

2. 派生类只需重写print函数

class Derived : public Base {
private:
    std::string info = "自定义内容";
public:
    void print(std::ostream& os) const override {
        os << "Derived类信息：" << info;
    }
};

这里不需要给派生类再声明友元operator<<，基类的友元运算符已经能通过多态调用派生类的print函数。

关键说明 #

C++不支持友元函数的虚机制，只有类的成员函数才能被声明为虚函数。所以无论用哪种方案，核心都是把输出逻辑放到虚成员函数里，再通过全局运算符（友元或非友元）来调用它，以此实现派生类的自定义输出。

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