09_impl_trait_2

目标： 将``add_ticket的签名（参数调用）从impl Trait`语法改为显示泛型参数

当前签名（impl Trait 写法）

pub fn add_ticket(&mut self, ticket: impl Into<Ticket>) {

    self.tickets.push(ticket.into());

}

修改后

pub fn add_ticket<T: Into<Ticket>>(&mut self, ticket: T) {

    self.tickets.push(ticket.into());

}

为什么必须改？关键区别在这里

两者在行为上几乎等价，但有一个重要差异：调用者能否显式指定泛型类型参数
查看测试代码：

store.add_ticket::<TicketDraft>(TicketDraft {

    title: ticket_title(),

    description: ticket_description(),

});

这行代码使用了 turbofish 语法 ::<TicketDraft> 来显式指定泛型参数

• ✅泛型参数 <T: Into<Ticket>>：允许 add_ticket::<TicketDraft>(...)，调用者可以显式指T
• ❌impl Trait 语法：impl Into<Ticket> 是语法糖，编译器自动推断类型，不允许用 turbofish 显式指定

两者对比总结

特性	impl Into	<T: Into>
语义	等价	等价
调用者能否用 turbofish 指定类型	❌ 不行	✅ 可以
简洁性	✅ 更简洁	略冗长
编译错误可读性	✅ 更友好	略差
函数指针 / 作为回调	❌ 无法使用	✅ 可以
总结：
impl Trait 是"我不在乎具体类型，编译器你帮我推断"；泛型参数是"我把类型选择权也交给调用者"。后者更灵活，前者更简洁

turbofish 语法 ::<>

Turbofish 就是 Rust 中显式指定泛型类型参数的语法，形如 ::<T>。因为 :: 后面跟着 <>，长得像一条鱼 🐟，所以得名 turbofish

为什么需要它

泛型函数的类型参数通常由编译器自动推断，不需要你手动指定。但有时推断不出来，或者你想覆盖编译器的选择，这时就需要 turbofish

例子对比：

// 编译器推断：T = i32，不需要 turbofish

let v: Vec<i32> = Vec::new();

// 等价写法：显式指定 T = i32

let v = Vec::<i32>::new();

//          ^^^^^^ turbofish!

再比如 parse，它返回 Result<T, E>，编译器完全不知道你要解析成什么类型，必须手动指定：

📖parse()是str的一个方法，底层依赖标准库中的FromStrtrait，任何实现了FromStr的类型都可以使用prase()进行转换

parse() 可以将字符串 (&str) 解析为基本数据类型（如整数、浮点数或自定义类型）以及 其他（实现了FromStrtrait）的类型

// ❌ 编译器不知道 T 是什么

let n = "42".parse();

// ✅ 用 turbofish 告诉编译器

let n = "42".parse::<i32>();

// ✅ 等价写法：用类型注解

let n: i32 = "42".parse().unwrap();

补充语法位置

场景	语法
泛型函数	function::(args)
泛型方法	obj.method::(args)
泛型结构体构造	Struct::::new()
关联泛型函数	Type::method::()