如何解决C++中循环嵌套类定义的编译问题

你的代码编译失败的核心原因是：C++不支持前置声明嵌套结构体（比如struct CCC::DDD这种写法是非法的）。当定义AAA时，CCC只是一个前置声明的不完整类型，编译器无法知道它内部有DDD这个嵌套结构体；同理，定义CCC时AAA的BBB也还没被完整定义。

下面提供两种可行的解决方法：

方法一：拆分嵌套结构体到外层 #

把原本嵌套的BBB和DDD移到全局（或命名空间）作用域，再在原结构体里用类型别名关联，这样可以直接前置声明这些类型：

// 前置声明外层的BBB和DDD
struct BBB;
struct DDD;

struct AAA
{
    // 用别名关联外层BBB
    using BBB = ::BBB;
    // 此时DDD已经被前置声明，可以用作指针类型
    DDD* Return()
    {
        return nullptr;
    }
};

struct CCC
{
    using DDD = ::DDD;
    BBB* Return()
    {
        return nullptr;
    }
};

// 最后补全BBB和DDD的定义
struct BBB {};
struct DDD {};

方法二：拆分成员函数的声明与定义 #

保持嵌套结构体的结构，但把互相依赖的成员函数的定义移到对方结构体完整定义之后：

// 前置声明两个外层结构体
struct AAA;
struct CCC;

// 先定义AAA和它的嵌套BBB，只声明Return函数
struct AAA
{
    struct BBB
    {
    };
    // 仅声明，不定义
    CCC::DDD* Return();
};

// 现在可以定义CCC和它的嵌套DDD，此时AAA::BBB已经是完整类型
struct CCC
{
    struct DDD
    {
    };
    // 这里可以直接定义Return，因为AAA::BBB已完整
    AAA::BBB* Return()
    {
        return nullptr;
    }
};

// 现在CCC::DDD是完整类型，补全AAA的Return定义
CCC::DDD* AAA::Return()
{
    return nullptr;
}

为什么你之前的尝试无效？因为C++规定，要前置声明嵌套类型（比如AAA::BBB），必须先完整定义外层的AAA结构体，而你在前置声明阶段AAA还只是不完整类型，所以struct AAA::BBB这种写法编译器根本不认可。

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