Golang函数参数传递中的并发并发症

在并发 Goroutine 修改共享参数情况下，Go 函数参数传递有以下规则：按值传递：副本传递给函数，更改副本不影响原始值。按引用传递：指针传递给函数，更改指针值会同时修改原始值。按引用传递时，多个 Goroutine 同时修改参数可导致并发并发症。在共享数据并发的场景中，应谨慎使用按引用传递，并结合适当的并发控制措施。

Go 函数参数传递中的并发并发症

在 Go 中，函数参数可以按值传递或按引用传递。当按值传递时，参数的副本传递给函数，而当按引用传递时，对参数的修改将反映在调用函数中。

然而，在并发环境中，这种参数传递模式可能会导致并发并发症，因为多个并发执行的 Goroutine 可能会同时修改同一参数。

按值传递

func modifyInt(i int) {
    i++ // 只修改 i 变量的副本
}

func main() {
    i := 0
    go modifyInt(i)
    fmt.Println(i) // 输出 0（原始值）
}

在按值传递的情况下，尽管 modifyInt() 函数修改了传递给它的 i 的副本，但调用函数中的原始 i 变量不受影响。

按引用传递

func modifyIntPointer(i *int) {
    *i++ // 修改 i 变量的实际值
}

func main() {
    i := 0
    go modifyIntPointer(&i)
    fmt.Println(i) // 输出 1（修改后的值）
}

在按引用传递的情况下，对指向原始 i 变量的指针参数的修改将反映在调用函数中。这可能会导致并发并发症，因为多个 Goroutine 可能会同时修改同一参数。

实战案例

考虑以下读写锁案例，它保护对共享数据的并发访问。

type MutexMap struct {
    m map[string]int
    mu sync.Mutex // 互斥锁
}

func (m *MutexMap) Get(key string) int {
    m.mu.Lock() // 加锁
    defer m.mu.Unlock() // 解锁（延迟执行）
    return m.m[key]
}

func (m *MutexMap) Set(key string, value int) {
    m.mu.Lock()
    defer m.mu.Unlock()
    m.m[key] = value
}

如果 MutexMap 的 m 字段是按引用传递的，则多个 Goroutine 可能会同时加锁，从而导致死锁。

结论

在并发环境中，了解函数参数传递模式及其对共享数据的潜在影响非常重要。按值传递通常更安全，而按引用传递应该谨慎使用，并与适当的并发控制措施结合使用。