Почему анонимная функция работает только с последним значением переменной?

Question

[impressive17]

Есть код

package main

import (
	"sync"
)

const N = 10

func main() {
	m := make(map[int]int)
      
	wg := &sync.WaitGroup{}
	mu := &sync.Mutex{}
	wg.Add(N)
	for i := 0; i < N; i++ {
                k:= 5
		go func() {
			defer wg.Done()
			mu.Lock()
                       println(i,k)
			m[i] = k
			mu.Unlock()
		}()
	}
	wg.Wait()
	println(len(m))
	println(m[0])

По выводу видно, что тут мы меняем только m[10]
Я понимаю, что чтобы проставить значиния всем индексам 0...9 нужно добавить i как аргумент анонимной функции, но не совсем понимаю почему. Понятно, если бы сохраняли состояние и вызывали потом эти анонимные функции потом, получая замыкание по сути. Но тут мы запускаем анонимные функции сразу, и так как они имеют доступ к контексту, в котором вызваны, кажется что i должны быть разные.
В чем фокус?

Comments

[d'Ivan]

go vet
выдает такую ошибку:

loop variable i captured by func literal

что должно натолкнуть на мысль, что что-то не так с переменной i в цикле.

Answer 1

[Евгений Мамонов]

Тут суть в том, что в момент, когда анонимная функция начнёт выполняться - выполнение цикла к тому моменту уже закончится и i будет равна 10.
Т.е. шедулер не успевает запустить горутины, они фактически запускаются уже после цикла, но часть из них может успеть и во время цикла запуститься...

Самый простой способ получить желаемый результат передать значение как параметр

go func(idx int) {
    ...
}(i)

Полный пример:

package main

import (
    "sync"
)

const N = 10

func main() {
    m := make(map[int]int)
    wg := &sync.WaitGroup{}
    mu := &sync.Mutex{}
    wg.Add(N)
    for i := 0; i < N; i++ {
        k := 5
        go func(idx int) {
            defer wg.Done()
            mu.Lock()
            println(idx, k)
            m[idx] = k
            mu.Unlock()
        }(i)
    }
    wg.Wait()
    println(len(m))
    println(m[0])
}

Comments

[impressive17]

Евгений Мамонов, тоесть просто по скорости цикл успевает добежать до 10 до println() в первой горутине?Ну чисто теоритически значение индекса в каждой из горутин может быть разным от запуска к запуску?

[Евгений Мамонов]

Да, именно так.

[impressive17]

Евгений Мамонов, понятно, спасибо

[Евгений Мамонов]

рад помочь :)