Rust 语言中的属性（Attributes）是附加到代码（例如模块、函数、结构体、枚举或整个 crate）上的元数据，用于向编译器提供额外信息、指示编译器执行特定操作，或启用某些功能。
属性以
#[attribute_name]（表示该属性作用于紧接着它的下一个声明项（Item Declaration））或 #! [attribute_name]（应用于包含它的项目，如模块或 crate 根目录）的形式出现。也就是说有感叹号的属性作用于该rs文件，而没有感叹号的仅作用于紧邻的下一个声明项。以下是一些 Rust 中最常用和重要的属性：
1. 自动实现 Trait
这是日常 Rust 编程中使用最频繁的属性之一。它指示编译器自动为你的类型生成 Trait 的实现代码。
| 属性 | 作用 | 常用 Traits |
|---|---|---|
#[derive(...)] |
自动为类型实现指定的 Trait | Debug, Clone, Copy, PartialEq, Eq, Hash, Default |
示例：
#[derive(Debug, Clone, PartialEq)]
struct Point {x: i32,y: i32,
}2. 测试与条件编译
用于控制代码的编译方式，特别是用于测试代码。
| 属性 | 作用 |
|---|---|
#[test] |
标记一个函数为测试函数。 |
#[cfg(...)] |
控制是否编译其所附着的代码块。 |
#[cfg(test)] |
#[cfg] 的一种常见用法，仅在运行测试时编译代码。 |
#[ignore] |
在运行测试时忽略此测试用例。 |
示例：
#[cfg(test)] // 整个模块只在测试时编译
mod tests {#[test] // 这是一个测试函数fn it_works() {assert_eq!(2 + 2, 4);}
}3. 控制编译器行为（Linting）
用于抑制或启用特定的编译器警告或错误。
| 属性 | 作用 |
|---|---|
#[allow(...)] |
允许指定的警告（忽略它）。 |
#[warn(...)] |
将指定的警告级别设置为警告。 |
#[deny(...)] |
将指定的警告级别提升为错误。 |
#[forbid(...)] |
比 deny 更严格，不允许任何绕过的方式。 |
示例：
// 允许使用未使用的变量警告，只针对这个函数
#[allow(unused_variables)]
fn my_function(x: i32) {let y = 10; // y 不会触发警告
}4. 宏相关
用于定义和导出自定义宏。
| 属性 | 作用 |
|---|---|
#[macro_export] |
使声明式宏 (macro_rules!) 可以在其他 crate 中使用。 |
#[proc_macro] |
标记一个函数为过程宏（需要单独的 crate）。 |
示例：
#[macro_export]
macro_rules! my_macro {() => { println!("Hello!"); };
}5. FFI（外部函数接口）相关
在与 C 或其他语言进行交互时，这些属性非常关键。
| 属性 | 作用 |
|---|---|
#[no_mangle] |
告诉编译器不要“混淆”此函数的名称，使其可以被外部 C/C++ 代码找到。 |
#[repr(C)] |
强制结构体使用 C 语言兼容的内存布局。 |
#[link(...)] |
链接到外部库。 |
#[export_name = "..."] |
为函数指定一个特定的导出名称。 |
示例：
#[no_mangle]
pub extern "C" fn call_from_c() {// ...
}#[repr(C)]
struct CStruct {field1: u32,field2: f64,
}6. 优化与文档
| 属性 | 作用 |
|---|---|
#[inline] |
建议编译器进行函数内联优化。 |
#[doc = "..."] |
文档注释的底层属性。 |
示例：
#[inline(always)] // 强制编译器始终内联此函数
fn get_zero() -> i32 {0
}
