Циклическая зависимость в классах шаблонов

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

Вы можете использовать EnclosingType декларацию (в отличие от определения) в OtherType, так как вы ссылаясь на него с помощью указателя или ссылки. Определение EnclosingType<OtherType> требует определения OtherType, потому что оно включает его по значению.