Psalm怎么识别自己写的参数校验函数
psalm通过静态分析代码中的类型注解和逻辑分支来识别自定义的校验函数，核心做法是在函数签名中声明输入参数的具体类型约束，并在函数体内使用`@psalm-assert`或`@psalm-assert-if-true`等注解明确告知psalm在特定条件下变量满足的类型要求。这样当调用该函数后，psalm就能在后续代码中将变量范围缩小到校验后的类型，从而避免类型错误。如果函数直接修改了变量的值或抛出异常，psalm也能根据控制流自动推断出新的类型状态。
如何结合断言宏处理复杂对象属性
对于复杂的对象或数组结构，单纯依靠函数签名可能不够精确，此时需要利用Psalm提供的断言宏（Assert Macros）来细化校验逻辑。通过在函数内部使用`@psalm-assert`注解，可以指定对象属性的具体类型或数组键的存在性，确保Psalm在函数返回后能正确理解数据结构的变化。这种方法特别适用于处理从外部输入（如JSON或数据库查询结果）解析出的数据，能够显著提升类型检查的准确性。
校验失败时如何处理未定义属性
当自定义校验函数未能通过所有条件时，通常意味着输入数据不符合预期，此时程序应明确处理这种“未定义”或“无效”的状态。在Psalm的视角下，如果校验函数没有成功缩小类型范围，或者显式地抛出了异常，那么后续代码必须考虑到变量可能仍为原始宽泛类型的情况，或者通过异常处理机制阻断执行流。正确处理这种情况可以避免在运行时访问不存在的属性或方法，保证程序的健壮性。
