PHP - 静态类型检查 a-la PhpStorm

Question

我是一名强类型语言支持者，但我正在从事一个大型 PHP 项目。

我一直在使用 PhpStorm，我喜欢您可以提供的额外类型提示，以及如下注释:

/** @var \Payments $payment */

/** @property \Payments $payment */

PhpStorm 很棒，因为它会在类型不匹配时向您发出警告。

我想知道是否有可能在 PhpStorm 之外静态地进行这种检查。一些类型的命令行预编译器会遍历代码，还会检查那些额外的提示，如果检测到不匹配则显示一些错误。

phpcs 可以做到吗？

我的最终目标是拥有一个自动工具，它会在类型不匹配时提醒我。

我什至考虑切换到 HHVM 以获得更好的类型提示。但我不相信 HHVM 尚未在生产环境中运行。

理想情况下，在 HHVM 上开发额外的类型提示会很棒，但代码不会在我想继续生产的 Zend PHP 引擎上运行。

有什么想法吗？

谢谢。

Answer 1

对于静态代码分析，特别是帮助类型错误检测，可以使用像这样的工具

• https://github.com/scrutinizer-ci/php-analyzer
• https://github.com/colder/phantm/
• https://github.com/sebastianbergmann/hhvm-wrapper/
• https://github.com/troelskn/php-tracer-weaver
• php -l

PHPCS aka PHP_CodeSniffer是编码标准检查器，对类型错误检测没有真正帮助。