如何在C ++中定义自引用映射？

Question

我可以这样定义一个结构：

struct A{
    map<string,A> m;
};

我可以这样使用它：

A a;
a.m["abc"].m["def"];

但我想这样使用它：

a["abc"]["def"];

这需要a map<string,typeof(a)>

但我无法定义诸如map<string,map<string,...>>

这不需要无限的空间，但是我不知道如何在C ++中定义这样的东西。 我怎样才能做到这一点？

Answer 1

你不能。 对于C ++中的自引用数据结构，您需要使用指针。

即使是这样

struct A {
    map<string, A> m;
};

是不正确的，因为您正在使用类型A作为尚未完全定义的std::map的参数（此时它具有“不完整的类型”）。

它在大多数编译器中都能“运行”，但不是正式有效的C ++代码。

但是请注意，如果您所需要的只是链式operator[] ，那么在您的实现已经接受map<string, A>成员的情况下map<string, A>这很容易做到：

struct A {
    map<string, A> m;
    A& operator[](const string& key) {
        return m[key];
    }
}

在g ++和clang ++上编译的示例（但请记住，它不是有效的C ++）：

#include <map>
#include <string>
#include <stdio.h>

struct A {
    std::map<std::string, A> m;
    A& operator[](const std::string& x) { return m[x]; }
};

void dump(const A& a, int indent=0) {
    for (auto& i : a.m) {
        printf("%*s%s\n", indent, "", i.first.c_str());
        dump(i.second, indent+2);
    }
}

int main(int argc, const char *argv[]) {
    A a;
    a["1"]["1.1"];
    a["1"]["1.2"];
    a["1"]["1.3"];
    a["2"]["2.1"];
    a["2"]["2.2"];
    a["3"]["3.1"]["3.1.1"]["3.1.1.1"];
    a["4"];

    dump(a);

    return 0;
}