C ++中的递归容器？ [复制]

Question

可能重复：
Are C++ recursive type definitions possible, in particular can I put a vector<T> within the definition of T ?

我最近在看一些代码，发现一个类似于以下的数据结构：

class TreeNode {
    std::vector<TreeNode> subNodes;
};

如您所见，在定义 TreeNode 之前，使用 TreeNode 实例化容器。该代码在 GCC 和 MSVC 下编译，但我记得看到有人说这不是保证行为。不幸的是，我在讨论这个问题的标准中根本找不到任何东西。

如何实现这样的容器？标准是否保证了这种行为？如果标准不能保证这一点，我有什么替代方案可以替代这个设计？

Answer 1

这很好，因为std::vector<T> 类中不包含T 类型的任何具体实例：它通常使用指针实现。模板实例化std::vector<TreeNode> 不需要TreeNode 的完整定义。

std::vector<T> 通常实现为指针的三元组（尽管这不是标准要求的）：

template <typename T>
class vector
{
  ...
  T* start;
  T* end;
  T* end_of_storage;
};

如果std::vector<T> 确实 包含T 的具体实例，那么您将遇到问题。以下不是合法的 C++，因为它创建了一个循环“具有”定义：

template <typename T>
class container
{
  T x;
};

class TreeNode
{
  container<TreeNode> subNodes;
};