テンプレートクラスの循環依存性

Question

タイプの循環参照に問題があります。以下のimplmentationため：

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

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

要件は、EnclosingTypeのメソッドを呼び出すことができるようにOtherTypeがEnclosingTypeのオブジェクトへの参照を取り、EnclosingTypeはOtherTypeのメソッドを呼び出すことができることです。主な目的は、実装者が独自のOtherType派生型を提供できるようにすることです。

この種の循環依存性が存在するケースを処理する最良の方法は何ですか？ OtherTypeの適切な宣言は何ですか？ OtherType :: EnclosingTypeの適切な宣言は何ですか？ Enclosing :: OtherType :: type_の正しい宣言は何ですか？私ができることは可能ですか？

ありがとうございました。

Answer 1

私はあなたがEnclosingType<OtherType>への参照を含むようにOtherTypeを望んでいた仮定を作る場合は、次の操作を行うことができます。

// 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_; 
}; 

あなたがいるので、あなたがOtherTypeで（定義ではなく）EnclosingType宣言を使用することができますそれをポインタまたは参照を介して参照します。 EnclosingType<OtherType>の定義はOtherTypeの定義が必要です。なぜなら、それは値によってそれを含むからです。