鉴于此代码(https://psalm.dev/r/156e52eb66):
<?php
function keys(): array
{
return ['foo', 'bar'];
}
// no lines above can be changed
foreach (keys() as $k) {
echo gettype($k);
}
假设keys函数不在我们的控制之下(在不同的项目中)并且它有效地返回一个mixed( array<array-key, mixed>)数组,它会如何输入。
因此,人们只能改变循环及其周围。
甚至有可能吗?
UPD:我报告了https://github.com/vimeo/psalm/issues/2025
九州编程
倚天杖