嵌套名称说明符中指定的不完整类型

Question

我正在编译以下代码:

class B;

class A {
    A();
    friend A B::newAObject();
};

class B {
    friend A::A();
public:
    A newAObject();
};

这可能看起来很奇怪,但想法是有一个类A只能由类型的对象B(谁可能是单例)生成.

问题是我在这些对象之间创建了一个循环依赖.A必须在之前定义B,并且B必须在之前定义A.显然前向声明B不够好,B实际上必须在之前完全定义A(反之亦然).

我该如何解决这个问题？

编辑:实际错误是:在嵌套名称说明符中命名的不完整类型"B".

注意:这里有另一篇与此类似的帖子:错误:嵌套名称说明符中使用的类型不完整,但是它非常模板化,这让我感到困惑,因此这篇文章.

Answer 1

C++ 2003指出,当访问类的内容时,应该完全定义该类.前瞻声明是不够的.这意味着不允许像你这样的循环依赖.

ps如果这就是你所需要的,那么将整个班级宣布为朋友应该有效.

顺便说一下,friend规范为类生成前向声明,请看下面的代码:

void    F10(C1 &p1); 

class C2 
{ 
    friend class C1; 
}; 

void    F11(C1 **p1);

编译器将给出语法错误,F10因为C1未定义,但F11由于友情规范将编译正常.这可能听起来很奇怪,但这是在标准中定义的,编译器遵循这一点.