为什么非空切片的元素总是可被取地址，即便对于不可取地址的切片也是如此？

在Go语言中，切片是一种动态数组，它由指向底层数组的指针、长度和容量组成。虽然切片本身是一个引用类型，但切片中的元素是存储在底层数组中的，因此它们是可寻址的。即使对于某些不可取地址的切片，其中的非空元素仍然可以被取地址。本文将解释为什么非空切片的元素总是可被取地址，即便对于不可取地址的切片也是如此。

切片和底层数组

首先让我们了解一下切片和底层数组之间的关系。在Go语言中，切片是一个轻量级的数据结构，它提供了对底层数组的引用，并且可以动态地增长或缩小。切片本身包含了指向底层数组的指针、长度和容量信息。

var arr = [3]int{1, 2, 3}
var slice = arr[:2]

在上面的示例中，slice是一个指向arr数组的切片，它包含了指向arr数组的指针、长度为2和容量为3。

切片元素的地址

尽管切片本身是一个引用类型，但切片中的元素是存储在底层数组中的。因此，即使对于某些不可取地址的切片，其中的非空元素仍然可以被取地址。

var s []int
var nonEmptySlice = []int{1, 2, 3}

// 取空切片的第一个元素的地址
// 这会引发panic: runtime error: index out of range
// ptr := &s[0]

// 取非空切片的第一个元素的地址
ptr := &nonEmptySlice[0]

在上面的示例中，尝试获取空切片s的第一个元素的地址会引发运行时错误，因为空切片的长度为0，无法访问任何元素。但是，获取非空切片nonEmptySlice的第一个元素的地址是有效的。

切片的元素地址示例

下面是一个更完整的示例，演示了如何获取切片中各个元素的地址：

package main

import "fmt"

func main() {
    s := make([]int, 3)
    s[0] = 1
    s[1] = 2
    s[2] = 3

    // 遍历切片并获取每个元素的地址
    for i := range s {
        fmt.Printf("Address of s[%d]: %p\n", i, &s[i])
    }
}

在这个示例中，我们创建了一个长度为3的切片s，并为其赋值。然后，我们遍历切片并使用&操作符获取每个元素的地址。即使切片s是一个引用类型，其中的元素依然可以被取地址。

结论

尽管切片本身是一个引用类型，但切片中的元素是存储在底层数组中的，因此它们是可寻址的。即使对于某些不可取地址的切片，其中的非空元素仍然可以被取地址。这种设计使得在处理切片时，我们可以轻松地获取和操作其元素的地址，从而实现更灵活的编程。