问题描述
<?PHP
class Zap {
}
class Zip {
public Zap $zap;
}
$object = new Zip;
var_dump(
$object->zap
);
致命错误:未捕获的错误:类型化属性 Zip::$zap 在初始化之前不能被访问
PHPstan
能否检测到此类错误?我已经在最高级别浏览了这个程序,PHPstan
似乎很高兴
% ./vendor/bin/PHPstan analyse --level=8 /tmp/test.PHP
1/1 [▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓] 100%
[OK] No errors
如果 PHPstan
无法检测到这些情况,是否还有其他 PHP 静态分析器可以检测到?
解决方法
看起来能够扫描未初始化的属性值 was added in July of 2020
但是,默认情况下禁用此功能。您需要使用一个配置文件来设置 checkUninitializedProperties
值
% cat phpstan.neon
parameters:
checkUninitializedProperties: true
and then tell `phpstan` to use this configuration file.
% ./vendor/bin/phpstan analyse --level=8 --configuration=./phpstan.neon /tmp/test.php
1/1 [▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓] 100%
------ ------------------------------------------------------------------------------------------------------
Line /tmp/test.php
------ ------------------------------------------------------------------------------------------------------
6 Class Zip has an uninitialized property $zap. Give it default value or assign it in the constructor.
------ ------------------------------------------------------------------------------------------------------
[ERROR] Found 1 error
此外,冒着大声说出明显部分的风险,此检查假定了特定的编程风格。例如,以下有效的 PHP 程序
<?php
class Zap {
}
class Zip {
public Zap $zap;
}
$object = new Zip;
$object->zap = new Zap;
var_dump(
$object->zap
);
仍然没有通过 checkUninitializedProperties
检查。