Go'da işaretçilerin olmasının anlamı nedir?

Go'daki işaretçilerin bir işlevin argümanlarının mutasyonuna izin verdiğini biliyorum, ancak yalnızca referansları (uygun sabit veya değiştirilebilir niteleyicilerle) benimsemeleri daha kolay olmaz mıydı. Artık işaretçilerimiz var ve haritalar ve kanallar gibi bazı yerleşik türler için başvuruya göre örtük geçiş var.

Bir şey mi kaçırıyorum yoksa Go'daki işaretçiler sadece gereksiz bir komplikasyon mu?

Http://www.golang-book.com/8 adresinden alınan örneği gerçekten seviyorum

func zero(x int) {
    x = 0
}
func main() {
    x := 5
    zero(x)
    fmt.Println(x) // x is still 5
}

aksine

func zero(xPtr *int) {
    *xPtr = 0
}
func main() {
    x := 5
    zero(&x)
    fmt.Println(x) // x is 0
}

İşaretçiler birkaç nedenden dolayı faydalıdır. İşaretçiler bellek düzeni üzerinde kontrole izin verir (CPU önbelleğinin verimliliğini etkiler). Go'da, tüm üyelerin bitişik bellekte olduğu bir yapı tanımlayabiliriz:

type Point struct {
  x, y int
}

type LineSegment struct {
  source, destination Point
}

Bu durumda Pointyapılar yapının içine gömülüdür LineSegment. Ancak verileri her zaman doğrudan gömemezsiniz. İkili ağaçlar veya bağlantılı liste gibi yapıları desteklemek istiyorsanız, bir tür işaretçi desteklemeniz gerekir.

type TreeNode {
  value int
  left  *TreeNode
  right *TreeNode
}

Java, Python vb. Bu soruna sahip değildir çünkü kompozit türleri yerleştirmenize izin vermez, bu nedenle gömme ve işaretleme arasında sözdizimsel olarak ayrım yapmaya gerek yoktur.

Go işaretçileriyle çözülen Swift / C # yapılarıyla ilgili sorunlar

Aynısını başarmanın olası bir alternatifi , C # ve Swift'in yaptığı gibi structve arasında ayrım classyapmaktır. Ancak bunun sınırlamaları var. Yapının inoutkopyalanmasını önlemek için genellikle bir işlevin parametre olarak bir yapı aldığını belirtebilirsiniz , ancak yapılara referansları (işaretçiler) depolamanıza izin vermez. Bu, bir yapıyı, örneğin bir havuz ayırıcısı oluşturmak için yararlı bulduğunuzda asla referans türü olarak ele alamayacağınız anlamına gelir (aşağıya bakın).

Özel Bellek Ayırıcı

İşaretçileri kullanarak kendi havuz ayırıcınızı da oluşturabilirsiniz (bu, yalnızca prensibi göstermek için birçok denetim kaldırılarak çok basitleştirilmiştir):

type TreeNode {
  value int
  left  *TreeNode
  right *TreeNode

  nextFreeNode *TreeNode; // For memory allocation
}

var pool [1024]TreeNode
var firstFreeNode *TreeNode = &pool[0] 

func poolAlloc() *TreeNode {
    node := firstFreeNode
    firstFreeNode  = firstFreeNode.nextFreeNode
    return node
}

func freeNode(node *TreeNode) {
    node.nextFreeNode = firstFreeNode
    firstFreeNode = node
}

İki değeri değiştirin

İşaretçiler ayrıca uygulamanıza izin verir swap. Bu, iki değişkenin değerlerini değiştirmektir:

func swap(a *int, b *int) {
   temp := *a
   *a = *b
   *b = temp
}

Sonuç

Java, Google gibi yerlerde sistem programlaması için C ++ 'ın yerini hiçbir zaman tam olarak değiştiremedi, çünkü kısmen, bellek düzenini ve kullanımını kontrol etme becerisinin olmaması nedeniyle performans aynı ölçüde ayarlanamıyor (önbellek kayıpları performansı önemli ölçüde etkiler). Go, birçok alanda C ++ 'ın yerini almayı hedefledi ve bu nedenle işaretçileri desteklemesi gerekiyor.

İşaretçiler atanabiliyorken referanslar yeniden atanamaz. Bu tek başına işaretçileri referansların kullanılamadığı birçok durumda kullanışlı kılar.

Go, kısa ve minimalist bir dil olarak tasarlandı. Bu nedenle, sadece değerler ve işaretlerle başladı. Daha sonra zorunlu olarak bazı referans türleri (dilimler, haritalar ve kanallar) eklenmiştir.

Go Programlama Dili: Dil Tasarımı SSS: Diziler değer iken neden haritalar, dilimler ve kanal referansları?

"Bu konuda çok fazla tarih var. Daha önce, haritalar ve kanallar sözdizimsel olarak işaretçilerdi ve işaretçi olmayan bir örneği bildirmek veya kullanmak imkansızdı. Ayrıca, dizilerin nasıl çalışması gerektiğiyle uğraştık. Sonunda kesin ayrıma karar verdik işaretçiler ve değerler dilin kullanımını zorlaştırdı. Dizilerin referans biçimini ele almak için dilimler dahil olmak üzere referans türlerinin tanıtılması bu sorunları çözdü. Referans türleri dile biraz üzücü bir karmaşıklık katsa da kullanılabilirlik üzerinde büyük bir etkiye sahiptir: Git tanıtıldıklarında daha üretken, daha rahat bir dil. "

Hızlı derleme, Go programlama dilinin ana tasarım hedefidir; maliyeti var. Kayıplardan biri, değişkenleri (temel derleme süresi sabitleri hariç) ve parametreleri değişmez olarak işaretleme yeteneği gibi görünmektedir. İstendi, ancak reddedildi.

golang-fındık: go dil. Bazı geri bildirimler ve şüpheler.

"Yazım sistemine const eklemek onu her yerde görünmeye zorlar ve bir şey değişirse kişiyi her yerde kaldırmaya zorlar. Nesneleri bir şekilde değişmez olarak işaretlemenin bir faydası olsa da, bir const türü niteleyicinin işe yarayacağını düşünmüyoruz. gitmek."