Question

我对Go语言比较陌生。虽然我不希望这样，但我可能会用一个愚蠢的问题打扰你。我先生道歉，以防万一...

这是我的例子：我定义了一个worker（）函数，它从main（）作为一组并发Go例程调用。输入和输出数据通过slice type [] int的输入和输出通道提供。在一种情况下，一切都按预期工作，在另一种情况下，结果是错误的。请参阅代码中的注释和代码下面的程序输出。

老实说，我没有看到两种代码变体之间的实际差异。我在这里想念的是什么？谢谢你的任何建议！

package main

import "fmt"
import "runtime"

func worker(x_ch <-chan []int, y_ch chan<- []int, wid int) {

    for x := range x_ch {
        y := x
        fmt.Println("   worker", wid, "x:", x)
        fmt.Println("   worker", wid, "y:", y)
        y_ch <- y
    }
}

func main() {

    n_workers := runtime.NumCPU()
    n_len := 4
    n_jobs := 4
    x := make([]int, n_len)
    x_ch := make(chan []int, 10)
    y_ch := make(chan []int, 10)

    for j := 0; j < n_workers; j++ { go worker(x_ch, y_ch, j) }

    for k := 0; k < n_jobs; k++ {

//      variant 1: works!
        x = []int{k, k, k, k}

//      variant 2: doesn't work!
//      for i := range x { x[i] = k }

        fmt.Println("main x:", k, x)
        x_ch <- x
    }

    close(x_ch)

    for i := 0; i < n_jobs; i++ {
        z := <- y_ch
        fmt.Println("       main y:", i, z)
    }
}

正确输出（变体1）：

main x: 0 [0 0 0 0]
main x: 1 [1 1 1 1]
main x: 2 [2 2 2 2]
main x: 3 [3 3 3 3]
   worker 3 x: [3 3 3 3]
   worker 3 y: [3 3 3 3]
   worker 2 x: [2 2 2 2]
   worker 2 y: [2 2 2 2]
   worker 1 x: [0 0 0 0]
   worker 1 y: [0 0 0 0]
   worker 0 x: [1 1 1 1]
   worker 0 y: [1 1 1 1]
       main y: 0 [3 3 3 3]
       main y: 1 [2 2 2 2]
       main y: 2 [0 0 0 0]
       main y: 3 [1 1 1 1]

输出错误（变体2）：

main x: 0 [0 0 0 0]
main x: 1 [1 1 1 1]
main x: 2 [2 2 2 2]
main x: 3 [3 3 3 3]
   worker 3 x: [3 3 3 3]
   worker 3 y: [3 3 3 3]
       main y: 0 [3 3 3 3]
   worker 0 x: [2 2 2 2]
   worker 0 y: [3 3 3 3]
       main y: 1 [3 3 3 3]
   worker 1 x: [1 1 1 1]
   worker 1 y: [3 3 3 3]
       main y: 2 [3 3 3 3]
   worker 2 x: [3 3 3 3]
   worker 2 y: [3 3 3 3]
       main y: 3 [3 3 3 3]

Answer 1

不同之处在于，在变体1中，您每次都会发送不同的切片，而在变体2中，您每次都会发送相同的切片（在for循环之上创建的切片）。在不创建新切片的情况下，您只需将同一切片的元素设置为不同的值，因此goroutines会在看到切片时看到切片中的任何值。在变体2中，main将始终看到[3 3 3 3]，因为这是您完成循环4次后的最终值。切片对象的值包含对基础元素的引用，而不是元素本身。切片here有一个很好的解释。

Answer 2

非常感谢你的解释，现在我知道问题所在。我添加了一些调试代码来输出指针地址，结果是（稍微重新格式化输出）：

变式1：

main 0 x=[0 0 0 0] &x=0x1830e180 &x[0]=0x1830e1e0
main 1 x=[1 1 1 1] &x=0x1830e180 &x[0]=0x1830e230
main 2 x=[2 2 2 2] &x=0x1830e180 &x[0]=0x1830e270
main 3 x=[3 3 3 3] &x=0x1830e180 &x[0]=0x1830e2a0
    worker 3 x=[3 3 3 3] &x=0x1830e1d0 &x[0]=0x1830e2a0
    worker 3 y=[3 3 3 3] &y=0x1830e2e0 &y[0]=0x1830e2a0
        main 0 y=[3 3 3 3] &y=0x1830e2d0 &y[0]=0x1830e2a0
    worker 0 x=[0 0 0 0] &x=0x1830e1a0 &x[0]=0x1830e1e0
    worker 0 y=[0 0 0 0] &y=0x1830e370 &y[0]=0x1830e1e0
        main 1 y=[0 0 0 0] &y=0x1830e360 &y[0]=0x1830e1e0
    worker 1 x=[1 1 1 1] &x=0x1830e1b0 &x[0]=0x1830e230
    worker 1 y=[1 1 1 1] &y=0x1830e400 &y[0]=0x1830e230
        main 2 y=[1 1 1 1] &y=0x1830e3f0 &y[0]=0x1830e230
    worker 2 x=[2 2 2 2] &x=0x1830e1c0 &x[0]=0x1830e270
    worker 2 y=[2 2 2 2] &y=0x1830e480 &y[0]=0x1830e270
        main 3 y=[2 2 2 2] &y=0x1830e470 &y[0]=0x1830e270

变式2：

main 0 x=[0 0 0 0] &x=0x1830e180 &x[0]=0x1830e190
main 1 x=[1 1 1 1] &x=0x1830e180 &x[0]=0x1830e190
main 2 x=[2 2 2 2] &x=0x1830e180 &x[0]=0x1830e190
main 3 x=[3 3 3 3] &x=0x1830e180 &x[0]=0x1830e190
    worker 3 x=[3 3 3 3] &x=0x1830e1d0 &x[0]=0x1830e190
    worker 3 y=[3 3 3 3] &y=0x1830e2a0 &y[0]=0x1830e190
        main 0 y=[3 3 3 3] &y=0x1830e290 &y[0]=0x1830e190
    worker 0 x=[3 3 3 3] &x=0x1830e1a0 &x[0]=0x1830e190
    worker 0 y=[3 3 3 3] &y=0x1830e330 &y[0]=0x1830e190
        main 1 y=[3 3 3 3] &y=0x1830e320 &y[0]=0x1830e190
    worker 1 x=[3 3 3 3] &x=0x1830e1b0 &x[0]=0x1830e190
    worker 1 y=[3 3 3 3] &y=0x1830e3c0 &y[0]=0x1830e190
        main 2 y=[3 3 3 3] &y=0x1830e3b0 &y[0]=0x1830e190
    worker 2 x=[3 3 3 3] &x=0x1830e1c0 &x[0]=0x1830e190
    worker 2 y=[3 3 3 3] &y=0x1830e440 &y[0]=0x1830e190
        main 3 y=[3 3 3 3] &y=0x1830e430 &y[0]=0x1830e190

使用切片类型输入和输出通道进行并发工作程序

2 个答案: