第 9 章：泛型、Trait 与宏

第 9 章：泛型、Trait 与宏

9.1 泛型基础

泛型允许编写可重用代码。

fn largest<T: PartialOrd>(list: &[T]) -> &T {
    let mut largest = &list[0];
    for item in list.iter() {
        if item > largest {
            largest = item;
        }
    }
    largest
}

• 使用 T 表示类型参数
• PartialOrd 是类型约束

9.2 Trait 定义与实现

Trait 是行为抽象。

trait Summary {
    fn summarize(&self) -> String;
}

struct NewsArticle {
    headline: String,
}

impl Summary for NewsArticle {
    fn summarize(&self) -> String {
        format!("{}", self.headline)
    }
}

• Trait 可以定义默认方法
• 多个类型可以实现相同 Trait

9.3 常用标准 Trait

• Display：用户友好输出
• Debug：调试格式
• Clone：显式复制
• Into / From：类型转换

impl fmt::Display for Point {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(f, "({}, {})", self.x, self.y)
    }
}

9.4 宏基础

macro_rules!

macro_rules! create_function {
    ($func_name:ident) => {
        fn $func_name() {
            println!("Function {:?} called", stringify!($func_name));
        }
    };
}

create_function!(foo);

• macro_rules! 用于定义声明宏
• 宏是编译时代码生成工具

9.5 过程宏概念

过程宏可以生成更复杂代码，例如 derive 宏。

• #[derive(Debug)]
• #[derive(Serialize, Deserialize)]

9.6 练习

• 为自定义结构体实现 Display
• 编写一个泛型函数处理不同类型的集合
• 创建一个简单宏，生成 getter 方法