匿名函数的类型声明必须显式写出，不继承文件级declare(strict_types=1)；需在参数和返回值处明确标注类型（如fn(int $x): bool => ...），否则仍按弱类型处理。
匿名函数的类型声明必须显式写出
PHP 匿名函数不自动继承所在文件的 declare(strict_types=1); 行为——它本身没有“文件作用域”，所以参数和返回值类型必须手动声明，否则严格模式对它无效。
常见错误是以为只要文件顶部写了 strict_types=1，匿名函数就能自动做严格检查。实际上，没写 int、string 这类类型提示，PHP 就仍按弱类型处理参数。
- 正确写法：必须在参数列表和返回箭头后明确标注类型，例如
fn(int $x, string $y): bool => $x > 0 && $y !== '' - 错误写法：
fn($x, $y) => $x + $y—— 即使文件启用了 strict_types，这个函数也不会报错，哪怕传入"1"和null - PHP 7.4+ 才支持箭头函数（
fn()）的完整类型声明；PHP 7.0–7.3 的function() {}匿名函数也需同样显式声明，如function(int $a): int { return $a * 2; }
闭包绑定后类型检查依然生效
用 bindTo() 或 call() 调用带类型声明的匿名函数时，严格模式检查不会被绕过。参数类型在调用时刻才校验，和普通函数一致。
这意味着你不能靠“换上下文”来规避类型约束。
立即学习“PHP免费学习笔记（深入）”；
- 传入
new stdClass()给声明为fn(User $u)的闭包，无论是否bindTo()，都会抛出TypeError - 如果闭包捕获了外部变量（
use ($x)），这些变量本身不受 strict_types 影响——strict_types 只管函数调用时的参数和返回值，不管use的变量类型 - 注意：
use中的变量若参与函数内部运算，而该运算依赖类型（比如$x + 1），PHP 仍可能因隐式转换产生意外结果，此时需靠 PHPStan 等工具补位检测
与 array_filter / usort 等高阶函数配合时容易漏检
把带类型声明的匿名函数传给 array_filter()、usort()、array_map() 时，PHP 不会在函数注册阶段校验类型，而是在实际回调执行时才触发检查——这就导致错误延迟暴露。
例如 usort($arr, fn(int $a, int $b): int => $a $b)，如果 $arr 里混入字符串，排序中途就会炸出 TypeError，而不是在 usort() 调用前就报错。
- 解决办法不是去掉类型声明，而是提前清理数据，或改用可选类型（如
fn(mixed $a, mixed $b): int）+ 手动is_int()判断 - 更稳妥的做法：用 PHPStan 配合 level 5+ 检查，它能在静态分析阶段发现“
usort传入的闭包要求int，但数组元素类型未保证”这类隐患 - 别依赖 IDE 自动补全来判断类型安全——很多 IDE 对闭包参数推导不准，尤其当数组结构复杂或来自外部输入时
strict_types=1 对匿名函数的返回值也有强制力
返回类型声明不是摆设。即使参数能过，返回值类型不匹配一样会抛 TypeError，而且这个检查发生在函数体执行完、返回前一刻。
这在异步或条件分支多的闭包里特别容易踩坑。
- 例如：
fn(int $x): string => $x > 10 ? "big" : 0—— 返回0（int）违反了声明的string，运行即崩 - 空返回（
return;）在声明了非void返回类型时，等价于返回null，也会触发错误 - 慎用联合类型（如
string|int）写在闭包返回处：PHP 8.0+ 支持，但低版本不认，且部分静态分析工具对闭包中的联合类型推导较弱
严格类型对匿名函数不是“开箱即用”，它只响应你亲手写下的每个 int、string、: bool。少一个冒号、漏一个类型词，就退回松散模式——这点比普通函数更易忽略。
