结构体布局

使用显式控制字段来自定义结构体布局。

用法

此进程宏可在crates.io上找到。

文档可以在docs.rs上找到。

在您的Cargo.toml中，添加以下内容

[dependencies]
struct_layout = "0.1"

示例

将#[struct_layout::explicit]属性应用于结构体定义，并在每个字段声明上放置#[field]属性。

语法从C# [StructLayout]属性中汲取灵感。

/// Doc comments are allowed.
#[struct_layout::explicit(size = 32, align = 4)]
#[derive(Copy, Clone, Debug, Default)]
pub struct Foo {
	#[field(offset = 21, get, set)]
	pub unaligned: f32,

	/// Documenting the fields works too.
	#[field(offset = 4)]
	pub int: i32,
}

这里有很多东西要解释，让我们一步一步来。

struct_layout::explicit属性

此属性必须应用于结构体定义，属性参数顺序固定

结构体的大小和对齐方式是必需的，格式为size = <usize>和align = <usize>。

以下是一个可选的check(..)参数，它指定了一个必须由所有字段成员实现的特质约束。这允许自定义特质确保所有字段类型都是安全的。如果不存在，则所有字段都必须实现Copy。

其他属性

由于转换具有侵略性，因此仅支持一小部分白名单属性

• 允许使用doc注释，并将其应用于最终生成的结构。
• 使用白名单标识符的derive。

生成的结构

这个进程宏生成一个新类型元组结构，它包装了一个长度由size参数指定的字节数组。该结构通过C和align表示形式，使用由align参数指定的对齐方式来装饰。指定的可见性应用于生成的结构。还添加了任何文档注释。

基本上，这是

/// Doc comments are allowed.
#[repr(C, align(4))]
pub struct Foo([u8; 32]);

支持的自动派生特性

唯一支持自动派生的特性是Copy、Clone、Debug和Default。未来的扩展可能允许支持更多特性。

别忘了你可以在生成的类型上实现额外的方法和特性！

结构字段语法

结构中的每个字段都必须伴随一个单一的#[field(..)]属性。不允许使用除doc注释以外的任何属性。