Peruntukan Stack sesuai untuk pembolehubah tempatan kecil dengan kitaran hayat yang jelas, dan diuruskan secara automatik, dengan kelajuan yang cepat tetapi banyak sekatan; Peruntukan timbunan digunakan untuk data dengan kitaran hayat yang panjang atau tidak pasti, dan fleksibel tetapi mempunyai kos prestasi. Pengkompil GO secara automatik menentukan kedudukan peruntukan pembolehubah melalui analisis melarikan diri, dan jika pembolehubah boleh melarikan diri dari skop fungsi semasa, ia akan diperuntukkan kepada timbunan. Situasi biasa yang menyebabkan melarikan diri termasuk: mengembalikan penunjuk pembolehubah tempatan, memberikan nilai kepada jenis antara muka, dan lulus dalam goroutine. Hasil analisis melarikan diri dapat dilihat melalui -gcflags = " -m". Apabila menggunakan petunjuk, anda harus memberi perhatian kepada kitaran hidup yang berubah -ubah untuk mengelakkan pelarian yang tidak perlu.

Di GO, memahami mekanisme peruntukan memori timbunan dan timbunan sangat penting untuk menulis kod yang cekap dan selamat, terutama apabila petunjuk terlibat. Ringkasnya, timbunan digunakan untuk menyimpan pembolehubah tempatan kecil dengan kitaran hayat yang jelas, sementara timbunan digunakan untuk data yang memerlukan kelangsungan hidup yang lebih lama atau saiz yang tidak menentu .

Pengkompil GO secara automatik memutuskan sama ada pembolehubah diperuntukkan pada timbunan atau di timbunan, tetapi keputusan ini boleh dipengaruhi dalam beberapa cara, terutama ketika menggunakan petunjuk.

Peruntukan Stack: Pengurusan pantas dan automatik

Peruntukan Stack adalah tingkah laku lalai dan terpakai kepada pembolehubah tempatan yang dibuat di dalam fungsi, terutama yang tidak akan dikembalikan atau melarikan diri ke goroutin lain.

• Kelajuan Cepat : Oleh kerana memori timbunan berterusan, peruntukan dan pelepasan sangat berkesan.
• Pembersihan Automatik : Selepas panggilan fungsi selesai, pembolehubah pada timbunan akan dimusnahkan secara automatik.
• Banyak sekatan : anda tidak boleh lulus penunjuk ke pemboleh ubah timbunan ke fungsi luaran atau pulangan, jika tidak, ia akan menyebabkan penunjuk yang menggantung.

Contohnya:

 Contoh Func () *int {
    x: = 10
    Pulangan & x // Amaran: Kembalikan alamat pembolehubah tempatan, x akan dipindahkan ke timbunan}

Walaupun anda menulis pembolehubah stack, pengkompil GO mengesan tingkah laku "melarikan diri" dan secara automatik menyerahkannya kepada timbunan untuk mengelakkan kesilapan.

Peruntukan timbunan: fleksibel tetapi overhead

Memori timbunan diuruskan oleh pemungut sampah (GC) dan sesuai untuk objek dengan kitaran hayat yang panjang atau tidak menentu.

• Aplikasi manual, kitar semula automatik : Objek yang dibuat menggunakan new atau make akan diletakkan di atas timbunan.
• Kos prestasi : Berbanding dengan susunan, peruntukan timbunan lebih perlahan dan meningkatkan tekanan GC.
• Senario yang berkenaan : Objek perlu digunakan di seluruh fungsi, sebagai nilai pulangan, atau mempunyai sejumlah besar data.

Contohnya:

 Func CreateValue () *int {
    x: = baru (int) // secara eksplisit diperuntukkan pada timbunan *x = 20
    Kembali x
}

Penunjuk yang dikembalikan di sini menunjuk kepada pembolehubah dalam timbunan dan tidak akan dimusnahkan apabila fungsi berakhir.

Analisis Pointer and Escape: Peranan utama pengkompil Go

Pengkompil GO akan melakukan analisis melarikan diri semasa peringkat penyusunan untuk menentukan sama ada pembolehubah boleh "melarikan diri" daripada skop fungsi semasa. Jika ya, ia akan diperuntukkan secara automatik ke timbunan.

Situasi biasa yang menyebabkan pelarian berubah termasuk:

• Mengembalikan penunjuk kepada pemboleh ubah tempatan
• Berikan pembolehubah kepada jenis antara muka (seperti interface{} )
• Lulus pembolehubah ke goroutine (kerana akses serentak adalah mungkin)

Anda boleh melihat hasil analisis melarikan diri melalui -gcflags="-m" :

 pergi binaan -gcflags = " -m" main.go

Output mungkin memaparkan maklumat seperti ini:

 Main.go: 10: 5: Pindah ke timbunan: x

Ini bermakna pembolehubah x diperuntukkan kepada timbunan.

Nasihat Praktikal: Biarkan pengkompil membuat keputusan, tetapi tetap sedar

• Jangan sengaja mengejar "pembolehubah mesti berada di timbunan" melainkan anda mengoptimumkan kod panas.
• Perhatikan kitaran hidup pembolehubah apabila menggunakan petunjuk untuk mengelakkan pelarian yang tidak perlu.
• Gunakan alat Analisis Escape untuk melihat apa yang sebenarnya berlaku dalam kod anda.

Sebagai contoh, dalam kod berikut:

 func foo () {
    S: = "Hello"
    fmt.println (& s)
}

s adalah pemboleh ubah tempatan, tetapi ia juga boleh diperuntukkan kepada timbunan kerana ia mengambil alamatnya dan menyampaikannya kepada fmt.Println - bergantung kepada penghakiman pengkompil.

Secara keseluruhannya, mekanisme peruntukan memori Go cukup pintar untuk tidak memerlukan campur tangan manual dalam kebanyakan kes. Tetapi apabila menggunakan petunjuk, memahami perbezaan antara timbunan dan timbunan dan prinsip asas analisis melarikan diri dapat membantu menulis kod yang lebih efisien. Pada dasarnya itu sahaja.

Atas ialah kandungan terperinci Peruntukan timbunan vs timbunan dengan petunjuk di Go. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!