thecodingmachine/safe项目中array_combine函数的类型安全演进

在PHP开发中，类型安全一直是个重要话题。thecodingmachine/safe作为一个提供类型安全函数替代的库，其array_combine函数的实现和类型定义经历了一段有趣的演进过程。

array_combine是PHP中一个基础数组函数，用于将一个数组的值作为键，另一个数组的值作为值，组合成新数组。在PHP 8.0之前，当输入的两个数组长度不一致时，该函数会返回false表示错误。但从PHP 8.0开始，这种行为发生了变化——函数改为抛出异常来指示错误。

这种变化带来了类型系统上的影响。在PHP 8.1版本中，thecodingmachine/safe库生成的array_combine函数类型标注为"@return array"，这反映了PHP 8.0+版本中函数不再返回false的事实。然而，从PHP 8.2开始，库中的实现变成了对原生PHP函数的简单包装，但类型标注却变成了"array|false"，这与实际行为不符。

深入分析这个问题，我们发现几个层面的不一致性：

1. 当前PHP文档表明array_combine从7.X版本就不再返回false，8.0.0开始改为抛出异常。如果文档准确，这个函数其实不需要包含在Safe库中。

2. 即使在PHP 8.5(基于nightly文档生成)中，Safe库仍然返回"array|false"类型，这源于phpstan函数映射数据库中的一个潜在错误。

3. 推测PHP 8.1文档可能存在错误，导致函数被错误地包含在Safe库中。即使后来文档被修正，出于兼容性考虑，这个函数仍被保留。

解决方案涉及多个方面：需要覆盖phpstan数据库中的类型提示，确保函数继续存在以保持兼容性，并将其添加到隐藏函数列表中。对于开发者而言，可以放心使用这个库中的array_combine函数，因为虽然类型标注有误，但实际行为是正确的。

这个案例展示了类型安全库在跟随语言演进过程中可能遇到的挑战，也提醒我们在依赖类型系统时需要关注底层实现与类型声明的一致性。