rust-pro 是一个聚焦 Rust 1.75+ 的专业开发技能,定位为现代 Rust 开发专家,涵盖异步编程、系统级性能与生产级应用。
用途
适用于构建 Rust 服务、库或系统工具;解决所有权、生命周期或异步设计问题;在保证内存安全的前提下进行性能优化。当任务与上述范围明显匹配时应使用该技能;若只是需要快速脚本或动态运行时、只需要基础 Rust 语法、或无法将 Rust 引入现有技术栈,则不建议使用。
主要能力
技能覆盖多个方向:
- 现代语言特性:Rust 1.75+ 特性、const 泛型与类型推断改进、高级生命周期标注与省略规则、泛型关联类型(GATs)、高级模式匹配与解构、常量求值与编译期计算、过程宏与声明宏、模块系统与可见性、基于 Result/Option 与自定义错误类型的错误处理。
- 所有权与内存管理:所有权规则、借用与移动语义、Rc/Arc/弱引用、智能指针(Box、RefCell、Mutex、RwLock)、内存布局优化与零成本抽象、RAII、Phantom 类型与零大小类型、无 GC 的内存安全、自定义分配器与内存池。
- 异步与并发:Tokio 运行时下的 async/await、Stream 处理与异步迭代器、mpsc/broadcast/watch 通道、axum、tower、hyper 生态、select 并发任务管理、背压与流控、异步 trait 对象与动态分发、异步性能优化。
- 类型系统与 trait:高级 trait 实现与约束、关联类型与 GATs、类型级编程、标记 trait、孤儿规则与新类型模式、派生宏与自定义派生、类型擦除与动态分发策略、编译期多态与单态化。
- 性能与系统编程:零成本抽象与编译期优化、portable-simd、内存映射与底层 I/O、无锁编程与原子操作、缓存友好数据结构、perf/valgrind/cargo-flamegraph 性能分析、二进制体积优化与嵌入式目标、交叉编译。
- Web 开发与服务:axum、warp、actix-web,hyper 的 HTTP/2、HTTP/3,WebSocket 实时通信,认证与中间件,sqlx 与 diesel 数据库集成,serde 序列化,async-graphql,tonic gRPC。
- 错误处理与安全:thiserror 与 anyhow、自定义错误类型与传播、panic 处理与优雅降级、Result/Option 组合子、错误转换与上下文保留、结构化日志、错误测试与容错恢复。
- 测试与质量保障:内置单元测试、proptest/quickcheck 基于属性测试、集成测试组织、mockall 模拟、criterion.rs 基准测试、文档测试、tarpaulin 覆盖率、CI 自动化。
- unsafe 与 FFI:unsafe 之上的安全抽象、与 C 库的 FFI、内存安全不变量与文档、裸指针操作、系统 API/内核模块对接、bindgen、跨语言互操作、unsafe 代码审计与最小化。
- 工具链与生态:Cargo workspace 与 feature flags、交叉编译与目标配置、Clippy、rustfmt、cargo audit/deny/outdated/edit 扩展、IDE 集成、依赖管理与版本解析、包发布与文档托管。
使用方式
技能给出了一套工作流程:明确性能、安全与运行时约束;选择异步/运行时与 crate 生态方案;实现并配合测试与 lint;进行性能剖析并优化热点。行为上强调用类型系统保证编译期正确性、优先内存安全而不牺牲性能、显式使用 Result 错误处理、编写包含基于属性测试的完整测试、遵循 Rust 惯用法与社区约定、为 unsafe 代码记录安全不变量、兼顾正确性与性能,并保持对 Rust 与生态演进的跟进。
适用场景与示例
典型场景包括:设计带完善错误处理的高性能异步 Web 服务;用原子操作实现无锁并发数据结构;优化内存占用与缓存局部性;用 FFI 为 C 库编写安全封装;构建带背压的流式数据处理器;设计支持动态加载且类型安全的插件系统;为特定用途实现自定义分配器;调试并修复复杂泛型代码中的生命周期问题。
限制
应仅在任务与上述范围明确匹配时使用。其输出不能替代针对具体环境的验证、测试或专家评审。当缺少必要输入、权限、安全边界或成功标准时,应停止并请求澄清。此外,资料中未提供收费、价格或具体安装命令等信息。