本編

こういうコードがありますよね。Goroutine である processor にチャネルを介して値を渡し、処理してもらおうという寸法です。構造体は大きい (予定) のでポインタで渡すことにします。

https://play.golang.org/p/1_zFlT6KAz0

package main

import (
    "fmt"
    "sync"
)

type A struct {
    n int
}

func main() {
    as := []A{
        {n: 0},
        {n: 1},
        {n: 2},
        {n: 3},
        {n: 4},
    }

    q := make(chan *A)
    wg := &sync.WaitGroup{}
    wg.Add(1)

    go processor(q, wg)

    for _, a := range as {
        q <- &a
    }

    wg.Wait()
}

func processor(q <-chan *A, wg *sync.WaitGroup) {
    defer wg.Done()
    for i := 0; i < 5; i++ {
        a := <-q
        fmt.Println(a.n)
    }
}

さあ、実行してみましょう。感覚で読むと 0, 1, 2, 3, 4 と出力されるような気がします。

あれっ、あれっ。なにかおかしい。とりあえず同じ構造体を何度か見ているようなのでポインタを合わせて出力させてみます。

https://play.golang.org/p/LEAx1bJ6TpR

Sent: A{n: 0} 0x41402c
Got : A{n: 0} 0x41402c
Sent: A{n: 1} 0x41402c
Sent: A{n: 2} 0x41402c
Got : A{n: 2} 0x41402c
Got : A{n: 2} 0x41402c
Sent: A{n: 3} 0x41402c
Sent: A{n: 4} 0x41402c
Got : A{n: 4} 0x41402c
Got : A{n: 4} 0x41402c

んん？なんで同じポインタ？

僕は答えを知っているのでもう書いてしまいますが、犯人はここなんですね。分かってる方は「あたりめーだろ！」とツッコミを入れてる頃だと思いますが許してください。

for _, a := range as {
    q <- &a
}

range は a という変数を定義して、それを as の各要素を入れるのに使い回すため a は常に同一オブジェクトなわけです。そのため、同じポインタがチャネルに入れられており、range のループの進捗によって参照する値が書き換えられていただけなのです。上の出力を見るとその様子がよくわかりますね。

つまり意図した挙動は次のように書きます。range の Value を定義せずに、Index のみを定義してスライスをインデックス参照するようにします。

https://play.golang.org/p/Un_0qq4LTQw

for i, _ := range as {
    q <- &as[i]
}

わかってしまったらもう間違えようがないのですが、こういうところは気をつけていきたいですね。

以上、ありがとうございました。

たんぶろぐ

すぐ忘れる

Go の備忘録 (range とポインタ編)

本編