OpenZeppelin Contracts Solidity 风格与安全约定指南从 Error 到 Assembly 的库级编码规范【免费下载链接】openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.项目地址: https://gitcode.com/GitHub_Trending/op/openzeppelin-contracts本文基于 .claude/skills/solidity-style/SKILL.md 编写。OpenZeppelin Contracts 是一套面向安全智能合约开发的 Solidity 库当前仓库版本 5.7.0其contracts/**/*.sol下的每一行代码都遵循一套超越编译器与 linter 的书写约定——从自定义错误的命名与存放位置到事件时态、NatSpec 标签、unchecked不变量注释、memory-safe内联汇编乃至 pragma 下限的自动化收敛。读完本文你将掌握这套库级风格与安全规范的全貌能够据此审查或编写符合 OpenZeppelin 质量水准的 Solidity 源码。约定体系的总览solhint 之外的部分在深入各条约定之前需要先理解这套风格体系的边界。SKILL.md 明确说明本文讨论的约定并非由 solhint 强制而是项目维护者在长期实践中沉淀下来的库级纪律。由 solhint solhint-plugin-openzeppelin源码位于 scripts/solhint-custom/已经强制的内容包括状态变量必须为privateconstant/immutable除外下划线前缀与可见性匹配private/internal成员加_public/external不加库的内部函数不加_禁止external virtualfallback 除外库只暴露internal/private接口以I开头、合约与事件用 CapWords、修饰符与参数用 mixedCase。这些规则在 CLAUDE.md 中有系统化描述且在代码审查中命中即修复、不必解释。而 SKILL.md 与 CLAUDE.md 中始终开启的约定Always-on conventions共同构成了 solhint 覆盖不到的第二层规范这才是本文的核心。错误处理Errorsrevert优先与 ERC-6093 命名书写形式if (condition) revert CustomError(args);库中约定优先使用if (condition) revert CustomError(args);形式。require(condition, CustomError())虽然从^0.8.26经 IR 编译起可用、^0.8.27起稳定但只有在文件 pragma 已经指向该版本、且文件其余部分都在使用该写法时才可接受——不允许为了使用这种写法而刻意抬升 pragma。以 contracts/token/ERC20/ERC20.sol 中的_transfer为例function _transfer(address from, address to, uint256 value) internal { if (from address(0)) { revert ERC20InvalidSender(address(0)); } if (to address(0)) { revert ERC20InvalidReceiver(address(0)); } _update(from, to, value); }命名跟随 ERC-6093自定义错误遵循 ERC-6093 标准域前缀若错误违反的是某个 ERC 规范使用ERC编号前缀如ERC20InsufficientBalance否则使用组件名如Governor、ECDSA、Timelock。携带违规值错误参数必须包含违规的上下文值让调用方能够解码失败场景。例如 contracts/interfaces/draft-IERC6093.sol 中error ERC20InsufficientBalance(address sender, uint256 balance, uint256 needed);sender、balance、needed三个参数让上层应用无需查链上状态即可理解谁、有多少、缺多少。全库禁止重复声明同名错误重复声明会在多合约继承时引发标识符冲突。由于 OpenZeppelin 的合约被下游广泛继承参考 CLAUDE.md 的向后兼容约定这一条是硬性约束。存放位置的四级优先级错误声明的位置遵循明确的优先级复用底层 ERC 已定义的错误如IERC20Errors中的六种错误否则声明在拥有该概念的接口或库中否则声明在实现合约中当接口/库已被 ERC 锁定否则声明在实际触发它的扩展中。实践中标准错误统一收敛在 contracts/interfaces/draft-IERC6093.solIERC20Errors、IERC721Errors、IERC1155Errors实现合约通过IERC20Errors继承后直接revert ERC20InsufficientBalance(...)既避免重复声明也让接口层成为错误的注册中心。事件Events状态变更之后发出事件约定有三条核心先改状态、后发事件emit after the state change保证事件忠实反映账本最终状态。过去式 CapWords 命名OwnershipTransferred、RoleGranted。ERC 标准事件遵循规范时态例如 ERC-20 的Transfer是现在时——以规范原文为准不做统一改写。事件声明位置为接口中或发出合约的顶部。以 contracts/token/ERC20/ERC20.sol 为例合约继承IERC20后直接使用接口声明的Transfer/Approval事件而_update在完成余额计算后统一发出Transfer事件正是状态先变、事件后发的体现。NatSpecdev是唯一主力标签OpenZeppelin 的文档引擎只渲染dev标签因此dev是各处的主标签notice、param、return只出现在保存 ERC 原文规格的接口文件中不要为实现合约添加notice——它不会出现在生成的文档里纯属冗余。书写形式/// dev 单行注释 /** dev 多行注释 … */需要文档化的是 public/internal 函数、事件、错误和构造函数private 函数可选不上文档站。覆盖override分两种情况纯透传、无新增内容/// inheritdoc InterfaceName增加了额外要求或注意事项/** dev See {Interface-functionName}. \n\n Requirements: … */交叉引用语法为{ContractName-functionName}例如{IERC20-transfer}、{_update}可被文档引擎解析成跳转链接。dev块内部的小节标题有固定词汇表Requirements:、NOTE:、WARNING:、IMPORTANT:注意事项应被表述为合约的不变量属性而不是对安全行为的警告。可在 contracts/token/ERC20/ERC20.sol 中看到dev与 Requirements 小节的典型组合。导入与文件结构导入规则100% 具名花括号导入不使用通配符contracts/内使用相对路径。import { IERC20, IERC20Metadata } from ../../interfaces/IERC20.sol;实际上限定的导入面更广除 Solidity 导入外本库没有任何会传导给用户的第三方依赖新引入依赖需要维护者批准见 CLAUDE.md。文件头部顺序// SPDX-License-Identifier: MIT// OpenZeppelin Contracts (last updated vX.Y.Z) (path/to/file.sol)——由发布脚本管理禁止手写。scripts/release/update-comment.js 会在发布时依据自上一个 tag 以来变更的contracts/**/*.sol文件重写此行。新文件只需写 SPDX 行首次纳入时发布脚本自动追加第二行。pragma solidity …导入合约级 NatSpec合约声明SPDX/last updated头与pragma之间留一个空行。实际文件可对照 contracts/utils/structs/EnumerableSet.sol// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v5.7.0) (utils/structs/EnumerableSet.sol) // This file was procedurally generated from scripts/generate/templates/EnumerableSet.js. pragma solidity ^0.8.24;合约体内成员顺序using→ structs/enums → constants → state vars → events → errors → modifiers → constructor → external/public 函数 → internal → private。abstract 声明不打算独立部署的合约基类、扩展、mixin一律声明为abstract强制只能通过继承使用。这正是本库作为可继承库定位的体现——CLAUDE.md 明确仓库是一套abstract contract与library的实现集合而非可直接部署的产品。返回值Return values默认不命名返回值除非其含义不明显或存在多个返回值// 不命名 returns (uint256) // 有意义时命名 returns (bool isMember, uint32 currentDelay)这与 library-api-design 技能中参数类型不得约束继承者的理念一脉相承。接口Interfaces约定ERC 接口是本库的门面约束最严格ERC 定义的行为必须有接口且应独立成文件名称以I开头存在命名冲突风险时附加 ERC 编号如IModule→IERC7579Module。接口尽可能贴近规范原文含参数名与返回名不得声明规范之外的内容非规范的错误、结构体、事件放入实现合约或库。接口内函数为external非值类型参数用calldata——这是规范形态实现用public/memory两者有意区分。只有强制性的 ERC 元素进基础接口可选的进扩展接口name()在IERC20Metadata而不在IERC20。放置位置ERC 接口放 contracts/interfaces/ERC 尚未定稿时加draft-前缀否则放在实现旁边。接口文件不应导入任何非接口文件。在 contracts/interfaces/ 目录可以观察到draft-前缀的实践draft-IERC6093.sol、draft-IERC7579.sol、draft-IERC7802.sol等说明这些标准仍处于草案阶段。Pragma交给工具不靠手挑不要手工挑选 pragma 下限运行npm run pragma其底层机制scripts/minimize-pragma.jspackage.json 中定义为npm run compile scripts/minimize-pragma.js artifacts/build-info/*从编译产物构建依赖图对每个文件逐一尝试所有候选 solc 版本编译写回能编译且兼容全部依赖方的最低版本自动选择语法——接口用实现与库用^尊重minVersionForContracts下限默认0.8.20。新增文件时先沿用同目录相似文件的 pragma下次运行时由最小化脚本收紧编辑文件时若使用了可能抬高下限的特性则运行该脚本。配套 CI 任务npm run test:pragmascripts/checks/pragma-validity.js验证下限对合约实际发射的 opcode 是诚实的。典型失败模式是抬高下限而不检查目标链的 opcode 可用性——例如0.8.24引入的mcopy见 CLAUDE.md。随意抬升下限可能让下游部署到不支持这些 opcode 的链上直接失败这正是该检查存在的意义。内联汇编Assembly必须标注 memory-safe所有assembly (memory-safe)标注是强制性的省略标注会禁用内存优化器并显著增加 gas任何非平凡操作都要附行内注释。该约定在仓库中得到了严格执行——assembly (memory-safe)出现在 contracts/utils/structs/EnumerableSet.sol、contracts/utils/Packing.sol212 处全库之最、contracts/utils/Arrays.sol20 处、contracts/utils/math/Math.sol11 处等数十个文件中。memory-safe标注的诚实性属于人工复核清单CLAUDE.md因为标注与实际内存行为不符会破坏优化器的假设。数值字面量规则场景进制示例内存相关位置、偏移、长度十六进制mload(0x40)、mstore(add(ptr, 0x20), value)、keccak256(ptr, 0x55)位运算移位量、位数十进制shl(128, value)、sar(96, x)平凡小值1、2 等十进制亦可ptr : add(ptr, 1)call/staticcall/delegatecall中位置与长度均为零十进制零可接受—规则背后的理由内存偏移习惯用十六进制表达字节地址的语义而移位量用十进制表达位的数量可读性最佳。unchecked内联不变量注释是契约只有配合内联不变量注释命名边界时才允许使用unchecked仅当原因可从正上方一行直接看出时才可省略注释unchecked { // Overflow not possible: value fromBalance totalSupply. _balances[from] fromBalance - value; }这段示例正是 contracts/token/ERC20/ERC20.sol 中_update的真实实现。同一函数内的三处unchecked各自带有边界论证_balances[from] fromBalance - value;—— 边界value fromBalance totalSupply_totalSupply - value;—— 边界value totalSupply or value fromBalance totalSupply_balances[to] value;—— 边界balance value至多等于totalSupply而totalSupply已知能装入uint256。审查时要对能到达该块的每条代码路径重新推导边界。注释本身就是契约——它声明了为什么该处不会溢出而_update中先检查fromBalance value再进unchecked的写法正是先显式校验、后跳过检查的标准模式。这也是 CLAUDE.md 中要求对每条可达路径重新验证的原因。类型转换Casting窄化必用 SafeCast任何收窄整型转换uint256 → uint48等必须使用SafeCast.toUintXX()或对应的toIntXX。只有在显式边界检查之后才允许直接 Solidity 转换——且该检查必须落在你可以指认的某一行上。contracts/utils/math/SafeCast.sol 提供toUintXX/toIntXX系列函数内部实现为超出type(uintXX).max或类型下界即 revert从而把窄化溢出从静默截断变成显式失败。这条约定与错误要携带违规值结合让SafeCast的 revert 信息对调用方完全可解码。继承顺序Inheritance ordering全局一致任何is A, B, C列表中基类的相对顺序必须全局一致——同一组基类在不同合约中的书写顺序不能颠倒否则 C3 线性化C3 linearization可能在多继承时产生冲突。CI 运行npm run test:inheritancescripts/checks/inheritance-ordering.jspackage.json对编译产物做检测。改动任何is列表之后npm run compile npm run test:inheritance之所以用编译产物检测而非源码正则是因为只有解析后的继承图才能可靠判断顺序是否冲突。这条约束对被广泛继承的库尤为重要——下游组合多个基类时上游顺序不一致会直接导致部署时线性化失败。程序化生成合约Procedurally generated contracts若文件头包含// This file was procedurally generated from …则禁止手改。正确流程是编辑模板 scripts/generate/templates/如Arrays.js、Checkpoints.js、EnumerableMap.js、EnumerableSet.js、SafeCast.js、Packing.js等运行npm run generatescripts/generate/run.jsCI 的npm run test:generationscripts/checks/generation.sh强制模板与产物一致。前文引用的 contracts/utils/structs/EnumerableSet.sol 就是典型——头部同时带有last updated行与程序化生成声明模板为scripts/generate/templates/EnumerableSet.js。scripts/generate/templates/下还有.opts.js、.t.js等配套文件说明生成管线支持参数化与测试模板。手工修改生成文件的后果是下次npm run generate会把你的改动覆盖掉且 CI 直接报红。实践清单一份可操作的审查速查表综合 SKILL.md 全部约定在contracts/下编写或审查.sol文件时可对照以下清单错误revert优先ERC-6093 前缀携带违规值全库无同名错误按四级优先级选址。事件状态变更后发出过去式 CapWordsERC 规范时态除外声明在接口或合约顶部。NatSpecdev为主力实现合约不加noticeinheritdoc透传、/** dev */补充{Contract-function}交叉引用Requirements:/NOTE:/WARNING:/IMPORTANT:小节。导入与结构具名花括号导入SPDX →last updated→ pragma → imports → NatSpec → 声明体内按using→ structs/enums → constants → state vars → events → errors → modifiers → constructor → 函数 排序非部署合约声明abstract。返回值默认不命名。接口贴近 ERC 原文、externalcalldata、基础/扩展接口分离、不导入非接口文件。Pragmanpm run pragma生成不手挑。Assembly一律(memory-safe)内存相关十六进制、位运算十进制。unchecked内联不变量注释 逐路径复推边界。Casting窄化走SafeCast或先显式检查。继承顺序npm run compile npm run test:inheritance。生成文件只改模板npm run generate后再提交。以上约定中头部版本行与 pragma 下限不可手写、必须由发布/工具脚本维护这是与一般项目风格指南最大的不同它把会随版本漂移的信息交给自动化把体现设计意图的信息留给开发者。这正是 OpenZeppelin Contracts 能以稳定 API 支撑数以万计下游合约的工程基础。【免费下载链接】openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.项目地址: https://gitcode.com/GitHub_Trending/op/openzeppelin-contracts创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
OpenZeppelin Contracts Solidity 风格与安全约定指南从 Error 到 Assembly 的库级编码规范【免费下载链接】openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.项目地址: https://gitcode.com/GitHub_Trending/op/openzeppelin-contracts本文基于 .claude/skills/solidity-style/SKILL.md 编写。OpenZeppelin Contracts 是一套面向安全智能合约开发的 Solidity 库当前仓库版本 5.7.0其contracts/**/*.sol下的每一行代码都遵循一套超越编译器与 linter 的书写约定——从自定义错误的命名与存放位置到事件时态、NatSpec 标签、unchecked不变量注释、memory-safe内联汇编乃至 pragma 下限的自动化收敛。读完本文你将掌握这套库级风格与安全规范的全貌能够据此审查或编写符合 OpenZeppelin 质量水准的 Solidity 源码。约定体系的总览solhint 之外的部分在深入各条约定之前需要先理解这套风格体系的边界。SKILL.md 明确说明本文讨论的约定并非由 solhint 强制而是项目维护者在长期实践中沉淀下来的库级纪律。由 solhint solhint-plugin-openzeppelin源码位于 scripts/solhint-custom/已经强制的内容包括状态变量必须为privateconstant/immutable除外下划线前缀与可见性匹配private/internal成员加_public/external不加库的内部函数不加_禁止external virtualfallback 除外库只暴露internal/private接口以I开头、合约与事件用 CapWords、修饰符与参数用 mixedCase。这些规则在 CLAUDE.md 中有系统化描述且在代码审查中命中即修复、不必解释。而 SKILL.md 与 CLAUDE.md 中始终开启的约定Always-on conventions共同构成了 solhint 覆盖不到的第二层规范这才是本文的核心。错误处理Errorsrevert优先与 ERC-6093 命名书写形式if (condition) revert CustomError(args);库中约定优先使用if (condition) revert CustomError(args);形式。require(condition, CustomError())虽然从^0.8.26经 IR 编译起可用、^0.8.27起稳定但只有在文件 pragma 已经指向该版本、且文件其余部分都在使用该写法时才可接受——不允许为了使用这种写法而刻意抬升 pragma。以 contracts/token/ERC20/ERC20.sol 中的_transfer为例function _transfer(address from, address to, uint256 value) internal { if (from address(0)) { revert ERC20InvalidSender(address(0)); } if (to address(0)) { revert ERC20InvalidReceiver(address(0)); } _update(from, to, value); }命名跟随 ERC-6093自定义错误遵循 ERC-6093 标准域前缀若错误违反的是某个 ERC 规范使用ERC编号前缀如ERC20InsufficientBalance否则使用组件名如Governor、ECDSA、Timelock。携带违规值错误参数必须包含违规的上下文值让调用方能够解码失败场景。例如 contracts/interfaces/draft-IERC6093.sol 中error ERC20InsufficientBalance(address sender, uint256 balance, uint256 needed);sender、balance、needed三个参数让上层应用无需查链上状态即可理解谁、有多少、缺多少。全库禁止重复声明同名错误重复声明会在多合约继承时引发标识符冲突。由于 OpenZeppelin 的合约被下游广泛继承参考 CLAUDE.md 的向后兼容约定这一条是硬性约束。存放位置的四级优先级错误声明的位置遵循明确的优先级复用底层 ERC 已定义的错误如IERC20Errors中的六种错误否则声明在拥有该概念的接口或库中否则声明在实现合约中当接口/库已被 ERC 锁定否则声明在实际触发它的扩展中。实践中标准错误统一收敛在 contracts/interfaces/draft-IERC6093.solIERC20Errors、IERC721Errors、IERC1155Errors实现合约通过IERC20Errors继承后直接revert ERC20InsufficientBalance(...)既避免重复声明也让接口层成为错误的注册中心。事件Events状态变更之后发出事件约定有三条核心先改状态、后发事件emit after the state change保证事件忠实反映账本最终状态。过去式 CapWords 命名OwnershipTransferred、RoleGranted。ERC 标准事件遵循规范时态例如 ERC-20 的Transfer是现在时——以规范原文为准不做统一改写。事件声明位置为接口中或发出合约的顶部。以 contracts/token/ERC20/ERC20.sol 为例合约继承IERC20后直接使用接口声明的Transfer/Approval事件而_update在完成余额计算后统一发出Transfer事件正是状态先变、事件后发的体现。NatSpecdev是唯一主力标签OpenZeppelin 的文档引擎只渲染dev标签因此dev是各处的主标签notice、param、return只出现在保存 ERC 原文规格的接口文件中不要为实现合约添加notice——它不会出现在生成的文档里纯属冗余。书写形式/// dev 单行注释 /** dev 多行注释 … */需要文档化的是 public/internal 函数、事件、错误和构造函数private 函数可选不上文档站。覆盖override分两种情况纯透传、无新增内容/// inheritdoc InterfaceName增加了额外要求或注意事项/** dev See {Interface-functionName}. \n\n Requirements: … */交叉引用语法为{ContractName-functionName}例如{IERC20-transfer}、{_update}可被文档引擎解析成跳转链接。dev块内部的小节标题有固定词汇表Requirements:、NOTE:、WARNING:、IMPORTANT:注意事项应被表述为合约的不变量属性而不是对安全行为的警告。可在 contracts/token/ERC20/ERC20.sol 中看到dev与 Requirements 小节的典型组合。导入与文件结构导入规则100% 具名花括号导入不使用通配符contracts/内使用相对路径。import { IERC20, IERC20Metadata } from ../../interfaces/IERC20.sol;实际上限定的导入面更广除 Solidity 导入外本库没有任何会传导给用户的第三方依赖新引入依赖需要维护者批准见 CLAUDE.md。文件头部顺序// SPDX-License-Identifier: MIT// OpenZeppelin Contracts (last updated vX.Y.Z) (path/to/file.sol)——由发布脚本管理禁止手写。scripts/release/update-comment.js 会在发布时依据自上一个 tag 以来变更的contracts/**/*.sol文件重写此行。新文件只需写 SPDX 行首次纳入时发布脚本自动追加第二行。pragma solidity …导入合约级 NatSpec合约声明SPDX/last updated头与pragma之间留一个空行。实际文件可对照 contracts/utils/structs/EnumerableSet.sol// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v5.7.0) (utils/structs/EnumerableSet.sol) // This file was procedurally generated from scripts/generate/templates/EnumerableSet.js. pragma solidity ^0.8.24;合约体内成员顺序using→ structs/enums → constants → state vars → events → errors → modifiers → constructor → external/public 函数 → internal → private。abstract 声明不打算独立部署的合约基类、扩展、mixin一律声明为abstract强制只能通过继承使用。这正是本库作为可继承库定位的体现——CLAUDE.md 明确仓库是一套abstract contract与library的实现集合而非可直接部署的产品。返回值Return values默认不命名返回值除非其含义不明显或存在多个返回值// 不命名 returns (uint256) // 有意义时命名 returns (bool isMember, uint32 currentDelay)这与 library-api-design 技能中参数类型不得约束继承者的理念一脉相承。接口Interfaces约定ERC 接口是本库的门面约束最严格ERC 定义的行为必须有接口且应独立成文件名称以I开头存在命名冲突风险时附加 ERC 编号如IModule→IERC7579Module。接口尽可能贴近规范原文含参数名与返回名不得声明规范之外的内容非规范的错误、结构体、事件放入实现合约或库。接口内函数为external非值类型参数用calldata——这是规范形态实现用public/memory两者有意区分。只有强制性的 ERC 元素进基础接口可选的进扩展接口name()在IERC20Metadata而不在IERC20。放置位置ERC 接口放 contracts/interfaces/ERC 尚未定稿时加draft-前缀否则放在实现旁边。接口文件不应导入任何非接口文件。在 contracts/interfaces/ 目录可以观察到draft-前缀的实践draft-IERC6093.sol、draft-IERC7579.sol、draft-IERC7802.sol等说明这些标准仍处于草案阶段。Pragma交给工具不靠手挑不要手工挑选 pragma 下限运行npm run pragma其底层机制scripts/minimize-pragma.jspackage.json 中定义为npm run compile scripts/minimize-pragma.js artifacts/build-info/*从编译产物构建依赖图对每个文件逐一尝试所有候选 solc 版本编译写回能编译且兼容全部依赖方的最低版本自动选择语法——接口用实现与库用^尊重minVersionForContracts下限默认0.8.20。新增文件时先沿用同目录相似文件的 pragma下次运行时由最小化脚本收紧编辑文件时若使用了可能抬高下限的特性则运行该脚本。配套 CI 任务npm run test:pragmascripts/checks/pragma-validity.js验证下限对合约实际发射的 opcode 是诚实的。典型失败模式是抬高下限而不检查目标链的 opcode 可用性——例如0.8.24引入的mcopy见 CLAUDE.md。随意抬升下限可能让下游部署到不支持这些 opcode 的链上直接失败这正是该检查存在的意义。内联汇编Assembly必须标注 memory-safe所有assembly (memory-safe)标注是强制性的省略标注会禁用内存优化器并显著增加 gas任何非平凡操作都要附行内注释。该约定在仓库中得到了严格执行——assembly (memory-safe)出现在 contracts/utils/structs/EnumerableSet.sol、contracts/utils/Packing.sol212 处全库之最、contracts/utils/Arrays.sol20 处、contracts/utils/math/Math.sol11 处等数十个文件中。memory-safe标注的诚实性属于人工复核清单CLAUDE.md因为标注与实际内存行为不符会破坏优化器的假设。数值字面量规则场景进制示例内存相关位置、偏移、长度十六进制mload(0x40)、mstore(add(ptr, 0x20), value)、keccak256(ptr, 0x55)位运算移位量、位数十进制shl(128, value)、sar(96, x)平凡小值1、2 等十进制亦可ptr : add(ptr, 1)call/staticcall/delegatecall中位置与长度均为零十进制零可接受—规则背后的理由内存偏移习惯用十六进制表达字节地址的语义而移位量用十进制表达位的数量可读性最佳。unchecked内联不变量注释是契约只有配合内联不变量注释命名边界时才允许使用unchecked仅当原因可从正上方一行直接看出时才可省略注释unchecked { // Overflow not possible: value fromBalance totalSupply. _balances[from] fromBalance - value; }这段示例正是 contracts/token/ERC20/ERC20.sol 中_update的真实实现。同一函数内的三处unchecked各自带有边界论证_balances[from] fromBalance - value;—— 边界value fromBalance totalSupply_totalSupply - value;—— 边界value totalSupply or value fromBalance totalSupply_balances[to] value;—— 边界balance value至多等于totalSupply而totalSupply已知能装入uint256。审查时要对能到达该块的每条代码路径重新推导边界。注释本身就是契约——它声明了为什么该处不会溢出而_update中先检查fromBalance value再进unchecked的写法正是先显式校验、后跳过检查的标准模式。这也是 CLAUDE.md 中要求对每条可达路径重新验证的原因。类型转换Casting窄化必用 SafeCast任何收窄整型转换uint256 → uint48等必须使用SafeCast.toUintXX()或对应的toIntXX。只有在显式边界检查之后才允许直接 Solidity 转换——且该检查必须落在你可以指认的某一行上。contracts/utils/math/SafeCast.sol 提供toUintXX/toIntXX系列函数内部实现为超出type(uintXX).max或类型下界即 revert从而把窄化溢出从静默截断变成显式失败。这条约定与错误要携带违规值结合让SafeCast的 revert 信息对调用方完全可解码。继承顺序Inheritance ordering全局一致任何is A, B, C列表中基类的相对顺序必须全局一致——同一组基类在不同合约中的书写顺序不能颠倒否则 C3 线性化C3 linearization可能在多继承时产生冲突。CI 运行npm run test:inheritancescripts/checks/inheritance-ordering.jspackage.json对编译产物做检测。改动任何is列表之后npm run compile npm run test:inheritance之所以用编译产物检测而非源码正则是因为只有解析后的继承图才能可靠判断顺序是否冲突。这条约束对被广泛继承的库尤为重要——下游组合多个基类时上游顺序不一致会直接导致部署时线性化失败。程序化生成合约Procedurally generated contracts若文件头包含// This file was procedurally generated from …则禁止手改。正确流程是编辑模板 scripts/generate/templates/如Arrays.js、Checkpoints.js、EnumerableMap.js、EnumerableSet.js、SafeCast.js、Packing.js等运行npm run generatescripts/generate/run.jsCI 的npm run test:generationscripts/checks/generation.sh强制模板与产物一致。前文引用的 contracts/utils/structs/EnumerableSet.sol 就是典型——头部同时带有last updated行与程序化生成声明模板为scripts/generate/templates/EnumerableSet.js。scripts/generate/templates/下还有.opts.js、.t.js等配套文件说明生成管线支持参数化与测试模板。手工修改生成文件的后果是下次npm run generate会把你的改动覆盖掉且 CI 直接报红。实践清单一份可操作的审查速查表综合 SKILL.md 全部约定在contracts/下编写或审查.sol文件时可对照以下清单错误revert优先ERC-6093 前缀携带违规值全库无同名错误按四级优先级选址。事件状态变更后发出过去式 CapWordsERC 规范时态除外声明在接口或合约顶部。NatSpecdev为主力实现合约不加noticeinheritdoc透传、/** dev */补充{Contract-function}交叉引用Requirements:/NOTE:/WARNING:/IMPORTANT:小节。导入与结构具名花括号导入SPDX →last updated→ pragma → imports → NatSpec → 声明体内按using→ structs/enums → constants → state vars → events → errors → modifiers → constructor → 函数 排序非部署合约声明abstract。返回值默认不命名。接口贴近 ERC 原文、externalcalldata、基础/扩展接口分离、不导入非接口文件。Pragmanpm run pragma生成不手挑。Assembly一律(memory-safe)内存相关十六进制、位运算十进制。unchecked内联不变量注释 逐路径复推边界。Casting窄化走SafeCast或先显式检查。继承顺序npm run compile npm run test:inheritance。生成文件只改模板npm run generate后再提交。以上约定中头部版本行与 pragma 下限不可手写、必须由发布/工具脚本维护这是与一般项目风格指南最大的不同它把会随版本漂移的信息交给自动化把体现设计意图的信息留给开发者。这正是 OpenZeppelin Contracts 能以稳定 API 支撑数以万计下游合约的工程基础。【免费下载链接】openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.项目地址: https://gitcode.com/GitHub_Trending/op/openzeppelin-contracts创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
