C++两个互相依赖类声明友元成员函数前向声明报错如何解决

error: invalid use of incomplete type 'class LightBase'

这个报错的根本原因是：C++要求声明某个类的非静态成员函数为友元时，必须先看到该类的完整定义，仅前向声明类是不够的。你当前的代码里仅前向声明了LightBase，编译器还不知道LightBase类存在UpdateColor这个成员函数，所以无法完成友元声明。

下面给出两种常用的修复方案：

方案1：将整个LightBase类声明为友元（改动最小） #

不需要调整类的声明顺序，只需要把友元声明从单个成员函数改为整个类即可，适合接受LightBase所有成员都能访问Color私有成员的场景：

#include <vector>

class LightBase;

class Color
{
    // 改为声明整个类为友元
    friend class LightBase;
};

class LightBase
{
public:
    void UpdateColor();
protected:
    std::vector<Color> colors_;
};

方案2：调整声明顺序，保留单个成员函数的友元权限（权限更精准） #

如果需要严格控制友元权限，只让UpdateColor有权限访问Color的私有成员，可以调整类的声明顺序，步骤如下：

1. 前向声明Color类
2. 完整定义LightBase类，声明UpdateColor成员函数和Color类型的容器成员
3. 完整定义Color类，声明LightBase::UpdateColor为友元
4. 最后实现LightBase::UpdateColor等需要访问Color成员的函数

代码示例：

#include <vector>

// 第一步：前向声明Color
class Color;

// 第二步：完整定义LightBase类
class LightBase
{
public:
    void UpdateColor(); // 仅声明，不实现
protected:
    // C++17及以后标准支持容器持有仅前向声明的类型，C++17之前的标准可改为vector<Color*>等指针类型避免报错
    std::vector<Color> colors_;
};

// 第三步：定义Color类，声明单个成员函数为友元
class Color
{
    friend void LightBase::UpdateColor();
    // Color私有成员示例
private:
    int r = 0, g = 0, b = 0;
};

// 第四步：实现UpdateColor，此时Color已经是完整类型，可以正常访问其私有成员
void LightBase::UpdateColor() {
    for (auto& color : colors_) {
        color.r = 255;
    }
}

• 如果对权限控制要求不高，优先选方案1，代码改动最小，也不会增加后续维护的复杂度
• 如果需要严格限制友元的访问范围，选方案2，注意要把UpdateColor的实现放在Color类定义的后面，否则还是会报不完整类型的错误。

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