Rust属性的所有支持格式及各格式适用场景咨询

你观察到的四种是Rust属性的基础格式，但还有一些常用的扩展变体，下面逐一说明所有格式及适用场景：

基础格式 #

1. 无参数属性 #[attribute_name] #

• 示例：#[test]、#[non_exhaustive]、#[allow(unused_variables)]
• 适用场景：用于传递简单标记，告诉编译器或工具链启用特定行为。比如标记测试函数、标记结构体为非穷尽类型、关闭特定编译警告。

2. 键值对属性 #[key = value] #

• 示例：#![crate_type = "lib"]、#[doc = "这是一个公共函数"]
• 注意：以#!开头的是crate级属性，作用于整个 crate；#[...]是项级属性，作用于紧邻的代码项（函数、结构体等）。
• 适用场景：设置单个配置项，比如指定 crate 的编译输出类型、直接定义文档字符串、设置编译器的基础配置。

3. 带单个参数的方法式属性 #[attribute_name(param)] #

• 示例：#[cfg(test)]、#[derive(Debug)]、#[repr(C)]
• 适用场景：给属性传递单个核心参数，比如指定条件编译的触发条件、指定要自动实现的Trait、设置结构体的内存布局。

4. 带键值对参数的方法式属性 #[attribute_name(key = value)] #

• 示例：#[cfg(target_os = "linux")]、#[serde(rename = "user_id")]、#[link(name = "openssl", kind = "static")]
• 适用场景：传递更精细的配置参数，比如按操作系统设置编译条件、给序列化字段指定别名、配置外部库的链接方式。

扩展格式 #

除了基础格式，还有几种常用的扩展写法：

• 多参数组合：在一个属性中用逗号分隔多个参数，支持混合类型。比如#[derive(Debug, Clone, PartialEq)]（多个标识符参数）、#[serde(rename = "user_id", default)]（键值对+无参数）、#[cfg(target_os = "linux", feature = "advanced")]（多个键值对）。
• 嵌套属性：属性可以嵌套使用，实现条件触发或组合逻辑。比如#[cfg_attr(target_os = "windows", allow(unused_variables))]——当目标系统是Windows时，自动启用allow(unused_variables)属性；还有#[proc_macro_derive(Debug, attributes(debug_ignore))]——在自定义派生宏中指定额外的属性标记。
• 属性组：用逗号分隔多个属性，合并到一个#[...]块中，比如#[cfg(test), test]等价于分开写的#[cfg(test)] #[test]，适合简化多个关联属性的写法。

关键区分点 #

• 作用域：#!前缀的属性作用于整个 crate，比如#![feature(proc_macro)]启用nightly特性；#[...]仅作用于紧跟的代码项。
• 内置vs自定义：内置属性由Rust原生支持（如test、cfg），格式遵循官方规范；自定义属性由proc宏提供（如serde、tokio的属性），格式由宏开发者定义，可能会有更多灵活变体。

内容的提问来源于stack exchange，提问作者Finlay Weber