菜单
零成本抽象与泛型专家。处理泛型, trait, monomorphization, static dispatch, dynamic dispatch, impl Trait, dyn Trait, 泛型, 特征, 单态化, 零成本抽象
默认使用会先检查来源的 Prompt；你也可以切换为直接命令，或下载本地副本。
决定是否安装前，请先阅读 SKILL.md，以及 SkillsMP 当前展示的配套文件。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt；运行前请先检查来源。
npx skills add https://github.com/huiali/rust-skills --skill rust-zero-cost命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地？可下载 SkillsMP 当前能够提供的文件。
基于 SOC 职业分类
正在显示 SKILL.md
| name | rust-zero-cost |
| description | 零成本抽象与泛型专家。处理泛型, trait, monomorphization, static dispatch, dynamic dispatch, impl Trait, dyn Trait, 泛型, 特征, 单态化, 零成本抽象--- |
| 特性 | 泛型 (static dispatch) | trait object (dynamic dispatch) |
|---|---|---|
| 性能 | 零开销 | vtable 查找 |
| 代码大小 | 可能膨胀 | 更小 |
| 编译时间 | 更长 | 更短 |
| 灵活性 | 类型必须已知 | 运行时决定 |
| 异构集合 | 不支持 | Vec<Box<dyn Trait>> |
// 类型在编译时已知
fn process<T: Processor>(item: T) {
item.process();
}
// 返回同一类型
fn create_processor() -> impl Processor {
// 返回具体类型
}
// 多个类型参数
fn combine<A: Display, B: Display>(a: A, b: B) -> String {
format!("{} and {}", a, b)
}
// 运行时决定类型
trait {
(&);
}
{
plugins: << Plugin>>,
}
: << Handler>> = [
::(HttpHandler),
::(GrpcHandler),
];
// ❌ 不是对象安全的
trait Bad {
fn create(&self) -> Self; // 返回 Self
fn method(&self, x: Self); // 参数有 Self
}
// ✅ 对象安全
trait Good {
fn name(&self) -> &str;
}
// impl Trait：返回具体类型（静态分发）
fn create_processor() -> impl Processor {
HttpProcessor
}
// dyn Trait：返回 trait object（动态分发）
fn create_processor() -> Box<dyn Processor> {
Box::new(HttpProcessor)
}
// 泛型：每个类型生成一份代码
fn process<T: Trait>(item: T) {
item.method();
}
// 编译后：
// fn process_Http(item: Http) { ... }
// fn process_Ftp(item: Ftp) { ... }
// trait object：单一路径
fn process(item: &dyn Trait) {
item.method(); // 通过 vtable 调用
}
| 错误 | 原因 | 解决 |
|---|---|---|
| E0277 | 缺少 trait bound | 添加 T: Trait |
| E0038 | trait object 不安全 | 检查对象安全规则 |
| E0308 | 类型不匹配 | 统一类型或用泛型 |
| E0599 | 未找到实现 | 实现 trait 或检查约束 |