我正在学习Go,作为一个练习,我想实现一个链表.作为参考,我看了官方Go代码(
https://golang.org/src/container/list/list.go).有一件事情跟我说：
108 // remove removes e from its list,decrements l.len,and returns e.
109 func (l *List) remove(e *Element) *Element {
110 e.prev.next = e.next
111 e.next.prev = e.prev
112 e.next = nil // avoid memory leaks
113 e.prev = nil // avoid memory leaks
114 e.list = nil
115 l.len--
116 return e
117 }
我很好奇,在这种情况下,如何设置指针为零阻止内存泄漏？如果可能,我想构建一个有这个缺陷的程序,并在使用pprof进行概要分析时看到它(我将使用list.go的修改后的版本,而不使用这个nil指针设置).
为了清楚答案：如果其中一个节点具有指向它的外部指针,则所有相邻的已删除节点将通过该指针具有活动引用,并且不会被删除.
>我们创建一个指向Node2的外部指针
>我们从列表中删除节点2-4
>您将期望在这一点上,只有Node 1,2&
5要活着,剩下的就是GC-ed.但是由于Node2仍然存在
指向Node3&整个链条仍然未被收集.
你的假设是正确的.如果有一组指针彼此指向,但是没有任何参考/指针指向该组的任何成员,该组将被检测为垃圾收集器无法访问,并将被正确释放.
但是内存泄漏的解释很简单.我们可以从列表中获取包含未导出的Element.next和Element.prev指针的list.Element包装器到列表中的下一个和前一个元素.
当这些指针不被设置为nil时,从列表中删除一个元素时,它们将保留对下一个和前一个元素包装器的引用,包括与这些元素关联的值.
看这个例子：
var e2 *list.Element
func main() {
listTest()
fmt.Println(e2.Value)
// At this point we expect everything from the list to be
// garbage collected at any time,we only have reference to e2.
// If e2.prev and e2.next would not be set to nil,// e1 and e3 could not be freed!
}
func listTest() {
l := list.New()
e1 := l.PushBack(1)
e2 = l.PushBack(2)
e3 := l.PushBack(3)
// List is now [1,2,3]
fmt.Println(e1.Value,e2.Value,e3.Value)
l.Remove(e2)
// Now list is [1,3],it does not contain e2
}
在listTest()中,我们使用3个元素构建一个列表,并将第二个元素存储在全局变量e2中.然后我们删除这个元素.现在我们期望除了e2(包含在其中的值)之外,当listTest()返回时,所有其他东西都会被垃圾收集,因为列表在listTest()函数之外是不可访问的.是的,我们在一个元素的e2中有一个指针,但是当我们删除它时,e2已经(应该有)与列表无关.
如果e2中的prev和next指针不会被设置为nil,那么它们所指向的元素的值将永远不会被递归释放.但是从List.Remove()正确设置为零,在上面的示例中,e1和e3 -aong包含在其中的值将被释放(在下一次垃圾回收运行中).
