Gelecek bildirilen bir türe (C++) başvuru döndürme

Question

Bir şeye referans getiren bir sınıf yöntemim var. Bu yöntemi kullandığımda, yalnızca bir şeyin ileri bir bildirimi varsa, yalnızca yöntemin çıktısını atarsam derleyebilirim.

ClassA.h:

//Forward declare 
class ClassB; 

class ClassA 
{ 
public: 
    ClassA(void); 
    ~ClassA(void); 

    ClassB& Func(); 
}; 

ClassA.cpp:

#include "ClassA.h" 

#include "ClassB.h" 

ClassA::ClassA(void) 
{} 

ClassA::~ClassA(void) 
{} 

static ClassB c; 

ClassB& ClassA::Func() 
{ 
    return c; 
} 

Gerçekten İşte

basitleştirilmiş örnek ... neden anlamıyorum ClassB.h:

Ben (sadece ClassB bir ileri beyanı yerken) dönüş değeri atamadan ClassA::Func ararsanız Şimdi

#pragma once 
class ClassB 
{ 
public: 
    ClassB(void) {}; 
    ~ClassB(void) {}; 
}; 

, bu derleme olmaz:

main.cpp:

#include "ClassA.h" 

int main(void) 
{ 
    ClassA a; 

    a.Func(); //error C2027: use of undefined type 'ClassB' 

    return 0; 
} 

Bunun yerine bu satırı kullanırsam, şu işe yarar: ClassB& b = a.Func();

Burada neler oluyor? Derleyicinin neden ClassB boyutunu bilmesi veya geri dönüş değeri herhangi bir yere atanmadığında yöntemleri nedir?

Bunu VisualStudio 2010 SP1 ile derliyorum.

Answer 1

, derleyici bir "sınırlama" gibi the MSDN page for C2027 says görünüyor:

ilan ancak tanımlanmamış tip bir işaretçi bildirmek mümkündür. Ancak Visual C++, tanımlanmamış bir türe bir başvuruya izin vermiyor.

Aşağıdaki örnek C2027'yi üretir. İkinci, öyle değil (yani daha fazla belge olmadan, yok neden emin değilim, bir C2027 yaratması gerekmektedir yüzden örneklerinden ikisi

class A; 
A& CreateA(); 

class B; 
B* CreateB(); 

int main() { 
    CreateA(); // C2027 
    CreateB(); // OK 
} 

:

Ve

bu örnek verir bir hata)