这与其说是编译器问题,不如说是语言规范问题。编译器有时可以而且会做一些奇怪的事情——这里重要的是编译器最终输出的任何机器代码,它都遵循语言规范中规定的规则。

bytestring

将字节切片转换为字符串类型会产生一个字符串,其连续字节是切片的元素。

将字符串类型的值转换为字节类型的切片会产生一个切片,其连续元素是字符串的字节。

string

字符串是不可变的:一旦创建,就不可能更改字符串的内容。

[]bytestring[]bytestring

package main


import (

    "fmt"

    "reflect"

    "unsafe"

)


func main() {

    a := "a"

    b := []byte(a)

    ah := (*reflect.StringHeader)(unsafe.Pointer(&a))

    fmt.Printf("a: %4s @ %#x\n", a, ah.Data)

    fmt.Printf("b: %v @ %p\n\n", b, b)


    c := []byte{'a'}

    d := string(c)

    dh := (*reflect.StringHeader)(unsafe.Pointer(&d))

    fmt.Printf("c: %v @ %p\n", c, c)

    fmt.Printf("d: %4s @ %#x\n", d, dh.Data)

}

输出如下所示:


a:    a @ 0x4c1ab2

b: [97] @ 0xc00002c008


c: [97] @ 0xc00002c060

d:    a @ 0x554e21

请注意 和 的指针位置string不[]byte相同且不重叠。因此,不期望值的更改[]byte会以任何方式影响string值。


好的,从技术上讲,结果不必是这种方式,因为我没有在示例中对bor的值进行任何更改c。从技术上讲,编译器可以采取捷径,简单地称为blength=1[]byte从与a. 但是,如果我改为这样做,则不允许这种优化:


package main


import (

    "fmt"

    "reflect"

    "unsafe"

)


func main() {

    a := "a"

    b := []byte(a)

    b[0] = 'b'

    ah := (*reflect.StringHeader)(unsafe.Pointer(&a))

    fmt.Printf("a: %4s @ %#x\n", a, ah.Data)

    fmt.Printf("b: %v @ %p\n\n", b, b)

}

输出:


a:    a @ 0x4c1ab2

b: [98] @ 0xc00002c008

在Go Playground中查看此操作。