为什么在 64 位拱门中 mod 8 后 Go 的 4 字节对齐结构地址是 4？

Question

当我在 sync.WaitGroup 中研究代码时， 我注意到 WaitGroup 使用 state1([3]uint32) 字段来假设状态原子存储的 64 位对齐指针。

像这样：

// https://github.com/golang/go/issues/19149
type WaitGroup struct {
    noCopy noCopy
    state1 [3]uint32
}

// state returns pointers to the state and sema fields stored within wg.state1.
func (wg *WaitGroup) state() (statep *uint64, semap *uint32) {
    if uintptr(unsafe.Pointer(&wg.state1))%8 == 0 {
        return (*uint64)(unsafe.Pointer(&wg.state1)), &wg.state1[2]
    } else {
        return (*uint64)(unsafe.Pointer(&wg.state1[1])), &wg.state1[0]
    }
}

但是当我在 mac 和 linux 上检查这个时， 在 64 位系统上，第一个分配的 4 字节对齐数据结构地址显示在 mod 8 之后是 4，而在 32 位系统上是 0。

我很好奇它在 golang 中是如何保证的？

代码在这里：https://play.golang.org/p/oiZMHd2c0I6

// 32-bit system:
// GOARCH=386 go run main.go
// 0 4 0 //why first address mod 8 is 0

// 64-bit system:
// go run main.go
// 4 0 4 //why first address mod 8 is 4

更新： 使用@Renat 的答案地址，不能保证变量地址。 输出可能不包含。

Answer 1

来自golang.org：

计算机架构可能需要对齐内存地址； 也就是说，对于一个变量的地址是一个因子的倍数， 变量类型的对齐方式。函数 Alignof 接受一个表达式 表示任何类型的变量并返回 (type 的) 变量，以字节为单位。

因此，鉴于Alignof(c) 是4，它将与4 对齐，而不需要与8 字节对齐。

当创建M的另一个对象时

var c = M{}
var d = M{}
println(
    unsafe.Sizeof(c),
    unsafe.Alignof(c),
    uintptr(unsafe.Pointer(&c.x))%8,
)
println(
    "    ",
    uintptr(unsafe.Pointer(&d.x))%8,
)

我明白了：

12 4 4
     0