C++重载<<运算符报错：no match for 'operator<<'，是否需友元？

嗨，这个问题其实和函数可见性有关，而不是你以为的“必须访问私有成员才需要友元”——你的判断没错，这个operator<<确实没有用到Poly的私有成员，完全不需要友元权限，只是你没处理好函数的声明时机，导致编译器找不到它。

为什么没友元会报错？ #

当你在main里写cout << p2时，编译器需要找到一个匹配的operator<<函数。如果你的全局operator<<是在main函数之后定义的，或者没有在Poly类定义前提前声明，编译器在处理cout << p2这行代码时，根本不知道有这个重载函数存在，自然会报“no match for 'operator<<'”的错误。

而当你把它声明为友元时，友元声明会直接在Poly类的作用域里引入这个函数的声明——因为你肯定是先定义Poly类再写main，所以编译器在处理main时已经见过这个函数的声明了，就能成功匹配。

那必须声明为友元吗？当然不用！ #

有两种简单的方法可以解决这个问题，不需要友元：

方法1：提前声明函数和类

在Poly类定义之前，先做前向声明，让编译器提前知道有这个重载函数存在：

#include <iostream>

// 前向声明Poly类，告诉编译器这是一个类类型
class Poly;
// 声明全局的operator<<函数
std::ostream& operator<<(std::ostream& os, Poly& p);

// 然后定义你的Poly类
class Poly {
public:
    Poly(unsigned int n);
    Poly(Poly &obj);
    int& operator[] (int index);
    unsigned int degree();
    long eval(int x);
    Poly& operator= (Poly& p);
private:
    int *coeffs;
    unsigned int n;
};

// 最后实现operator<<函数
std::ostream& operator<<(std::ostream& os, Poly& p) {
    for (int i = 0; i < p.degree()+1; i++){
        if (i != 0) os << " + " << p[i] << "x^" << i;
        else os << p[i];
    }
    os << std::endl;
    return os;
}

方法2：在Poly类的public区域声明函数

直接在Poly类的public部分声明这个全局重载函数，这样编译器在处理类定义时就能看到函数声明：

#include <iostream>

class Poly {
public:
    Poly(unsigned int n);
    Poly(Poly &obj);
    int& operator[] (int index);
    unsigned int degree();
    long eval(int x);
    Poly& operator= (Poly& p);

    // 声明全局的operator<<函数
    std::ostream& operator<<(std::ostream& os, Poly& p);
private:
    int *coeffs;
    unsigned int n;
};

// 全局实现函数
std::ostream& operator<<(std::ostream& os, Poly& p) {
    // 你的实现代码
}

额外的优化建议 #

为了让你的operator<<更健壮，建议做两个小修改：

1. 把operator<<的第二个参数改成const Poly& p——输出操作不应该修改Poly对象，这样const的Poly实例也能被输出。
2. 把degree()成员函数改成const成员函数（因为它只是返回度数，不修改对象状态），同时给operator[]加一个const版本，这样const对象也能使用[]访问系数：

class Poly {
public:
    // ... 其他成员 ...
    int& operator[] (int index);
    const int& operator[] (int index) const; // const版本的[]重载
    unsigned int degree() const; // 改成const成员函数
    // ...
};

// 修改后的operator<<
std::ostream& operator<<(std::ostream& os, const Poly& p) {
    for (int i = 0; i < p.degree()+1; i++){
        if (i != 0) os << " + " << p[i] << "x^" << i;
        else os << p[i];
    }
    os << std::endl;
    return os;
}

这样你的代码不仅解决了报错问题，还更符合C++的const正确性规范～

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