Rust

2025年08月05日更新 7 人订阅
原价: ¥ 6 限时优惠
专栏简介 Rust编程语言之错误处理 Rust 语言之 flod Rust编程语言之Cargo、Crates.io详解 Rust编程语言之枚举与模式匹配 Rust语言 - 接口设计的建议之受约束(Constrained) Rust编程语言之无畏并发 Rust语言 - 接口设计的建议之灵活(flexible) Rust语言 - 接口设计的建议之显而易见(Obvious) Rust语言 - 接口设计的建议之不意外(unsurprising) Rust 实战:构建实用的 CLI 工具 HTTPie Rust编程语言学习之高级特性 Rust内存管理揭秘:深度剖析指针与智能指针 解决Rust中数组和切片的编译时大小问题 《Rust编程之道》学习笔记一 Rust Async 异步编程 简易教程 使用 Async Rust 构建简单的 P2P 节点 Rust编程语言入门之模式匹配 Rust async 编程 Rust编程语言之编写自动化测试 Rust编程语言之函数式语言特性:迭代器和闭包 《Rust编程之道》学习笔记二 Rust Tips 比较数值 使用 Rust 开发一个微型游戏 Rust编程初探:深入理解Struct结构体 深入理解Rust中的内存管理:栈、堆与静态内存详解 深入理解 Rust 结构体:经典结构体、元组结构体和单元结构体的实现 深入掌握 Rust 结构体:从模板到实例化的完整指南 深入理解Rust中的结构体:逻辑与数据结合的实战示例 深入理解 Rust 枚举:从基础到实践 掌握Rust字符串的精髓:String与&str的最佳实践 全面解析 Rust 模块系统:实战案例与应用技巧 Rust 中的 HashMap 实战指南:理解与优化技巧 掌握Rust模式匹配:从基础语法到实际应用 Rust 中的面向对象编程:特性与实现指南 深入理解 Rust 的 Pin 和 Unpin:理论与实践解析 Rust Trait 与 Go Interface:从设计到实战的深度对比 从零开始:用 Rust 和 Axum 打造高效 Web 应用 Rust 错误处理详解:掌握 anyhow、thiserror 和 snafu Rust 如何优雅实现冒泡排序 链表倒数 K 节点怎么删?Python/Go/Rust 实战 用 Rust 玩转数据存储:JSON 文件持久化实战 Rust实战:打造高效字符串分割函数 如何高效学习一门技术:从知到行的飞轮效应 Rust 编程入门:Struct 让代码更优雅 Rust 编程:零基础入门高性能开发 用 Rust 写个猜数游戏,编程小白也能上手! Rust 入门教程:变量到数据类型,轻松掌握! 深入浅出 Rust:函数、控制流与所有权核心特性解析 从零开始:用 Rust 和 Axum 打造高效 Web 服务 Rust 集合类型解析:Vector、String、HashMap 深入浅出Rust:泛型、Trait与生命周期的硬核指南 Rust实战:博物馆门票限流系统设计与实现 用 Rust 打造高性能图片处理服务器:从零开始实现类似 Thumbor 的功能 Rust 编程入门实战:从零开始抓取网页并转换为 Markdown 深入浅出 Rust:高效处理二进制数据的 Bytes 与 BytesMut 实战 Rust智能指针:解锁内存管理的进阶之道 用 Rust 打造命令行利器:从零到一实现 mini-grep 解锁Rust代码组织:轻松掌握Package、Crate与Module Rust 所有权:从内存管理到生产力释放 深入解析 Rust 的面向对象编程:特性、实现与设计模式 Rust + Protobuf:从零打造高效键值存储项目 bacon 点燃 Rust:比 cargo-watch 更爽的开发体验 用 Rust 打造微型游戏:从零开始的 Flappy Dragon 开发之旅 函数式编程的Rust之旅:闭包与迭代器的深入解析与实践 探索Rust编程之道:从设计哲学到内存安全的学习笔记 精读《Rust编程之道》:吃透语言精要,彻底搞懂所有权与借用 Rust 避坑指南:搞定数值比较,别再让 0.1 + 0.2 != 0.3 困扰你! 告别 Vec!掌握 Rust bytes 库,解锁零拷贝的真正威力 告别竞态条件:基于 Axum 和 Serde 的 Rust 并发状态管理最佳实践 Rust 异步编程实践:从 Tokio 基础到阻塞任务处理模式 Rust 网络编程实战:用 Tokio 手写一个迷你 TCP 反向代理 (minginx) 保姆级教程:Zsh + Oh My Zsh 终极配置,让你的 Ubuntu 终端效率倍增 不止于后端:Rust 在 Web 开发中的崛起之路 (2024数据解读) Rust核心利器:枚举(Enum)与模式匹配(Match),告别空指针,写出优雅健壮的代码 Rust 错误处理终极指南:从 panic! 到 Result 的优雅之道 想用 Rust 开发游戏?这份超详细的入门教程请收好! 用 Rust 实现 HTTPie:一个现代 CLI 工具的构建过程 Rust 异步实战:从0到1,用 Tokio 打造一个高性能并发聊天室 深入 Rust 核心:彻底搞懂指针、引用与智能指针 Rust 生产级后端实战:用 Axum + sqlx 打造高性能短链接服务 深入 Rust 内存模型:栈、堆、所有权与底层原理 Rust 核心概念解析:引用、借用与内部可变性 掌握 Rust 核心:生命周期与借用检查全解析 Rust 内存布局深度解析:从对齐、填充到 repr 属性 Rust Trait 分派机制:静态与动态的抉择与权衡 Rust Thread::Builder 用法详解:线程命名与栈大小设置 Rust 泛型 Trait:关联类型与泛型参数的核心区别 Rust Scoped Threads 实战:更安全、更简洁的并发编程 Rust 核心设计:孤儿规则与代码一致性解析

Rust 泛型 Trait:关联类型与泛型参数的核心区别

在 Rust 中,泛型 Trait 有两种实现方式:泛型类型参数和关联类型。它们有何区别?哪种更优?本文将深入对比这两种方式的核心差异与优缺点。帮你理清思路:何时需要多重实现带来的灵活性,何时应追求单一实现带来的清晰与简洁。让你在项目开发中,能根据具体场景做出最佳选择,写出更易维护的 Rust 代码

Rust 泛型 Trait:关联类型与泛型参数的核心区别

在 Rust 中,泛型是实现代码复用和抽象的强大工具。当我们为 Trait 添加泛型能力时,会遇到两种主要方式:使用泛型类型参数(trait Foo<T>)或使用关联类型(trait Foo { type Bar; })。这两种方式看似都能达到目的,但在设计理念、使用场景和维护成本上却有天壤之别。如何做出正确的选择,直接关系到我们代码的清晰度、可维护性和易用性。本文将深入探讨这两种方法的区别,帮助你构建更优雅、更健壮的 Rust 代码。

泛型 Trait

  • 两种:
    • 泛型类型参数:trait Foo&lt;T>
    • 关联类型:trait Foo {type Bar;}
  • 区别:
    • 使用关联类型:对于指定类型的 trait 只有一个实现
    • 使用泛型类型参数:多个实现
  • 建议(简单来说):
    • 可以的话尽量使用 关联类型

泛型(类型参数)Trait

  • 必须指定所有的泛型类型参数,并重复写这些参数的 Bound
    • 维护较难
    • 如果添加泛型类型参数到某个 Trait,该 Trait 的所有用户必须都进行更新代码
  • 针对给定类型,一个 Trait 可存在多重实现
    • 缺点:对于你想要用的是 Trait 的哪个实例,编译器决定起来更困难了
    • 不得不调用类似这样的 FromIterator::&lt;u32>::from_iter 可消除歧义的函数
    • 也是优点:
    • impl PartialEq&lt;BookFormat> for Book
    • 实现 FromIterator&lt;T>FromIterator&lt;&T> where T:Clone

关联类型 Trait

trait Contains {
  type A;
  type B;

  // Updated syntax to refer to these new types generically.
  fn contains(&self, _: &self::A, _: &self::B) -> bool;
}
  • 使用关联类型:
    • 编译器只需要知道实现 Trait 的类型
    • Bound 可完全位于 Trait 本身,不必重复使用
    • 未来再添加 关联类型 也不影响用户使用
    • 具体的类型会决定 Trait 内关联类型的类型,无需使用消除歧义的函数
impl Contains for Container {
  type A = i32;
  type B = i32;

  fn contains(&self, number_1: &i32, number_2: &i32) -> bool {
    (&self.0 == number_1) && (&self.1 == number_2)
  }

  fn first(&self) -> i32 { self.0 }

  fn last(&self) -> i32 { self.1 }
}
  • 但是:
    • 不可以多个 Target 类型来实现 Deref
    • 不可以使用多个 Item 来实现 Iterator
pub trait Deref {
  type Target: ?Sized;

  fn deref(&self) -> &Self::Target;
}

pub trait Iterator {
  type Item;
}

总结

本文我们探讨了 Rust 中定义泛型 Trait 的两种方法:泛型类型参数和关联类型。

核心区别在于:

  1. 实现数量:一个类型可以为一个泛型参数 Trait 实现多次(只要泛型参数不同),但只能为一个关联类型 Trait 实现一次。

  2. 代码维护:关联类型将类型约束和定义集中在 Trait 内部,用户在使用时更简洁,也更容易在未来扩展 Trait 而不影响已有代码。而泛型参数则需要在每个使用场景重复声明类型和约束,维护起来更复杂。

  3. 歧义性:由于泛型参数 Trait 支持多重实现,有时需要使用 ::<> 这种消除歧义的语法来明确指定具体实现,而关联类型则没有这个问题。

总的建议是:

在设计 Trait 时,应优先考虑使用关联类型。它能让代码更清晰,API 更稳定,也更符合人机工程学。只有当你明确需要“一个类型能够针对不同的外部类型,多次实现同一个 Trait”时(例如标准库中的 FromIterator<T>),才选择使用泛型类型参数。

参考

点赞 1
收藏 1
分享
本文参与登链社区写作激励计划 ,好文好收益,欢迎正在阅读的你也加入。

0 条评论

请先 登录 后评论