Cevap.

Go'daki map ve slice yapılarının kopyalama ve bellek ile çalışma semantikaları, deneyimsiz geliştiricilerde sıklıkla beklenmedik davranışlara yol açan önemli özelliklere sahiptir.

Konunun Geçmişi

Go, statik tipli ve varsayılan olarak işaretçi eksikliği olan katı bir dil olarak kabul edilse de, map ve slice için özel bir iç model uygulanmıştır: her iki tür de referans yapılarıdır. Bu, kopyalama ve bu nesnelerin geçirilmesi ile ilgili çok sayıda nüans yaratmakta ve kısıtlamalara neden olmaktadır.

Problem

Map ve slice kopyalama işlemleri içeriğin derin kopyasını oluşturmaz; bunun yerine aynı nesneye yeni bir referans oluşturur. Bu, veri değiştirilirken, fonksiyonlardan değerlerin yanlış döndürülmesi ve modifikasyonlar sırasında beklenmedik yan etkilere yol açar. Ayrıca, bir fonksiyondan map veya slice döndürmek, ek tahsisatlara veya bellek sızıntılarına neden olabilir.

Çözüm

Bir slice kopyalandığında, yeni slice aynı bellek alanına referans verir, eğer slicing ile alınmışsa (b := a[:]). Elemanların tam olarak kopyalanması için yerleşik copy() fonksiyonu kullanılmalıdır.
Map kopyalaması, bir işaretçinin yüzeysel bir kopyasını oluşturur. Derin bir kopya için her anahtar-değer çiftinin kopyalanması gerekir.
Bir fonksiyona slice veya map aktarımı değer olarak gerçekleşir; ancak aynı verilere işaret eden bir yapı belirtici ile gönderilir.

Doğru kopyalama örneği:

// Slice kopyalama
a := []int{1, 2, 3}
b := make([]int, len(a))
copy(b, a) // b artık a'dan bağımsız

// Map kopyalama
src := map[string]int{"x": 1}
dst := make(map[string]int)
for k, v := range src {
    dst[k] = v
}

Anahtar özellikler:

slice ve map referans tiplerdir, içerik değil tanımlayıcı üzerinden kopyalanır
Tam bir kopya için verilerin manuel olarak (veya slice için copy ile) kopyalanması gerekir
Fonksiyona aktarım veya fonksiyondan döndürme içerikleri kopyalamaz — her iki taraf ortak verileri değiştirebilir.

Yanlış Anlaşılmalar üzerine Sorular.

Bir map/slice'i diğerine atayıp, sonra birini değiştirirsek ne olur?

Her iki map ve slice, bellekte aynı verilere işaret edecek: değişiklik her iki nesneyi de etkileyecektir.

Fonksiyonlardan slice veya map döndürmenin neden "bellek açısından verimli" olduğu sıkça söylenir?

Çünkü, tüm içeriğin değil, tanımlayıcının bir kopyası döndürülür; yığın bellek üzerindeki veriler, onlara referans olduğu sürece yaşamaya devam eder.

copy() fonksiyonunu kullanarak map'in "derin" kopyasını yapabilir miyiz?

Hayır, copy() yalnızca slice ve diziler için çalışır; map için her zaman bir döngü gereklidir.

Tipik Hatalar ve Anti-Desenler

Map veya slice'ları birbirine atamak ve bağımsızlık beklemek, beklenmedik yan etkilerle sonuçlanmak
Slice üzerinde "askıda kalan" referanslar bırakmak ve sonra orijinalini değiştirerek invariantları ihlal etmek
copy() fonksiyonunu yanlış kullanmak ve onu map üzerinde uygulamak

Gerçekten Yaşanan Durum

Olumsuz Örnek

Bir geliştirici, kopyalamayı önlemek için slice veya map'i atama ile kopyalar ve kopyayı değiştirir:

Artıları:

Kod yazımında zaman tasarrufu
Daha az geçici değişken

Eksileri:

Programın diğer bölümlerinde beklenmedik değişiklikler
"Görünmez" paylaşımdan kaynaklanan bulması zor hatalar

Olumlu Örnek

Gerekli verilerin modifikasyonundan önce slice için copy() ve map için döngü kullanılır: