Неизменяемые строки в Go

Question

Кто-нибудь может объяснить мне, почему адрес &c1.name такой же после того, как он был изменен в функции changeMe(). Я думал, что струны неизменны в Го.

package main 

import "fmt" 

type customer struct { 
    name string 
    age int 
} 

func main() { 
    c1 := customer{"Todd", 44} 
    fmt.Println(&c1.name) // 0x8201e4120 

    changeMe(&c1) 

    fmt.Println(c1)  // {Rocky 44} 
    fmt.Println(&c1.name) // 0x8201e4120 
} 

func changeMe(z *customer) { 
    fmt.Println(z)  // &{Todd 44} 
    fmt.Println(&z.name) // 0x8201e4120 
    z.name = "Rocky" 
    fmt.Println(z)  // &{Rocky 44} 
    fmt.Println(&z.name) // 0x8201e4120 
} 

Answer 1

Неизменяемость строк - это не то же самое, что неизменяемость переменных.

Неизменяемость строк означает, что символы в строке не могут быть изменены. Это справедливо для Go. Go использует его при нарезке строк, как показано в примере ниже.

Переменные в Go всегда изменяемы. При изменении строковой переменной внутренние поля переменной (указатель и длина) изменяются. Адрес переменной никогда не изменяется.

В приведенном ниже примере представлены внутренности строковой переменной Go. Первое целое число - это адрес массива символов, а второй - длина.

См. Статью о внутренних элементах строки в Go http://research.swtch.com/godata.

package main 

import (
     "fmt" 
     "reflect" 
     "unsafe" 
) 

func main() { 
    var x string = "abc" 
    fmt.Println(x, &x, (*reflect.StringHeader)(unsafe.Pointer(&x))) 
    x = "cde" 
    fmt.Println(x, &x, (*reflect.StringHeader)(unsafe.Pointer(&x))) 
    x = x[1:] 
    fmt.Println(x, &x, (*reflect.StringHeader)(unsafe.Pointer(&x))) 
} 

Playground