考虑一个value为struct的map比如

type User struct {
  id int
  age int
}
var m map[string]User

考虑以下一些操作

m = make(map[string]User)
// insert
m["woofy"] = User {
    id: 1001,
    age: 28
}
// addressing:  compile error
foo(&m["woofy"])
// modify: compile error
m["woofy"].id = 10001
m["woofy"].age++

为啥取地址和修改内容这类看起来还算"正常"的操作会编译报错？

一个常见的解释是，go的map数据是动态扩容和可迁移的，内存地址会过期，所以不能取地址，即value不是addressable的，因而不能单独更新结构体字段，一般用结构体指针作为value比如改用 map[string]*User, 上述那样赋值就没问题了.

那么问题来了

1. 会临时搬数据的情况不是map特有, slice也是自动扩容，比如

    s := []int {...} 
    _ = append(s, ...)
   s[i]++

假设append发生了underlying array的重新分配，但此后s和s[i]++之类的操作依然是有效的, 为什么不用特别注意呢.

2. 只说地址可能会失效，也许能够解释为什么不能缓存地址操作（在语言层防止出现无效地址)，但是仍然不太好解释为什么 m["woofy"].age++ 这样的操作非法. 因为从语义上来说, 执行到这句的时候m["woofy"]一定是存在、完整且无歧义的，map应当是采用逐个value均摊搬迁的策略来进行扩容，当前不会有其他(非业务)线程在操作map，也不会出现只搬了结构体一半字段的情况. 那么为什么当下不能对这个m["woofy"]实体做修改呢？

为什么说value这个过程中一定是存在完整且无歧义的呢，举例来说，假设map按如下常见方式来处理扩容：

1. map的原本的m1存储不太够了，开一个更大的空间m2
2. 对后续每次插入key操作：
   a) 如果m1中key/value不存在，则写到m2，同时如果m1不空，从m1中任取一个key/value迁移到m2
   b) 如果m1中存在，从m1中删除，再按a)处理
3. 对后续每次删除key操作，从m2和m1中删除，同时如果m1不空，从m1中任取一个key/value迁移到m2
4. 对后续每次查询key操作，从m2找，找不到再从m1找，同时如果m1不空，从m1中任取一个key/value迁移到m2

当m1为空时，完成动态扩容. � m1地址回收，因而之前在m1中的value会全部失效，故编译器禁止取地址.

但是同时可以看到，不论什么状态下，map中的每个存在的value都是完整且无歧义，因而理论上编译器可以允许类似m["woofy"].age++的操作，你说对不对呢？