7.9 为什么常量、字符串和字典不可寻址?

常量

首先要明白一件事,什么叫不可寻址?它指的是,不能通过 & 来获得内存地址的行为。

以常量为例

import "fmt"

const VERSION  = "1.0"

func main() {
    fmt.Println(&VERSION)
}

编译的时候会直接报错说:无法取得 VERSION 的地址。因为它是常量

$ go build main.go
# command-line-arguments
./main.go:8:14: cannot take the address of VERSION

这其实还挺容易理解的,如果常量可以寻址的话,我们就可以通过指针修改常数的值,这无疑破坏了常数的定义。

字典

那么字典里的元素呢?为什么它不可以寻址?

func main() {
    p := map[string]string {
        "name": "iswbm",
    }

    fmt.Println(&p["name"])
    // cannot take the address of p["name"]
}

它比较特殊,可以从两个角度来反向推导,假设字典的元素是可寻址的,会出现 什么问题?

  1. 如果字典的元素不存在,则返回零值,而零值是不可变对象,如果能寻址问题就大了。

  2. 而如果字典的元素存在,考虑到 Go 中 map 实现中元素的地址是变化的,这意味着寻址的结果也是无意义的。

基于这两点,Map 中的元素不可寻址,符合常理。

字符串

字符串是不可变的,因此不可寻址,没有问题