怎么检测一个struct/union里有空洞？

[vkensou]

比如我定义了：

const A = struct {
    a: u64,
    b: u32,
};

这个结构体里有个空洞。标准库里有这样的函数吗？

[jiacai2050]

空洞是啥意思呀？padding？

[vkensou]

对。就是我这个例子里 @sizeof(A) != @sizeof(u64) + @sizeof(u32)

[jiacai2050]

这个问题还挺复杂的，对于普通的 struct，zig 会进行字段重排保证 padding 最小，extern 的 struct 和 C 一样，你之前怎么搞，现在就这么搞。

const A = struct {
    a: u64,
    b: bool,
    c: bool,
};

const B = struct {
    c: bool,
    a: u64,
    b: bool,
};

const C = extern struct {
    c: bool,
    a: u64,
    b: bool,
};

pub fn main() !void {
    std.debug.print("{any}-{any}-{any}\n", .{
        @sizeOf(A),
        @sizeOf(B),
        @sizeOf(C),
    });
}

16-16-24

[vkensou]

我想要一个函数来判断struct里是否有空洞。之前用c++，有时候有空洞会导致变量的二进制内容不可控。所以想要这样一个函数来做static_assert，保证没有空洞。

[vkensou]

我找到方法了，楼下发了

[vkensou]

我找到方法了，zig的类型系统果然强大

const A = struct {
    a: u64,
    b: u32,
};

comptime {
    if (hasPadding(A)) {
        @compileError("has padding!");
    }
}

fn hasPadding(comptime T: type) bool {
    const struct_size = @sizeOf(T);
    var total_size = 0;
    switch (@typeInfo(T)) {
        .Struct => |info| {
            for (info.fields) |field| {
                total_size += @sizeOf(field.type);
            }
        },
        else => @compileError("not support yet"),
    }

    return struct_size != total_size;
}

[jiacai2050]

即使 struct_size == total_size 也不能说明没有 padding 呀，比如某个 field 本身就是 padding 过的。

有个简单的做法：@sizeOf(T) == @bitSizeOf(T)

[vkensou]

我只是简单写下，复杂情况没考虑。
你给的这个方法不太行，下面这个就不对

const A = struct {
    a: u64,
    b: u32,
};

sizeOf是16， bitSizeOf是128