Question

为对象设置一个析构函数，在被 GC 回收时执行。

当 GC 发现目标对象不可达时，它先解除析构函数关联，并在一个特定 goroutine 执行该函数。为使析构函数正确执行，目标对象被重新标记为可达。等下次回收时，已没有关联析构函数，目标对象被正确回收。

• 无法确定执行时间，不能保证一定被执行。
• 无法保证零长度对象的析构函数被执行。
• 全局变量（非堆存储）不应有析构函数。
• 析构函数在单个 goroutine 运行，不应阻塞或执行太久。
• 用 KeepAlive 标记可达位置，阻止析构函数执行。
• 调用 SetFinalizer(obj, nil) 清除析构函数。

package main

import (
	"fmt"
	"runtime"
	"time"
)

func main() {
	d := make([]byte, 100<<20)
	fmt.Printf("%p\n", &d) 

	runtime.SetFinalizer(&d, func(o *[]byte) { 
		fmt.Printf("%p drop!\n", o) 
	})

	for i := 0; i < 5; i++ {
		time.Sleep(time.Second)
		runtime.GC()
	}

	// runtime.KeepAlive(&d)
}

/*

$ go build && GODEBUG=gctrace=1 ./test

0xc00009a018
0xc00009a018 drop!

*/

验证循环引用（cycle reference）导致无法回收，造成内存泄漏。

package main

import (
	"runtime"
	"time"
)

func main() {
	for {
		func() {
			type data struct {
				x *data
				_ [1<<20]byte
			}

			a, b := data{}, data{}
			a.x = &b
			b.x = &a

			runtime.SetFinalizer(&a, func(*data) { println("a!") })
			runtime.SetFinalizer(&b, func(*data) { println("b!") })
		}()

		runtime.GC()
		time.Sleep(time.Millisecond * 100)
	}
}

/*

$ go build && GODEBUG=gctrace=1 ./test

gc 26 @2.678s 0%: ..., 102->102->104 MB, 203 MB goal, ..., 2 P (forced)
gc 27 @2.788s 0%: ..., 106->106->108 MB, 211 MB goal, ..., 2 P (forced)
gc 28 @2.896s 0%: ..., 110->110->112 MB, 219 MB goal, ..., 2 P (forced)
gc 29 @3.005s 0%: ..., 114->114->116 MB, 228 MB goal, ..., 2 P (forced)

*/