C++模板化地图包含自身

Question

我有一个模板化类，可以将地图类型作为模板参数。

template<typename map_t> class my_class
{
    map_t my_map;
};

现在我希望地图的值类型等于此类。

my_class<std::map<std::string, my_class<...> > > problems;

然而，这是不可能宣布的。我怎样才能达到同样的效果？

Answer 1

由于您希望在容器类型中通用，因此我能够找到的最接近的（如果我很好地理解您的意图）是：

template <template <typename, typename> class Map>
struct my_class
{
    typedef typename Map<std::string, my_class>::type map_t;
    map_t children;
};

// Since the standard doesn't allow default arguments to be
// taken into account for template template parameters, we
// have to close them.
// Write one such structure for each map type you want.
struct std_map
{ 
    template <typename Key, typename Value>
    struct rebind { typedef std::map<Key, Value> type; }
};

并使用

my_class<std_map::rebind> problematic_tree;

Answer 2

您尝试过吗？

template<typename T> class my_class
{

    std::map< std::string , my_class> my_map;
};

如果您不将映射作为模板参数传递，而是将映射键、值和比较运算符作为模板参数传递，可能会更好

Answer 3

你不能这样做，因为它是无限递归的。您可以使用固定深度，或者必须通过继承、变体或类似的方式动态确定其中的值。

Answer 4

你不能那样做。
您可以做的最近的事情是奇怪的重复模板模式。

Answer 5

看起来你应该能够转发声明 my_class 并使用指向它的指针作为你的 mapped_type （在 C++ 中 value_type 意味着一个对包括映射的键和值）。

Answer 6

正如其他人指出的那样，您无法创建无限递归的类定义，但您当然可以嵌套 my_class 有限次数。这是一个工作示例：

#include <map>
#include <string>
#include <iostream>

template<typename map_t> struct my_class {
    map_t my_map;
};

my_class<std::map<std::string, my_class<std::map<std::string, int> > > > problems;

int main() {
    std::cout << problems.my_map.size();
    return 0;
}

Answer 7

该类实际上不能包含自身作为成员（想想需要多少内存来包含它），但它可以包含一个指针指向自身。您可以使用引用的模式 J-16 SDiZ 或一些诱饵和开关来实现此目的：

template<typename map_t> class my_class
{
  map_t * my_map;
};

class dummy;
template<>
class my_class<dummy>
{
  my_class<dummy> * my_map;
};