arrays - 指向 slice 和数组的指针

Question

我在查看 Go 的堆包的 ( https://golang.org/pkg/container/heap/) 优先级队列示例时遇到了这个:

type PriorityQueue []*Item
...
func (pq *PriorityQueue) Pop() interface{} {
    old := *pq
    n := len(old)
    item := old[n-1]
    item.index = -1 // for safety
    *pq = old[0 : n-1]
    return item
} 

当我开始尝试这段代码以确保我理解它时，我尝试了:

item := *pq[0] // error

这给你类型 *[]T 不支持索引。但如果你这样做:

item := (*pq)[0] // all is well

这是类型断言吧？希望有人能解释这里发生了什么。

这里有一些代码可以快速显示:https://play.golang.org/p/uAzYASrm_Q

Answer 1

对您有用的不是类型断言，而是操作顺序。

问题的根源在于索引先于指针的取消引用。一旦将指针取消引用放在大括号中，一切都会正常运行，因为索引已应用于现在取消引用的 PriorityQueue 实例。

您不需要对数组指针执行此操作，因为它们会自动取消引用 - 索引数组和 slice 之间的细微差别在此处解释:The Go Programming Language Specification - Index expressions

For a of array type A:

• a constant index must be in range
• if x is out of range at run time, a run-time panic occurs
• a[x] is the array element at index x and the type of a[x] is the element type of A

For a of pointer to array type:

• a[x] is shorthand for (*a)[x]

For a of slice type S:

• if x is out of range at run time, a run-time panic occurs
• a[x] is the slice element at index x and the type of a[x] is the element type of S