词映 AI导航
工具库Skills 技能
我的收藏
词映 AI导航

Claude Code Rust 技能：为外部输入加法处理溢出

English

Claude Code 安装步骤

  1. 打开 GitHub 固定提交的 `.claude/skills/checked-arithmetic/SKILL.md`，核对内容与使用条件。
  2. 在自己的项目中创建 `.claude/skills/checked-arithmetic/`，把核对后的文件保存为 `.claude/skills/checked-arithmetic/SKILL.md`。
  3. 在该项目根目录启动 Claude Code，在斜杠菜单中选择 `/checked-arithmetic`。

中文摘要

用 Rust checked_add 明确区分正常结果和溢出，为来自外部的数据保留一致的错误行为。

SKILL.md 中文导读

可复现示例

用窄整数模拟统计计数。给 250 分别累加 5 和 6，并让调用方根据 checked_add 结果转换错误。
`u8::MAX` · `250_u8.checked_add(5)` · `250_u8.checked_add(6)`

工作步骤

  1. 找到来源于外部的数量及其整数类型。
  2. 用 checked 运算保留失败分支，将 None 映射到领域错误。
  3. 分别测试可表示的最大和首个超范围输入。

验收方法

累加 `5` 返回 `Some(255)`；累加 `6` 返回 `None` 并映射到调用方错误 `Overflow`。

GitHub 原文 · 更新日期

适用环境

在 Miden Rust 工作区中用 Claude Code 复核接收外部数量的运算。准备纯内存练习数据和边界单元测试。

常见问题

是否只在调试构建运行该边界用例？

应让逻辑在不同构建模式都显式处理溢出。用单元测试验证正常边界和超范围输入。

相关指南

相关推荐