phpstan 能否检测到“类型化属性......在初始化之前不能访问”错误？

如何解决phpstan 能否检测到“类型化属性......在初始化之前不能访问”错误？

我有一个 PHP 程序，

<?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 检查。