模板類中的循環依賴項

Question

我遇到了類型的循環引用問題。對於以下的implmentation：

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

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

要求是OTHERTYPE採取EnclosingType的一個對象的引用，以便它可以調用EnclosingType方法和EnclosingType可以OTHERTYPE調用方法。主要目標是允許實施者提供他們自己的OtherType派生類型。

處理這種類型的循環依賴存在的情況下，最好的方法是什麼？什麼是OtherType的正確聲明？什麼是OtherType :: EnclosingType的正確聲明？ Enclosing :: OtherType :: type_的正確聲明是什麼？我甚至需要做甚麼？

謝謝。

Answer 1

如果我讓你想OtherType包含對EnclosingType<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的定義，因爲它包含它的值。