C++中类声明里虚函数返回对象类型时需引入其头文件吗？

结论很明确：必须引入Type_A和Type_B的完整头文件，不能仅用前向声明。

原因如下：

• 当虚函数直接返回Type_A或Type_B对象时，编译器需要获取该类型的完整定义。因为返回对象本身的操作，涉及到确定对象的内存大小、布局，以及返回过程中的拷贝/移动构造、析构逻辑，这些都必须依赖类型的完整信息，仅前向声明无法满足。
• 反过来，如果函数返回的是指针（比如Type_A*）或引用（比如const Type_A&），仅前向声明class Type_A;就足够——因为指针和引用的内存大小是固定的，编译器不需要知道类型的具体内部细节就能处理。

回到你给出的代码：
copied_ta()直接返回Type_A对象，这种场景下只做前向声明会触发编译错误。虽然set_copied_ta(const Type_A& ta)这类参数为引用的函数本身可以兼容前向声明，但由于同一个类中已经存在返回对象的函数，所以必须引入Type_A和Type_B的完整头文件才能让代码正常编译。

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