Rust ABI对枚举紧凑性有什么保证？

She*_*ter 6

这种行为有保证吗？

不,Rust ABI 不保证任何形式,这就是"不稳定"的含义.只要代码工作并且ABI之外的其他保证被保留,开发人员就能够在他们认为合适时更改它.

真的,在这种情况下,你不像在做类型布局那样关心ABI .参考文献说,强调我的:

没有repr属性的标称类型具有默认表示.非正式地,这种表示也称为rust表示.

有此表现毫不数据布局的保证.

他们可能想要在某些时候改变表示以增加大小的一个很好的理由

一个可能的原因是因为填充或对齐等概念.有可能(但不太可能)有人发现将每个结构对齐到331个字节会使代码运行速度提高53倍.

rustc +nightly -Zprint-type-sizes enum-pactness.rs

type: `Node`: 24 bytes, alignment: 8 bytes
    discriminant: 1 bytes
    variant `N1_1`: 7 bytes
        field `.is_good`: 1 bytes
        padding: 2 bytes
        field `.stuff`: 4 bytes, alignment: 4 bytes
    variant `N1_2`: 23 bytes
        field `.is_good`: 1 bytes
        padding: 6 bytes
        field `.left`: 8 bytes, alignment: 8 bytes
        field `.right`: 8 bytes

type: `Node2`: 8 bytes, alignment: 4 bytes
    discriminant: 4 bytes
    variant `N2_1`: 4 bytes
        field `.stuff`: 4 bytes
    variant `N2_2`: 0 bytes