Question

堆上分配的零长度对象都指向同一个全局变量，以获得合法内存地址。

// malloc.go

// base address for all 0-byte allocations
var zerobase uintptr

func mallocgc(size uintptr, typ *_type, needzero bool) unsafe.Pointer {
	if size == 0 {
		return unsafe.Pointer(&zerobase)
	}
}

即便是不同类型的零长度对象（堆分配），都会指向同一位置。

// test/main.go

func main() {
	a := new([0]int);
	b := new(struct{})

	fmt.Printf("%p, %p\n", a, b);
}

$ go tool objdump -s "main\.main" ./test

TEXT main.main(SB) test/main.go
  LEAQ runtime.zerobase(SB), DX		
  LEAQ runtime.zerobase(SB), DX