phpDocumentor TypeResolver项目新增对non-empty-array等类型的支持

phpDocumentor TypeResolver作为PHP类型解析的重要组件，近期实现了对三种新类型的完整支持。这些新增的类型支持将显著提升PHP代码静态分析的准确性，特别是在处理复杂数据结构时。

新增支持的类型详解

non-empty-array类型

non-empty-array类型表示一个非空数组，这是对PHP数组类型的重要补充。在实际开发中，我们经常需要确保数组至少包含一个元素，这种类型约束可以帮助开发者更精确地定义函数参数和返回值的预期行为。

TypeResolver现在能够正确识别和解析这种类型注解，为静态分析工具提供更准确的类型信息。例如，在函数参数中使用@param non-empty-array $items可以明确表示该参数不能为空数组。

list-shapes类型

list-shapes类型用于描述具有特定结构的列表。PHP中的列表通常指键为连续数字的数组，而list-shapes则进一步定义了列表中每个元素的类型结构。

这种类型支持对于处理JSON数据或数据库查询结果特别有用，可以精确描述返回的数据结构。TypeResolver现在能够解析这种复杂的类型定义，帮助开发者更好地理解和使用这类数据结构。

object-shapes类型

object-shapes类型允许开发者定义对象的具体形状，包括其属性和方法。这与TypeScript中的接口概念类似，为PHP的类型系统增加了更强的表达能力。

通过支持object-shapes，TypeResolver现在可以处理更复杂的对象类型定义，这对于现代PHP应用程序开发尤为重要，特别是在使用DTO(数据传输对象)模式或处理API响应时。

技术实现意义

这些新类型的加入使phpDocumentor TypeResolver在以下几个方面得到增强：

1. 类型安全性提升：更精确的类型定义意味着更少的运行时错误和更好的代码质量。

2. 开发体验改善：IDE可以基于这些类型信息提供更准确的代码补全和类型检查。

3. 文档生成增强：生成的API文档将包含更详细的类型信息，帮助开发者更好地理解代码。

4. 静态分析能力扩展：为PHPStan等静态分析工具提供了更丰富的类型信息基础。

使用建议

开发者现在可以在项目中使用这些新类型来获得更好的开发体验：

/**
 * @param non-empty-array<string> $names 必须包含至少一个字符串的数组
 * @return list-shapes<array{id: int, name: string}> 返回ID和名称组成的列表
 */
function processItems(array $names): array {
    // 函数实现
}

随着PHP类型系统的不断发展，phpDocumentor TypeResolver的这些更新确保了它能够继续为PHP生态系统提供最先进的类型解析支持。