C ++模板递归-如何解决？

Question

我再次陷入模板。

例如，我要实现guicell-系统。 每个guicell可以包含多个子guicell。 到目前为止，树状结构。 在std-c ++中，我会考虑。 喜欢：

template <typename T>
class tree
{
public:

    void add (T *o)     { _m_children.push_back (o); }
    void remove (T *o)  { ... };

    list<T*> _m_children;
};

class _cell : public tree<_cell>
{
public:
    _cell ()            { x = 0; y =0; }
    long                x,y;
};

但是现在我想走得更远，如果编码人员愿意的话，使这些单元可引用。 因此，我基本上为此实现了refTree-类，该类也仅将指针（_cell *）作为输入。

template <typename T>
class refTree
{
public:
   void add (T *o)      { _ref<T> r = o;  _m_children.push_back (r);  }
   void remove (T *o)       { ... }

   list<_ref<T> > _m_children;
};

此外，这仍然可以正常工作。 使用

class _cell : public refTree<_cell>
{
   :
};

无需更改用户代码，但现在将引用所有添加的_cell *，然后再将其添加到树中。

很好，但是现在我希望能够在_cell级别上选择要使用的树模板实现。 因此，这意味着我必须使_cell-类成为一个模板类，该模板类将模板类作为参数（所选的树模板）。

template <template <typename> class __TyTree = tree>
class Cell : public __TyTree <Cell>     // cannot work - no question, Cell expects input
{
};

这就是递归问题-当然，编译器无法解决该问题，因为Cell正在等待一棵树-参数期望一个简单类型的参数（应该是Cell ofc。正在等待一棵树-参数正在期望一个简单的.... ）。

您明白了吗-解决此类问题的正确解决方案是什么？

Answer 1

没有递归。 Cell模板参数是__TyTree ，而不是__TyTree<Cell> 。

template <template <typename> class __TyTree = tree>
class Cell : public __TyTree <Cell<__TyTree> >
{
};

int main()
{
   Cell          mycell0; // error
   Cell<>        mycell1; // ok. tree is used
   Cell<tree>    mycell2;
   Cell<refTree> mycell3;
}

PS不应在__TyTree使用两个前导下划线，因为它是C ++ Standard保留用于实现的目的。

Answer 2

您有两个独立的问题：单元中的内容以及单元之间的连接方式。 为此，您需要使用两个单独的数据结构。 换句话说，断开连接的正确链接是从树继承单元格。 您节省的微小内存是不值得的-放弃“侵入式”方法。 单元不应该知道树的固定方式。