Foundry Forge Lint 规则详解incorrect-using-for检查无效的using L for T指令【免费下载链接】foundryFoundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.项目地址: https://gitcode.com/GitHub_Trending/fo/foundry本篇指南深入讲解 Foundryforge lint内置规则incorrect-using-for严重级别Info它用于识别 Solidity 中using L for T指令引用的库没有任何函数能以T作为绑定的第一个参数含隐式转换的情况从而捕获绑定了空气的失效指令。读完本文你将掌握该规则的判定原理、典型误用场景、修复方法以及如何用forge lint在项目中实际启用与验证它。规则速览属性值规则 IDincorrect-using-for严重级别Info触发对象using L for T形式的指令排除范围using L for *与using {f} for T两种形式该规则在 Foundry 的 lint 引擎中注册于 crates/lint/src/sol/info/mod.rs实现位于 crates/lint/src/sol/info/incorrect_using_for.rs属于晚阶段Latelint pass它需要完整的类型信息与语义分析因此在 HIR 遍历阶段执行而非在 AST 阶段。规则做什么incorrect-using-for报告以下情况当库L中没有任何非 private 函数的第一个参数接受类型T包括通过隐式转换可接受的情况时using L for T指令就是无效的。一个简单的误用示例来自 规则文档library CounterLib { function increment(uint256 v) internal pure returns (uint256) { return v 1; } } contract C { // CounterLib 没有任何函数接受 address 类型 using CounterLib for address; }CounterLib.increment接受的是uint256using CounterLib for address实际上什么成员都没有绑定到address上该指令是死代码。为什么这是问题绑定不到任何东西的指令是死代码通常是笔误写错了库名或写错了类型。更隐蔽的是Solidity 编译器会静默接受这种写法而不报错因此错误会在后续调用点以令人困惑的Member f not found错误出现甚至永远不会暴露——你写下的库扩展从未生效代码却在默默按另一种方式运行。正确的写法如果库CounterLib接受uint256就应该绑定到uint256contract C { using CounterLib for uint256; uint256 internal counter; function bump() internal view returns (uint256) { return counter.increment(); } }判定逻辑的源码级解析在 incorrect_using_for.rs 中check_directive对每一条using指令执行如下判定星号形式直接放行using L for *会把库的每个函数都绑定到任意类型上无需校验源码第 40 行let Some(hir_ty) directive.ty else { return }。花括号形式由编译器负责using {f} for T在编译器类型检查阶段就会拒绝无法绑定到T的函数规则跳过第 51 行仅处理UsingEntryKind::Library条目。三种数据位置分别探测库函数绑定第一个参数时遵循类型检查器规则——storage可以隐式转换为memory但不能转换为calldata。因此实现对Storage、Memory、Calldata三种位置逐一探测第 46-47 行只要任一种位置能绑定函数指令即视为有效。成员必须确实被绑定通过members_of枚举目标类型可用的成员要求member.attached为真、成员是函数并且函数声明于被引用的库中、可见性不是 private第 55-64 行。只有所有条目都无法绑定时才在entry.span处发出诊断。测试用例揭示的边界场景仓库的测试文件 crates/lint/testdata/IncorrectUsingFor.sol 完整覆盖了该规则的判定边界对应期望输出见 IncorrectUsingFor.stderr其中 4 处//~NOTE标注了应被报告的指令。以下场景值得特别注意隐式转换也算适用uint8可以隐式拓宽到uint256参数测试第 60-61 行派生合约可以绑定到接受基类参数的函数第 70-71 行这两种情况不触发规则// uint8 可隐式转换为 uint256指令有效 using WideLib for uint8; // Derived 可隐式转换为 Base指令有效 using BaseLib for Derived;库表单跳过 private 函数using L for T的库形式会自动跳过库中的 private 函数因此 private 成员不能救活一个失效的库指令测试第 115-132 行library PrivateLib { using {PrivateLib.grab} for Holder; using PrivateLib for Holder; // 触发 NOTEgrab 是 private库表单不绑定它 function grab(Holder memory h) private pure returns (uint256) { ... } }仅 public / external 函数同样有效public 和 external 可见性的库函数也能通过库表单绑定测试第 137-156 行且每种可见性独立判定。零参数函数绑不上库中唯一的普通函数无参数时没有可供匹配的绑定的第一个参数指令同样是空操作测试第 158-168 行library ZeroParamLib { function answer() internal pure returns (uint256) { return 42; } } contract UsesZeroParamLib { using ZeroParamLib for uint256; // 触发 NOTE }calldata 参数单独探测storage不转换为calldata所以接受calldata参数的函数只在 calldata 位置下被发现测试第 88-111 行例如bytes.slice1()、string.tail()这类切片场景是合法的绑定。在项目中启用与使用incorrect-using-for属于Info级别。需要明确forge lint默认只运行High、Med、Low三个严重级别见 crates/config/src/lint.rs 中LinterConfig::default()因此Info级规则需要显式启用。命令行按 ID 启用测试文件头部使用//compile-flags: --only-lint incorrect-using-for的方式单独运行该规则。手动运行时forge lint --only-lint incorrect-using-for按严重级别启用在foundry.toml的[lint]段配置severity加入Info即可启用包括本规则在内的全部信息级规则[lint] severity [high, medium, low, info]Severity枚举支持High、Med或medium、Low、Info、Gas、CodeSizecode-size/size解析大小写不敏感crates/config/src/lint.rs。其他相关配置配置项作用[lint] exclude_lints按 ID 排除指定规则如exclude_lints [incorrect-using-for][lint] ignore按 glob 忽略文件被忽略的文件不参与任何 lintunsafe-cheatcode等少数规则除外lint_on_build默认为true即forge build时自动执行 lintforge build --no-lint可跳过crates/forge/src/cmd/build.rswith_severity/with_lints/without_lintsSolidityLinter的构建选项用于按严重级别或具体规则过滤crates/lint/src/sol/mod.rs需要注意的是test 与 script 目录下的文件默认被排除在 lint 之外unsafe-cheatcode等例外生产源码始终会被检查见 crates/lint/README.md 说明。输出示例触发时输出形如note[incorrect-using-for]: using ... for names a library with no function applicable to the type, so the directive attaches nothing ╭▸ src/IncorrectUsingFor.sol:LL:CC │ LL │ using StringLib for Point; │ ━━━━━━━━━ ╰修复建议核对库名确认using后面的库是否就是包含目标函数的那个库这是最常见的笔误来源。核对目标类型检查for后面的类型是否与库函数的第一个参数匹配必要时借助隐式转换如uint8→uint256确认。改用花括号形式若只想绑定单个函数using {L.f} for T会把类型检查交给编译器不匹配时直接编译失败能在更早阶段暴露错误。删除无效指令若确认该绑定确实多余直接移除。参考链接规则文档crates/lint/docs/incorrect-using-for.md规则实现crates/lint/src/sol/info/incorrect_using_for.rs注册入口crates/lint/src/sol/info/mod.rs测试用例crates/lint/testdata/IncorrectUsingFor.sol、期望输出Linter 配置说明crates/lint/README.md开发新 lint 规则指南docs/dev/lintrules.md【免费下载链接】foundryFoundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.项目地址: https://gitcode.com/GitHub_Trending/fo/foundry创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
Foundry Forge Lint 规则详解：`incorrect-using-for` 检查无效的 `using L for T` 指令
Foundry Forge Lint 规则详解incorrect-using-for检查无效的using L for T指令【免费下载链接】foundryFoundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.项目地址: https://gitcode.com/GitHub_Trending/fo/foundry本篇指南深入讲解 Foundryforge lint内置规则incorrect-using-for严重级别Info它用于识别 Solidity 中using L for T指令引用的库没有任何函数能以T作为绑定的第一个参数含隐式转换的情况从而捕获绑定了空气的失效指令。读完本文你将掌握该规则的判定原理、典型误用场景、修复方法以及如何用forge lint在项目中实际启用与验证它。规则速览属性值规则 IDincorrect-using-for严重级别Info触发对象using L for T形式的指令排除范围using L for *与using {f} for T两种形式该规则在 Foundry 的 lint 引擎中注册于 crates/lint/src/sol/info/mod.rs实现位于 crates/lint/src/sol/info/incorrect_using_for.rs属于晚阶段Latelint pass它需要完整的类型信息与语义分析因此在 HIR 遍历阶段执行而非在 AST 阶段。规则做什么incorrect-using-for报告以下情况当库L中没有任何非 private 函数的第一个参数接受类型T包括通过隐式转换可接受的情况时using L for T指令就是无效的。一个简单的误用示例来自 规则文档library CounterLib { function increment(uint256 v) internal pure returns (uint256) { return v 1; } } contract C { // CounterLib 没有任何函数接受 address 类型 using CounterLib for address; }CounterLib.increment接受的是uint256using CounterLib for address实际上什么成员都没有绑定到address上该指令是死代码。为什么这是问题绑定不到任何东西的指令是死代码通常是笔误写错了库名或写错了类型。更隐蔽的是Solidity 编译器会静默接受这种写法而不报错因此错误会在后续调用点以令人困惑的Member f not found错误出现甚至永远不会暴露——你写下的库扩展从未生效代码却在默默按另一种方式运行。正确的写法如果库CounterLib接受uint256就应该绑定到uint256contract C { using CounterLib for uint256; uint256 internal counter; function bump() internal view returns (uint256) { return counter.increment(); } }判定逻辑的源码级解析在 incorrect_using_for.rs 中check_directive对每一条using指令执行如下判定星号形式直接放行using L for *会把库的每个函数都绑定到任意类型上无需校验源码第 40 行let Some(hir_ty) directive.ty else { return }。花括号形式由编译器负责using {f} for T在编译器类型检查阶段就会拒绝无法绑定到T的函数规则跳过第 51 行仅处理UsingEntryKind::Library条目。三种数据位置分别探测库函数绑定第一个参数时遵循类型检查器规则——storage可以隐式转换为memory但不能转换为calldata。因此实现对Storage、Memory、Calldata三种位置逐一探测第 46-47 行只要任一种位置能绑定函数指令即视为有效。成员必须确实被绑定通过members_of枚举目标类型可用的成员要求member.attached为真、成员是函数并且函数声明于被引用的库中、可见性不是 private第 55-64 行。只有所有条目都无法绑定时才在entry.span处发出诊断。测试用例揭示的边界场景仓库的测试文件 crates/lint/testdata/IncorrectUsingFor.sol 完整覆盖了该规则的判定边界对应期望输出见 IncorrectUsingFor.stderr其中 4 处//~NOTE标注了应被报告的指令。以下场景值得特别注意隐式转换也算适用uint8可以隐式拓宽到uint256参数测试第 60-61 行派生合约可以绑定到接受基类参数的函数第 70-71 行这两种情况不触发规则// uint8 可隐式转换为 uint256指令有效 using WideLib for uint8; // Derived 可隐式转换为 Base指令有效 using BaseLib for Derived;库表单跳过 private 函数using L for T的库形式会自动跳过库中的 private 函数因此 private 成员不能救活一个失效的库指令测试第 115-132 行library PrivateLib { using {PrivateLib.grab} for Holder; using PrivateLib for Holder; // 触发 NOTEgrab 是 private库表单不绑定它 function grab(Holder memory h) private pure returns (uint256) { ... } }仅 public / external 函数同样有效public 和 external 可见性的库函数也能通过库表单绑定测试第 137-156 行且每种可见性独立判定。零参数函数绑不上库中唯一的普通函数无参数时没有可供匹配的绑定的第一个参数指令同样是空操作测试第 158-168 行library ZeroParamLib { function answer() internal pure returns (uint256) { return 42; } } contract UsesZeroParamLib { using ZeroParamLib for uint256; // 触发 NOTE }calldata 参数单独探测storage不转换为calldata所以接受calldata参数的函数只在 calldata 位置下被发现测试第 88-111 行例如bytes.slice1()、string.tail()这类切片场景是合法的绑定。在项目中启用与使用incorrect-using-for属于Info级别。需要明确forge lint默认只运行High、Med、Low三个严重级别见 crates/config/src/lint.rs 中LinterConfig::default()因此Info级规则需要显式启用。命令行按 ID 启用测试文件头部使用//compile-flags: --only-lint incorrect-using-for的方式单独运行该规则。手动运行时forge lint --only-lint incorrect-using-for按严重级别启用在foundry.toml的[lint]段配置severity加入Info即可启用包括本规则在内的全部信息级规则[lint] severity [high, medium, low, info]Severity枚举支持High、Med或medium、Low、Info、Gas、CodeSizecode-size/size解析大小写不敏感crates/config/src/lint.rs。其他相关配置配置项作用[lint] exclude_lints按 ID 排除指定规则如exclude_lints [incorrect-using-for][lint] ignore按 glob 忽略文件被忽略的文件不参与任何 lintunsafe-cheatcode等少数规则除外lint_on_build默认为true即forge build时自动执行 lintforge build --no-lint可跳过crates/forge/src/cmd/build.rswith_severity/with_lints/without_lintsSolidityLinter的构建选项用于按严重级别或具体规则过滤crates/lint/src/sol/mod.rs需要注意的是test 与 script 目录下的文件默认被排除在 lint 之外unsafe-cheatcode等例外生产源码始终会被检查见 crates/lint/README.md 说明。输出示例触发时输出形如note[incorrect-using-for]: using ... for names a library with no function applicable to the type, so the directive attaches nothing ╭▸ src/IncorrectUsingFor.sol:LL:CC │ LL │ using StringLib for Point; │ ━━━━━━━━━ ╰修复建议核对库名确认using后面的库是否就是包含目标函数的那个库这是最常见的笔误来源。核对目标类型检查for后面的类型是否与库函数的第一个参数匹配必要时借助隐式转换如uint8→uint256确认。改用花括号形式若只想绑定单个函数using {L.f} for T会把类型检查交给编译器不匹配时直接编译失败能在更早阶段暴露错误。删除无效指令若确认该绑定确实多余直接移除。参考链接规则文档crates/lint/docs/incorrect-using-for.md规则实现crates/lint/src/sol/info/incorrect_using_for.rs注册入口crates/lint/src/sol/info/mod.rs测试用例crates/lint/testdata/IncorrectUsingFor.sol、期望输出Linter 配置说明crates/lint/README.md开发新 lint 规则指南docs/dev/lintrules.md【免费下载链接】foundryFoundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.项目地址: https://gitcode.com/GitHub_Trending/fo/foundry创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
