Pointers 包含级联映射的结构的空括号初始化

我有以下数据结构。它是一个结构链，每个结构链都有map[string]T。基本上，我将一个复杂的yaml文件序列化为一个数据结构。我有一个两个版本可以工作，但有一个不工作，我不清楚为什么？据我所知，Go编译器非常聪明，所以它假定要找出对象需要分配到哪里

请考虑下面的代码。

type UserData struct {
    Username string
    Password string
}
type Groups struct {
    users map[string] UserData
}
type Cluster struct {
    Group map[string] Groups
}
type Director struct {
    Cluster map[string]Cluster
}

//... I removed other add function.. Same semantic each add X function 
// check if a map is nil call make(map[string]T) add a key)
// add a key with struct (where struct hold nil map)
func (c *Cluster) AddGroup(groupName string) Group {
    if c.Group == nil {
        c.Group = make(map[string]Groups)
    }

        c.Group[groupName] = Groups {}
        group, _ := c.Group[groupName]
        return group
}

func (p *Director) AddCluster(clusterName string) Cluster {
    if p.Cluster == nil {
        p.Cluster = make(map[string]Cluster)
    }

    p.Cluster[clusterName] = Cluster{}
    cluster, _ := p.Cluster[clusterName]
    return cluster
    // does a compiler here allocate an object on the 
    // stack for Cluster {} and it goes out of a scope ? 

}

如果打电话的人做了类似的事情

var p = Director{}
cluster := p.AddCluster("Test Cluster")
cluster.AddGroup("Test Group")

它不起作用——第一个调用创建一个映射并输入一个值，但第二个调用不起作用。该键永远不会添加到第二个贴图中

在一个可以工作的版本中，我创建了一个构造函数（每个方法的语义相同）。例如，下面的版本确实有效。（我在这里使用的是与C++和其他语言相同的语义）

---

我想当你习惯了一种语言的编译器时，魔法会让你的生活变得更艰难：）

对，问题是你的

AddXXX

函数正在返回副本/值，如果你想让你的代码正常工作，它们应该在那里返回pionters。您还必须将

AddGroup

func的返回类型更改为

Groups

（并可能重命名func以反映实际的类型名称）。当文字更短、更惯用时，我也会避免使用

make

func (c *Cluster) AddGroup(groupName string) *Groups {
    if c.Group == nil {
        c.Group = map[string]*Groups{} // change type to use pointers
    }

    group := &Groups{} // create pointer
    c.Group[groupName] = group // assign
    return group // return
}

func (p *Director) AddCluster(clusterName string) *Cluster {
    if p.Cluster == nil {
        p.Cluster = map[string]*Cluster{} // change type
    }

    cluster := &Cluster{} // create ptr var
    p.Cluster[clusterName] = cluster
    return cluster
}

您遇到的问题与对象的分配位置无关，而是与您正在使用的对象有关。如果调用

AddCluster

，并且没有返回指针，那么对返回的

Cluster

对象（

AddGroup

）的调用将向与您创建的映射中的对象完全不同的对象添加组。您所做的是C/C++相当于以下内容：

typedef _cluster_t struct {
    int foo;
} cluster;

// and some calls like this:

int add_foo(cluster *c) {
    c->foo = 123;
    return c->foo;
}

int main ( void ) {
   cluster cl;
   int i = add_foo(&cl);
   i++;
   printf("I expect %d == %d\n", i, cl.foo);
   return 0;
}

很明显，您正在增加分配给

cl.foo

的int val的副本。你不能同时更新这两个

---

更新（澄清）： 指针变量可以在堆栈或堆上分配，这取决于运行时。但是，因为值和指针返回在语义/功能上是不同的。如果编译器基于任何原因做出假设，我们都会受到伤害。在一个大量使用并发的程序中考虑下面的代码：

type Foo struct {
    SomeData map[string]Bar
}

func (f *Foo) AddBar(name string) Bar {
    if f.SomeData == nil {
        f.SomeData = map[string]Bar{} // this already is not thread-safe!
    }
    b := Bar{}
    f.SomeData[name] = b
    return b
}

如果返回值

b

，将作为指针“秘密”返回，但另一个例程也在更新相同的值，那么您将有一个竞争条件。更重要的是，在很多合法的情况下，您确实不需要指针：

type Foo struct {
    mu *sync.Mutex
    data map[string]*Bar
}
// GetBar - should return a SNAPSHOT of whatever Bar looks like at this moment
func (f *Foo) GetBar(name string) (Bar, error) {
    f.mu.Lock()
    defer f.mu.Unlock()
    if b, ok := f.data[name]; ok {
        // return COPY because it's a snapshot!
        return *b, nil
    }
    return Bar{}, ErrBarNotFound
}

TBH，在这种

GetBar

函数中，我可能会返回一个指针，但返回方式如下：

if b, ok := f.data[name]; ok {
    cpy := *b // create copy/snapshot
    return &cpy, nil
}
// so in case of an error, I can return nil:
return nil, ErrBarNotFound

---

比我快。回答得好。啊，现在我明白了，但我有一个印象，它会自动计算出对象需要放在堆上。非常感谢您的解释。@JohnnyBonelli:可以在堆栈或堆上分配指针变量，这由运行时决定。然而，由于值和指针返回在语义/功能上是不同的，编译器不会做出任何假设。我将提供一个例子来说明为什么这会是一个问题，我将在您执行此操作时更新answerOne问题&Cluster{}它是否计算到堆上的分配并返回ptr？在我的示例中（不正确的版本），它在添加到映射的堆栈上创建struct，当它超出返回范围时，它就会超出范围并被垃圾收集？在分配任何给定对象的位置上，您确实并没有明确的发言权。确实，

&Cluser

很可能会分配到堆上，但唯一确定的方法是分解汇编，真的。在您的示例中，它没有超出范围并得到GC'ed，它作为一个副本返回，另一个副本存储在映射中。这两个对象没有以任何方式链接。在调用方堆栈上分配了<代码> AddCluster < /代码>的返回值，但实际上，唯一知道的方法是：汇编只是为了好玩，您是否考虑过让您考虑让类型像“代码>类型用户数据结构”{用户名、密码字符串}<代码> >代码>类型组映射[String ]。用户数据

类型群集映射[string]组

类型控制器映射[string]群集

。然后访问用户数据，例如

someuser:=mydirector[“A”][“B”][“C”]

someuser.Name=“jerry”

mydirector[“A”][“B”][“C”]=someuser

经验法则（特别是对于年轻玩家）：选择一个值或指针接收器并坚持它。也就是说，在任何地方使用

Cluster

或

*Cluster

，不要混搭。@Peter，除非您知道自己在做什么，并且希望接口只应用于指针类型与值等。。。

if b, ok := f.data[name]; ok {
    cpy := *b // create copy/snapshot
    return &cpy, nil
}
// so in case of an error, I can return nil:
return nil, ErrBarNotFound