phpstan不通过strip_tags

Question

我有一些html字符串，我想用
分解，但有时它可能在其他标记中。

if (in_array($param, $customOrdering, true) && $value) {
    $ordering = array_search($param, $customOrdering, true);
    $segments[$ordering] = [];
    if (in_array($param, $explodeParams, true)) {
        $values = explode('<br>', $value);
        foreach ($values as $v) {
            $testing_value = $v;
            if (!empty(trim(strip_tags($testing_value)))) {
                array_push($segments[$ordering], $this->createSegmentFromParam($param, $v));
138         } elseif (!empty(trim($v)) && $segments[$ordering]) {
139             end($segments[$ordering])->value_raw .= strip_tags($v, $this->allowedTags);
            }
        }
    } else {
        array_push($segments[$ordering], $this->createSegmentFromParam($param, $value));
    }
}

createSegmentFormParam的声明

 @return ArrayHash
 
private function createSegmentFromParam($param, $value)

我有phpStan的输出

 138    Right side of && is always false.                                    
 139    Cannot access property $value_raw on false.

有什么办法可以传下去吗？代码运行良好

Answer 1

对于类似的行为或带有array_push属性的PHP stan-false negative仍然存在一个未解决的问题

尝试不使用array_push并将其替换为第138行：

$segments[$ordering][] = $this->createSegmentFromParam($param, $v);

除此之外，在代码的开头，array_search可能返回false您确实希望在进一步深入代码之前检查一下这个...