golang传参的问题

Question

package main

import (
    "bufio"
    "fmt"
    "os"
)

func main() {
    counts := make(map[string]int)
    files := os.Args[1:]
    if len(files) == 0 {
        countLines(os.Stdin, counts)
    } else {
        for _, arg := range files {
            f, err := os.Open(arg)
            if err != nil {
                fmt.Fprintf(os.Stderr, "dup2:%v\n", err)
                continue
            }
            countLines(f, counts)
            f.Close()
        }
    }
    for line, n := range counts {
        if n > 1 {
            fmt.Printf("%d\t%s\t%s\n", n, line)
        }
    }
}

func countLines(f *os.File, counts map[string]int) {//问题在这里的counts
    input := bufio.NewScanner(f)
    for input.Scan() {
        out := input.Text()
        counts[out]++
    }
}

请问：程序能正常运行，我有个疑问：这个函数传入的counts，不是复制么，为什么能改变外部的counts,我记得好像要用引用（*counts）才能改变外部的counts？

Answer 1

@pinecone 的说法不准确，因为在 Golang 里并没有引用，而且 Golang 参数传递是值传递。

而像slice, map, chan这三者，自然传的也不是引用，而是对应类型的一个类型定义的结构体变量。拿 slice 举例：

// slice 源码
type slice struct {
    array unsafe.Pointer // 8 Bytes
    len   int  // 8 Bytes
    cap   int // 8 Bytes
}

// 备注：在64bit的机器上，上面的结构体大小为 24 字节。

从源码可以看出，一个 slice 是由两部分组成：SliceHeader(上面的的结构体) + 存数据的数组(array指针指向的数组)。

那么，在传参的时候值传递，对于 slice ，所传的就是 SliceHeader(24字节)，在函数里接收到的是一个复制了 SliceHeader 的变量，他们里面三个字段的值相等。

而之所以在函数里面修改数据时，外部的数据也改变了。那时因为这两个 SliceHeader 虽然是两个不同的变量，但是他们都有一个指向同一个地址空间的array指针，所以你在函数里面修改数据，那么自然外部的SliceHeader也被修改了。

其他两者同理。

另外一种情况

当你在函数里面对slice进行扩容，比如: append()操作, 当 slice 的 cap 不够时，会重新分配 slice 的存储数据的内存，情况就不同了。

Answer 2

golang中slice map channel是引用传递

Answer 3

我记得 slice 是传指针的。这个是它的特征。

Answer 4

同意@pinecone，我以前也有这个疑问，多看看资料就找到了