不可变的字符串值和指针地址
在 Go 中,官方规范规定字符串是不可变的,这意味着它们的内容一旦创建就无法更改。然而,以下代码片段出现了一个奇怪的现象:
str := "hello" fmt.Printf("%p\n",&str) // 0x1040c128 fmt.Printf("%v\n",str) // hello ptr := &str *ptr = "world" fmt.Printf("%p\n",&str) // 0x1040c128 fmt.Printf("%v\n",str) // world
与预期相反,将“world”分配给取消引用的指针 *ptr 后,&str 的地址保持不变。
这种现象需要理解在这种情况下“不变性”的含义。 Go 中的字符串值是不可变的,而不是保存它们的变量。在代码示例中,str是字符串类型的变量,其值可以更改。
字符串值“hello”本身是不可变的。将“world”分配给 str 不会改变“hello”,而只是将 str 变量的值更改为“world”。此更改与值的设置方式无关,无论是直接设置还是通过指针设置。
不可变的字符串值可确保共享字符串在整个程序中保持一致。例如,如果函数接收字符串参数,则无法在该函数内更改其值。因此,相同字符串值的后续打印语句将始终产生预期结果。
在内部,字符串值由reflect.StringHeader结构表示。这些结构存储指向文本的 UTF-8 编码值及其字节长度的指针。该数据不可访问,无法直接修改。此外,字符串值不能被索引和分配新值。
虽然 Go 规范保证字符串值的不变性,但使用 unsafe 包可以覆盖这些保证。然而,这样做会放弃语言规范提供的保护和安全性。
以上是为什么在 Go 中通过指针更改字符串的值不会更改其内存地址?的详细内容。更多信息请关注PHP中文网其他相关文章!