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 静态分析器可以检测到？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）