Dlaczego nie można brać odniesienia do wartości przechowywanej pod kluczem w mapie?

W Golang mapa (map) reprezentuje tablicę haszową. Dodanie lub usunięcie elementów może prowadzić do zmian w wewnętrznej strukturze mapy, w tym do ponownego rozdzielenia pamięci i przesunięcia elementów. Jeśli weźmiesz wskaźnik na wartość przechowywaną pod kluczem, a następnie zmienisz mapę (np. dodając lub usuwając inny element), ten wskaźnik może stać się nieprawidłowy, wskazując na niepoprawny obszar pamięci lub inną wartość. Golang zapobiega temu na etapie kompilacji, zabraniając brania adresu elementu mapy.

Ponadto, w Golang, mapa nie jest bezpieczna wątkowo (thread-safe). Bezpośrednia zmiana wartości przez wskaźnik mogłaby prowadzić do warunków wyścigu, jeśli różne gorutyny będą miały do niej dostęp równolegle, co utrudni synchronizację. Zakaz brania wskaźnika na wartość w mapie upraszcza model dostępu współbieżnego i wyraźnie wskazuje na konieczność użycia mechanizmów synchronizacji (np. sync.RWMutex) podczas pracy z mapami w środowiskach wielowątkowych.

Aby zmienić wartość po kluczu, należy uzyskać wartość, zmodyfikować ją, a następnie zapisać zmodyfikowaną wartość z powrotem do mapy:

package main

import "fmt"

func main() {
	m := map[string]int{"a": 1}

	// Nie można wziąć wskaźnika na wartość w mapie
	// ptr := &m["a"] // Błąd kompilacji

	// Poprawny sposób zmiany wartości:
	value := m["a"] // Pobierz wartość
	value++         // Zmień wartość
	m["a"] = value  // Zapisz zmienioną wartość

	fmt.Println(m["a"]) // Wypisze 2
}