SuperAPI AI 工具集

rust

编程与开发

查看项目

更新于 10-15 23:58

技能介绍

用途:让 Rust 改动遵循本工作区既有的系统编程模式,而不是通用 Rust 默认习惯。先识别任务所属子系统,再只加载相关参考文件,避免一次性载入整棵参考树。

主要能力与规则:默认安全 Rust,仅在合理时使用 unsafe,且每个 unsafe 块需带 // SAFETY: 注释;尽量零拷贝,使用 mmap 段与指向页面的 &str/&[u8] 引用;错误类型按 crate 边界划分,库 crate 用 thiserror 枚举,库中不用 anyhow,仅二进制与测试可用;异步统一用 tokio,所有 I/O 异步,CPU 密集工作放 spawn_blocking,不阻塞运行时;工作区按子系统一 crate 划分,依赖向下、禁止循环;不变量用 proptest 做属性测试。

使用方式:Step 0 先判断任务触及的子系统(存储引擎、二进制格式、类型系统、Arrow/DataFusion、线协议、搜索或向量、arena 或图、地理索引、异步并发、测试、unsafe 或错误设计)。Step 1 按路由表只读匹配文件,如 references/stack.md、storage-engine.md、binary-formats.md、type-system.md、datafusion-arrow.md、wire-protocols.md、search-vector.md、arena-graph.md、geo-rtree.md、async-concurrency.md、testing.md、error-unsafe.md;多任务可读多文件。Step 2 按核心护栏实现:显式 use 导入(测试模块外不用 glob)、返回 Result 或计算值的函数加 #[must_use]、#[inline] 仅用于热循环小函数、跨异步边界的 trait 对象加 Send + Sync、公开类型加 #[derive(Debug)]、可选依赖用 feature 标志、测试按风险选择单元/集成/属性/快照等。Step 3 用最窄验证循环:cargo fmt、cargo clippy -- -D warnings、聚焦 crate 测试及子系统专属测试。

适用场景:本工作区内的 Rust 系统编程任务,包括新功能、缺陷修复与代码评审。

限制:不得把整本 Rust 手册内联进 SKILL.md;不得跳过子系统识别;库 crate 中不得使用 anyhow(除非项目明确允许);不得添加 disable-model-invocation;不得留下未记录的 unsafe 不变量。输出需报告加载了哪些参考、应用的子系统模式、所做改动与验证运行。