结构体中的struct{}造成的内存对齐

问题描述当

struct{} 作为其他 struct 最后一个字段时，需要填充额外的内存保证安全。代码如下：

type demo3 struct {
    c int32
    a struct{}
}

type demo4 struct {
    a struct{}
    c int32
}

func main() {
    fmt.Println(unsafe.Sizeof(demo3{})) // 8
    fmt.Println(unsafe.Sizeof(demo4{})) // 4
}

demo4{} 的大小为 4 字节，与字段 c 占据空间一致，而 demo3{} 的大小为 8 字节，即额外填充了 4 字节的空间。

我的疑问

我看到的解释是:
有指针指向该字段, 返回的地址将在结构体之外，如果此指针一直存活不释放对应的内存，就会有内存泄露的问题（该内存不因结构体释放而释放）

为什么额外填充了一些字节，就能保证内存安全？