模板类中的循环依赖

Question

我在循环引用类型时遇到问题。对于以下内容的实现：

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

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

要求是OtherType 引用EnclosureType 的一个对象，这样它就可以调用EnclosureType 上的方法，而EnclosureType 可以调用OtherType 上的方法。主要目标是允许实现者提供他们自己的 OtherType 派生类型。

处理存在这种循环依赖的情况的最佳方法是什么？ OtherType 的正确声明是什么？ OtherType::EnclosureType 的正确声明是什么？ Enclosure::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的定义，因为它是按值包含的。