mixed仅用于参数、返回值或PHPDoc，禁用于属性声明；静态分析下会丧失类型推断能力，应优先用联合类型或接口替代。
mixed 伪类型的实际用法与静态分析表现
mixed 表示“任意类型”，涵盖 string、int、bool、float、array、object、resource、null、callable 等所有可能值。它不是真实类型，不能用于属性声明或标量类型约束（PHP 7.4+ 不允许 public mixed $x;），仅可用于函数参数、返回值或 PHPDoc 注释中。
在静态分析工具（如 PHPStan、Psalm）中，mixed 会显著削弱类型推断能力——工具无法进一步判断变量结构，也无法检查后续调用是否合法。例如：
-
function process(mixed $data): void { echo $data->name; }→ 静态分析直接报错：Cannot call method name() on mixed. - 更安全的替代方案是使用联合类型（PHP 8.0+）：
string|int|array $data，或具体接口/类约束。 - 若必须保留灵活性，建议配合 PHPDoc 明确说明：
/** @param string|int|User $data */，帮助工具提升精度。
callable 类型约束写法与静态检查要点
callable 是 PHP 唯一被语言原生支持的伪类型，可直接用于函数参数和返回值类型声明，也支持在 PHPDoc 中标注。它代表“能被 () 调用的值”，包括：
- 字符串函数名：
'strlen' - 数组回调：
[$obj, 'method']或['ClassName', 'staticMethod'] - 闭包：
fn() => 'ok' - 实现
__invoke()的对象
写法示例：
立即学习“PHP免费学习笔记（深入）”；
function run(callable $cb, array $args = []): mixed {
return $cb(...$args);
}静态分析工具能识别 callable 并验证传入值是否满足调用契约，但不会深入检查其内部签名。例如：
-
run('date');✅ 合法，静态分析不报错 -
run('file_get_contents');✅ 合法，但运行时若少传参数会出错 - 若需更强校验，应改用具体 callable 签名（PHP 8.1+ 支持）：
callable(string): int，此时 PHPStan 可检查参数数量与类型匹配性。
静态分析下类型约束的最佳实践
伪类型本身是弱提示，要真正发挥静态分析价值，应尽量减少对 mixed 和裸 callable 的依赖：
- 用联合类型替代
mixed：如string|int|null比mixed更具表达力，工具也能做路径敏感分析。 - 为 callable 添加签名注解：在 PHPDoc 中补充
@param callable(string, int): bool $validator，Psalm 和 PHPStan 均支持解析并校验。 - 避免在属性或返回值中滥用
mixed；优先使用object+ 接口，或array{key: string, value: int}这类形状类型（shape types）。 - 开启严格模式：
declare(strict_types=1);虽不影响伪类型本身，但能确保其他标量/类约束不发生隐式转换，让静态分析结论更贴近运行时行为。
