René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"slice 的问题","articleBody":"slice 的问题\r\n=============\r\n\r\n### 场景\r\n\r\n```golang\r\npackage main\r\n\r\nimport \"fmt\"\r\n\r\ntype cities []string\r\n\r\nfunc main() {\r\n\tNepal := cities{\"Kathmandu\", \"Pokhara\", \"Lumbini\"}\r\n\tNepal.add()\r\n\tNepal.print()\r\n}\r\n\r\nfunc (c cities) print() {\r\n\tfor i, city := range c {\r\n\t\tfmt.Println(i, city)\r\n\t}\r\n}\r\n\r\nfunc (c cities) add() {\r\n\tc = append(c, \"hello\")\r\n}\r\n```\r\n\r\n执行输出如下：\r\n```\r\n0 Kathmandu\r\n1 Pokhara\r\n2 Lumbini\r\n```\r\n结果没有 `3 hello`\r\n\r\n### 原因\r\n\r\n`slice` 跟 `array` 很类似，但是它更灵活，可以自动扩容.  \r\n\r\n由源码可以看到它的本质：\r\n```\r\n// runtime/slice.go\r\ntype slice struct {\r\n\tarray unsafe.Pointer // 元素指针\r\n\tlen   int // 长度\r\n\tcap   int // 容量\r\n}\r\n```\r\n\r\n`slice` 有三个属性，分别是指向底层数组的指针，切片可用的元素个数，底层数组的元素个数.\r\n\u003e 底层的数组可能被多个 `slice` 指向，所以修改其中一个 `slice` 的时候，会因此影响到其他的 `slice`.\r\n\r\n上面的代码 `c = append(c, \"hello\")` 之后，遍历 `c` 却没有 `hello`，这主要涉及到 `slice` 的扩容问题.\r\n\r\n在添加元素的时候，如果 `slice` 的容量不够的时候，是会先读取原有元素，然后 cap 扩大一倍，再重新复制到新的数组中去，`slice` 的数组指针也更新为新的数组指针.\r\n\r\n把上面代码 `c` 的指针地址打印下，就清晰很多了.\r\n```golang\r\npackage main\r\n\r\nimport \"fmt\"\r\n\r\ntype cities []string\r\n\r\nfunc main() {\r\n\tNepal := cities{\"Kathmandu\", \"Pokhara\", \"Lumbini\"}\r\n\tNepal.add()\r\n\tNepal.print()\r\n}\r\n\r\nfunc (c cities) print() {\r\n\tfmt.Printf(\"print(): %p \\n\", c)\r\n\tfor i, city := range c {\r\n\t\tfmt.Println(i, city)\r\n\t}\r\n}\r\n\r\nfunc (c cities) add() {\r\n\tfmt.Printf(\"add() append before: %p \\n\", c)\r\n\tc = append(c, \"hello\")\r\n\tfmt.Printf(\"add() append after: %p \\n\", c)\r\n}\r\n```\r\n\r\n输出如下：\r\n```\r\nadd() append before: 0xc000070150 # append 前后地址不一样\r\nadd() append after: 0xc00007c120\r\nprint(): 0xc000070150\r\n0 Kathmandu\r\n1 Pokhara\r\n2 Lumbini\r\n```\r\n\r\n### 解决\r\n\r\n在 `add()` 方法的时候，使用指针赋值，直接修改原来的 `slice`.\r\n```golang\r\nfunc (c *cities) add() {\r\n\t*c = append(*c, \"hello\")\r\n}\r\n```\r\n\r\n输出如下：\r\n```\r\n0 Kathmandu\r\n1 Pokhara\r\n2 Lumbini\r\n3 hello\r\n```\r\n\r\n### 参考\r\n[how-to-append-to-a-slice-pointer-receiver](https://stackoverflow.com/questions/36854408/how-to-append-to-a-slice-pointer-receiver/36854446)  \r\n[深度解密Go语言之Slice](https://www.cnblogs.com/qcrao-2018/p/10631989.html)\r\n","author":{"url":"https://github.com/codcodog","@type":"Person","name":"codcodog"},"datePublished":"2020-10-28T14:02:47.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/124/Blog/issues/124"}