开发工具测试【免费下载链接】diffDiff implementation项目地址https://gitcode.com/gh_mirrors/di/diff点击查看免费下载本篇技术指南围绕 phpstan-strict-rules 展开它是 PHPStan 官方的额外严格且强势extra strict and opinionated规则扩展通过强制布尔条件、禁止松散比较、杜绝无用类型转换等约 20 条规则把 PHP 静态分析提升到极度防御性编程级别。本仓库sebastian/diff一款 Diff 实现已在 phpstan.neon 中真实启用了其中的 19 条规则本文将结合仓库内的配置文件、规则声明文件与规则源码讲清每条规则的判定逻辑、如何安装、如何整体禁用、如何逐条启用以及在本仓库中落地后的实际形态。一、为什么需要 phpstan-strict-rulesPHPStan 本身的核心定位是在代码中找出 bugfind bugs in your code但在 PHP 这门语言中写法上有大量回旋余地if条件里可以塞整数、字符串、数组甚至null与!会做隐式类型转换empty()的判定语义极其宽松array_filter()缺省回调时按真值/假值过滤……这些语法上的宽容恰好是隐蔽 bug 的温床。phpstan-strict-rules 正是为此而生它围绕严格强类型、禁止松散类型转换这一中心思想提供一套额外规则服务于那些追求极高安全性、极度防御性编程extremely defensive programming的团队。启用后PHPStan 会在常规错误检查之外进一步拦截语法合法但类型上不严谨的写法。二、规则全景20 条严格规则一览扩展自带规则的完整清单如下表规则名即 phpstan.neon 中strictRules下的配置键名配置参数规则键名规则说明booleansInConditions强制if、elseif、三元运算符、!之后、以及与\|\|两侧必须是布尔值booleansInLoopConditions强制while与do while循环条件必须是布尔值uselessCast检测无用类型转换——例如表达式本身已是int却仍强转(int)numericOperandsInArithmeticOperators强制、-、*、/、%、**、$var、-$var、$var、$var--、$var、--$var的操作数必须是数值strictFunctionCalls这些内置函数带有$strict参数用于更好的类型安全必须显式传truein_array第 3 参数、array_search第 3 参数、array_keys第 3 参数仅当提供了第 2 参数$search_value时、base64_decode第 2 参数overwriteVariablesWithLoop禁止用foreach的键/值变量覆盖已有变量禁止用for循环初始化赋值覆盖已有变量switchConditionsMatchingTypeswitch条件与case值的类型必须匹配。PHP 默认对其做松散比较可能产生意料之外的结果dynamicCallOnStaticMethod检查静态声明的方法是否以静态方式调用disallowedEmpty禁止empty()——它是非常宽松的比较见 PHP 手册推荐使用更严格的写法disallowedLooseComparison禁止通过和!进行松散比较disallowedShortTernary禁止短三元运算符?:——其隐含弱比较推荐使用空合并运算符??或带严格条件的三元表达式noVariableVariables禁止可变变量$$foo、$this-$method()等checkAlwaysTrueInstanceof、checkAlwaysTrueCheckTypeFunctionCall、checkAlwaysTrueStrictComparison检测恒为真的instanceof、is_*类型检查函数调用、以及/!严格比较。可通过将对应参数设为false关闭未命名规则检查被引用与被调用的函数名大小写是否正确matchingInheritedMethodNames检查被继承与被实现的方法名大小写是否正确未命名规则继承方法中参数类型逆变contravariance与返回类型协变covariance即里氏替换原则Liskov substitution principleLSP未命名规则即使对静态方法也检查 LSPrequireParentConstructorCall要求调用父类构造函数disallowedBacktick禁止反引号运算符$ls \ls -ladisallowedImplicitArrayCreation当变量尚不存在时禁止通过$var[] 隐式创建数组strictArrayFilter要求array_filter()必须传入回调参数以避免其松散的比较语义illegalConstructorMethodCall禁止对已有对象调用__construct()或在其父构造函数之外以静态方式调用closureUsesThis闭包应直接使用$this而不是间接通过$this变量注意表中strictRules键名下只有明确列出的约 20 项是可配置开关上表几行未命名规则函数名大小写、LSP 检查等属于扩展通过改写 PHPStan 核心参数一并启用的规则无法通过strictRules单独开关详见本文四。三、从规则名到规则类rules.neon的映射机制在深入配置之前先看扩展是如何把一个布尔开关变成一组实际规则的。扩展的规则声明文件 tools/.phpstan/vendor/phpstan/phpstan-strict-rules/rules.neon 使用 PHPStan 的conditionalTags机制做开关映射例如conditionalTags: PHPStan\Rules\BooleansInConditions\BooleanInIfConditionRule: phpstan.rules.rule: %strictRules.booleansInConditions% PHPStan\Rules\DisallowedConstructs\DisallowedLooseComparisonRule: phpstan.rules.rule: %strictRules.disallowedLooseComparison% PHPStan\Rules\Cast\UselessCastRule: phpstan.rules.rule: %strictRules.uselessCast%从该文件可以看出几个要点一条规则可能对应多个 Rule 类例如booleansInConditions名下注册了 8 个 Rule 类——BooleanInIfConditionRule、BooleanInElseIfConditionRule、BooleanInTernaryOperatorRule、BooleanInBooleanNotRule、BooleanInBooleanAndRule、BooleanInBooleanOrRule以及属于循环条件的BooleanInWhileConditionRule、BooleanInDoWhileConditionRule后者归booleansInLoopConditions管noVariableVariables名下注册了 7 个类numericOperandsInArithmeticOperators名下注册了 12 个类。每个开关的默认值都指向allRulesrules.neon第 16~36 行中disallowedLooseComparison: %strictRules.allRules%等写法意味着——只要allRules为true所有规则默认全开把allRules设为false后各开关默认值同步变为false。parametersSchema强校验文件第 38~60 行声明了strictRules的结构化 schema每个开关都允许bool或bool[]传入其他类型会直接导致 PHPStan 配置校验失败这也是排查配置没生效时的重要依据。对应到源码实现每条规则的判定逻辑都封装为独立的 Rule 类位于 tools/.phpstan/vendor/phpstan/phpstan-strict-rules/src/Rules/ 目录下按功能划分为BooleansInConditions、Cast、Classes、DisallowedConstructs、ForLoop、ForeachLoop、Functions、Methods、Operators、StrictCalls、SwitchConditions、VariableVariables等子目录。例如src/Rules/BooleansInConditions/BooleanInIfConditionRule.php 针对If_节点若条件表达式不能以布尔语义通过BooleanRuleHelper的passesAsBoolean()判定就报出Only booleans are allowed in an if condition, %s given.错误标识符identifier为if.condNotBoolean。src/Rules/Functions/ArrayFilterStrictRule.php 只匹配名为array_filter的函数调用当只传一个参数时会分析数组元素类型——若元素类型既可能为真也可能为假例如联合类型中的真/假混合则要求显式传入第 2 个回调参数否则报出Call to function array_filter() requires parameter #2 to be passed to avoid loose comparison semantics.标识符为arrayFilter.strict若回调类型为null还会报出参数 #2 不能为 null的提示。从源码结构看这类 Rule 全部实现了 PHPStan 的RuleNode接口通过getNodeType()声明关注的 AST 节点类型、在processNode()中结合Scope的类型推断结果产出错误与 PHPStan 其他自定义规则完全同构便于二次开发与调试。四、安装Composer 一行命令接入在项目中安装扩展只需在 Composer 中声明为开发依赖composer require --dev phpstan/phpstan-strict-rules如果你同时安装了 phpstan/extension-installer 的config.allow-plugins。手动安装不使用 extension-installer如果你不想使用phpstan/extension-installer则需要在自己项目的 PHPStan 配置中显式引入rules.neonincludes: - vendor/phpstan/phpstan-strict-rules/rules.neon两种方式的区别在于extension-installer 会在 PHPStan 启动时自动收集所有已安装扩展的extra.phpstan.includes声明并注入配置手动方式则把配置加载责任完全交给你。扩展的composer.json中声明了phpstan: { includes: [rules.neon] }这正是 extension-installer 自动发现规则的依据。五、禁用规则整体关闭与逐条关闭5.1 整体关闭所有 strict 规则如果你只想用其中一两条规则或想先评估影响可以先关闭全部parameters: strictRules: allRules: false5.2 逐条禁用也可以用false单独关闭任意规则以下为本仓库 phpstan.neon 中呈现过的完整键名清单均可独立取值parameters: strictRules: disallowedLooseComparison: false booleansInConditions: false booleansInLoopConditions: false uselessCast: false requireParentConstructorCall: false disallowedBacktick: false disallowedEmpty: false disallowedImplicitArrayCreation: false disallowedShortTernary: false overwriteVariablesWithLoop: false closureUsesThis: false matchingInheritedMethodNames: false numericOperandsInArithmeticOperators: false strictFunctionCalls: false dynamicCallOnStaticMethod: false switchConditionsMatchingType: false noVariableVariables: false strictArrayFilter: false illegalConstructorMethodCall: false5.3 关键提示部分规则无法用 strictRules 关闭需要特别强调的是即使把strictRules.allRules设为false本扩展仍有部分效果在生效。原因是 phpstan-strict-rules 除了引入自定义规则外还会改写 PHPStan 自身若干配置参数的默认值这些参数在 rules.neon 顶部集中声明并归档在 PHPStan 官方更严格分析配置参考中。从 rules.neon 第 1~15 行可以看到扩展默认会改写parameters: strictRulesInstalled: true polluteScopeWithLoopInitialAssignments: false polluteScopeWithAlwaysIterableForeach: false polluteScopeWithBlock: false checkDynamicProperties: true checkExplicitMixedMissingReturn: true checkFunctionNameCase: true checkInternalClassCaseSensitivity: true reportMaybesInMethodSignatures: true reportStaticMethodSignatures: true reportMaybesInPropertyPhpDocTypes: true reportWrongPhpDocTypeInVarTag: true checkStrictPrintfPlaceholderTypes: true reportNonIntStringArrayKey: %featureToggles.bleedingEdge%也就是说规则清单中函数名大小写检查、继承方法 LSP 检查含静态方法等实质是通过checkFunctionNameCase、reportMaybesInMethodSignatures、reportStaticMethodSignatures等核心参数实现的。如果你想关闭这一类检查需要在parameters顶层手动覆写这些 PHPStan 参数并注意与allRules: false没有关系而不是在strictRules里操作。这是使用本扩展最容易踩的坑之一。六、逐条启用先关全部再开需要的如果你不想一上来就启用全部严格规则只想先启用一两条可以这样做先用allRules: false关闭全部规则再对需要开启的规则显式赋trueparameters: strictRules: allRules: false booleansInConditions: true这种白名单式配置允许团队渐进式落地严格规则先开booleansInConditions修完一轮告警再开下一条避免一次性全量整改带来的巨大噪音。七、本仓库的真实落地形态一份白名单式参考配置本仓库sebastian/diff正是采用先关全部、再逐条开启策略的活例子。根目录 phpstan.neon 完整配置如下parameters: level: 10 paths: - src - tests checkTooWideReturnTypesInProtectedAndPublicMethods: true reportAlwaysTrueInLastCondition: true reportPossiblyNonexistentConstantArrayOffset: true reportPossiblyNonexistentGeneralArrayOffset: true treatPhpDocTypesAsCertain: false strictRules: allRules: false booleansInConditions: true closureUsesThis: true disallowedBacktick: true disallowedEmpty: true disallowedImplicitArrayCreation: true disallowedLooseComparison: true disallowedShortTernary: true illegalConstructorMethodCall: true matchingInheritedMethodNames: true noVariableVariables: true numericOperandsInArithmeticOperators: true overwriteVariablesWithLoop: true requireParentConstructorCall: true strictArrayFilter: true strictFunctionCalls: true switchConditionsMatchingType: true uselessCast: true ergebnis: allRules: false final: enabled: true privateInFinalClass: enabled: true ignoreErrors: - #Call to internal method PHPUnit\\Framework\\TestCase::addToAssertionCount\(\) from outside its root namespace PHPUnit.# includes: - phar://phpstan.phar/conf/bleedingEdge.neon这份配置透露了几个可供借鉴的实战决策19 条规则被显式开启除了booleansInLoopConditions之外规则表中所有可通过strictRules开关的规则全部置true该仓库的分析对象src与tests以方法与循环为主故未开启循环条件布尔检查这是结合自身代码风格做的取舍。分析等级拉到最高level: 10与 bleedingEdge 特性开关phar://phpstan.phar/conf/bleedingEdge.neon叠加属于 PHPStan 最严苛的基线。与 ergebnis/phpstan-rules 扩展协同仓库同时在tools/.phpstan/composer.json的require-dev中引入了ergebnis/phpstan-rules: ^2.14.0并以同样的先全关、再开final与privateInFinalClass的白名单方式使用说明这种逐步放行的模式在本仓库中已是标配。ignoreErrors处理边界情况对 PHPUnitTestCase::addToAssertionCount()这类跨命名空间调用内部方法的告警单独豁免而非盲目放宽整个规则——这是严格规则落地时的常见配套手段。运行方式上仓库通过 tools/phpstan 这个 Composer 生成的代理脚本指向phpstan/phpstan的 bin 入口在独立工具目录中执行 PHPStan例如php tools/phpstan analyse -c phpstan.neon使分析环境与运行时依赖php 8.4、PHPUnit 等见根目录 composer.json解耦。八、启用后的常见告警形态与修复示例严格规则生效后告警会以规则专属错误标识符identifier的形式出现在 PHPStan 输出中便于按规则维度统计与屏蔽。结合上文源码佐证举几个典型场景非布尔 if 条件if.condNotBooleanif ($count)会被要求改为if ($count 0)除非$count的静态类型已被推断为布尔。无用类型转换uselessCast$x (int) $intVar;在$intVar已被标注为int时会被标记为冗余。松散比较disallowedLooseComparison$a $b、$a ! $b一律要求改为/!。短三元disallowedShortTernary$x $a ?: default;建议改为$x $a ?? default;语义不同前者隐含真值判定。array_filter缺回调arrayFilter.strictarray_filter($items);需补回调如array_filter($items, static fn ($item) $item ! null);。in_array缺严格参数strictFunctionCallsin_array($needle, $haystack)需补第 3 个参数truearray_search同理base64_decode($data)需补第二个参数true。子类未调用父构造器requireParentConstructorCall子类定义了构造函数却未调用parent::__construct()会报错。empty()使用disallowedEmpty建议改为 null、 、 []等精确判空或使用??合并。以上告警修复均不改变业务逻辑而是把隐式、宽松的写法显式化这正是 phpstan-strict-rules 的价值所在让类型契约在静态分析阶段就被强制执行。九、总结与实践建议phpstan-strict-rules 是 PHPStan 生态中把找 bug推向防 bug的关键一环。总结本仓库与官方 README 的实践要点安装优先走 extension-installercomposer require --dev phpstan/phpstan-strict-rulesphpstan/extension-installer零配置自动注册否则手动在includes中引入rules.neon。渐进式启用用strictRules.allRules: false打底再逐条true如本仓库 phpstan.neon 所示让团队分批消化告警。记住白名单之外仍有生效项函数名大小写、LSP 检查等由核心参数checkFunctionNameCase、reportMaybesInMethodSignatures等驱动需在parameters顶层单独处理详见 rules.neon。结合高等级分析基线level: 10bleedingEdge.neon与严格规则叠加才能达到极度防御性编程的完整效果。用错误标识符管理豁免通过ignoreErrors精确豁免极少数合理场景如本仓库对 PHPUnit 内部方法调用的处理而不是整体关闭某条规则。对于像 sebastian/diff 这类以算法正确性与 API 稳定性为生命的库静态分析等级与严格规则并用的做法值得每个 PHP 项目在 CI 中复制。赞分享开发工具测试【免费下载链接】diffDiff implementation项目地址https://gitcode.com/gh_mirrors/di/diff点击查看免费下载相关推荐php-timer 项目中的 PHPStan 严格规则扩展 phpstan-strict-rules 实战指南php timer 项目中的 PHPStan 严格规则扩展 phpstan strict rules 实战指南 phpstan strict rules 是 P开发工具NG-ZORRO Alert 组件完全指南属性详解、滚动公告与源码级实现剖析NG ZORRO Alert 组件完全指南属性详解、滚动公告与源码级实现剖析 导读 Alert警告提示是 NG ZORROAngular UI 组件库开发工具测试PHPStan Strict Rules 严格规则包全解析从安装配置到 20 组规则的源码级原理PHPStan Strict Rules 严格规则包全解析从安装配置到 20 组规则的源码级原理 phpstan strict rules 是 PHPSta开发工具创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考