鉴于此代码(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>
。
所以,一个人可能只会改变循环并围绕它。
甚至可能吗?