packed struct 字段地址

[jiacai2050]

const Foo = packed struct {
    a: i32,
    b: [10]u8,
    c: [10]u8,
};

var foo: Foo = undefined;
log.debug("{any}-{any}-{any}", .{ @TypeOf(&foo.a), @TypeOf(&foo.b), @TypeOf(&foo.c) });
log.debug("{any}-{any}-{any}", .{ @typeName(@TypeOf(&foo.a)), @typeName(@TypeOf(&foo.b)), @typeName(@TypeOf(&foo.c)) });
log.debug("{any}-{any}-{any}", .{ &foo.a, &foo.b, &foo.c });

上面依次输出

debug: *align(1) i32-*align(:0:20) [10]u8-*align(:80:20) [10]u8
debug: [13:0]u8@10004a23a-[20:0]u8@10004a248-[21:0]u8@10004a25d
debug: i32@16fdfed70-[10]u8@16fdfed74-[10]u8@16fdfed74

从第三行可以看到，b、c 输出的地址都是一样的，那 zig 内部是怎么区分 b、c 的呢？从第一行打印的类型来看，有一种推测：
b、c 内部共享一长度为 20 的数组，然后通过不同的 align 来确认值的起点，比如

• (:0:20) 表示从第 0 个地址开始
• (:80:20) 表示从第 80 个地址开始

通过 lldb 可以看到 a、b、c 字段的真正地址：

(lldb) p &foo.a
(int *) $0 = 0x000000016fdfed70
(lldb) p &foo.b
(unsigned char (*)[10]) $1 = 0x000000016fdfed74
(lldb) p &foo.c
(unsigned char (*)[10]) $2 = 0x000000016fdfed7e

从上面也能看出， zig 里面对于 packed struct 的字段取地址，拿到的可能不是真实的地址