C++前向声明类作为成员函数参数报错，求修复方案及原因

我在类A前对class B;进行了前向声明，但代码中该声明并未生效——明明前向声明的不完整类型可用于函数参数，可A::func()却抛出“undefined type B”错误。请问该如何修复此问题，以及为何当前前向声明无效？

代码示例 #

#include <iostream>
using namespace std;

class B;

class A
{
public:
    A()
    {
        cout << "in A's default ctor" << endl;
    }

    void func(B b1)
    {
        cout << "in A's func" << endl;
    }
private:
    int x;
};

class B
{
public:
    B()
    {
        cout << "in B's default ctor" << endl;
    }

    B(const B& b1)
    {
        cout << "in B's copy ctor" << endl;
    }

    B& operator=(const B& b1)
    {
        cout << "in B's copy assignment operator" << endl;
        return *this;
    }
    
};

int main()
{
    A a;
    B b;

    a.func(b);
}

为什么前向声明无效？ #

前向声明的B属于不完整类型，编译器只知道它是一个类，但不知道它的大小、成员、拷贝构造逻辑等核心细节。而你的func参数用的是值传递（B b1），值传递需要编译器创建B的副本，这就必须依赖B的完整定义——否则无法确定对象大小、生成拷贝代码，因此编译器会报错。

你提到的“不完整类型可用于函数参数”，特指指针或引用传递的场景（比如B* b1或const B& b1），这类传递不需要知晓对象的完整细节，只要确认类型存在即可。

修复方法 #

有两种可行的修复方式：

方式1：改用引用传递参数 #

把func的参数改成引用类型，编译器无需知道B的完整定义，前向声明就能正常生效：

// 在A类中修改func的声明和实现
void func(const B& b1)
{
    cout << "in A's func" << endl;
}

方式2：分离函数声明与实现 #

只在A类中声明func，把实现放到B的完整定义之后，这样编译器处理func实现时，B已经是完整类型了：

// 类A中仅声明func
class A
{
public:
    A()
    {
        cout << "in A's default ctor" << endl;
    }

    void func(B b1); // 仅保留声明
private:
    int x;
};

// 类B的完整定义...

// 在B定义完成后实现A::func
void A::func(B b1)
{
    cout << "in A's func" << endl;
}

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