Kreisförmige Abhängigkeit in Vorlagenklassen

Question

Ich habe Probleme mit einer Zirkelreferenz von Typen. Für eine implmentation der folgenden:

// Parent.h 
template <typename OtherType> 
class EnclosingType 
{ 
public: 
    typename OtherType type_; 
}; 

class OtherType 
{ 
public: 
    EnclosingType & e_; 
    OtherType (EnclosingType & e) : e_(e) {} 
}; 

Die Anforderung ist, dass eine OTHER Referenz auf ein Objekt der EnclosingType nehmen, so dass es Methoden, die auf EnclosingType aufrufen kann, und EnclosingType können Methoden auf OTHER aufrufen. Das Hauptziel besteht darin, es den Implementierern zu ermöglichen, ihre eigenen von OtherType abgeleiteten Typen bereitzustellen.

Was ist der beste Weg, um den Fall zu behandeln, in dem diese Art der zirkulären Abhängigkeit existiert? Was ist die korrekte Erklärung von OtherType? Was ist die korrekte Deklaration von OtherType :: EnclosingType? Was ist die korrekte Deklaration von Enclosing :: OtherType :: type_? Ist das, was ich tun muss, überhaupt möglich?

Danke.

Answer 1

Wenn ich davon ausgehen, dass Sie OtherType einen Verweis auf EnclosingType<OtherType> enthalten wollten, können Sie wie folgt vorgehen:

// EnclosingType declaration 
template <typename T> 
class EnclosingType; 

// OtherType definition 
class OtherType 
{ 
public: 
    EnclosingType<OtherType> & e_; 
    OtherType (EnclosingType<OtherType> & e) : e_(e) {} 
}; 

// EnclosingType definition 
template <typename T> 
class EnclosingType 
{ 
public: 
    T type_; 
}; 

können Sie verwenden, um die EnclosingType Erklärung (im Gegensatz zu Definition gegen) in OtherType da Sie Referenzieren über einen Zeiger oder Verweis. EnclosingType<OtherType> 's Definition benötigt die Definition von OtherType, weil es nach Wert enthält.