如何键入遍历混合数组的循环

Question

鉴于此代码 (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

Answer 1

如果我做对了，这可能会对你有所帮助：

foreach (array_keys(keys()) as $k) {
 echo gettype(keys()[$k])."\n";
}

Answer 2

您可以使用for 循环而不是foreach 循环来修复警告。

$keys = keys();
for( $i = 0; $i < count( $keys); $i++ ) {
  echo gettype( $keys[$i] );
}

这是诗篇中的链接https://psalm.dev/r/20c1cbab73

Answer 3

这是psalm 的错误。

参考Github: INFO: MixedAssignment - Cannot assign to a mixed type | when using string array key #1281，

并且已经被muglug在这个commit 6033345694727d7c3cf84adc76507c3785ed0295中修复了