应优先使用fn箭头函数于纯表达式、无副作用的数据转换场景，如array_map/array_filter；但禁止含语句、修改外部变量、访问$this（非静态方法）或yield，否则须改用function()。
如果您在编写PHP回调函数时希望减少模板代码、提升可读性，但又不确定何时该用fn而非function()，则需明确箭头函数的适用边界与硬性约束。以下是针对其语法、场景与限制的速查说明：
一、基本语法结构与书写规范
PHP箭头函数以fn关键字起始，采用=>分隔参数与表达式，本质是带隐式return的单表达式闭包。它自动按值捕获父作用域变量，无需use声明，大幅简化常见映射逻辑。
1、基础形式：写法为fn($x) => $x * 2，单参数时括号可省略，如fn $x => $x + 1。
2、带类型提示：支持参数与返回值类型标注，例如fn(string $name): int => strlen($name)。
立即学习“PHP免费学习笔记（深入）”；
3、引用返回：若需返回引用，须显式添加&符号，即fn&($x) => $x。
4、必须且仅能包含一个表达式；不可含语句（如if、for）、不可含yield、不可含return语句、不可含多行块。
二、典型适用场景
箭头函数专为轻量级、无副作用的数据转换设计，尤其适配函数式数组操作，在保持逻辑清晰的同时消除冗余语法。
1、array_map映射变换：如$doubled = array_map(fn($n) => $n * 2, [1,2,3]);。
2、array_filter条件筛选：如$evens = array_filter([1,2,3,4], fn($n) => $n % 2 === 0);。
3、对象属性提取：如$ids = array_map(fn($post) => $post->id, $posts);。
4、带外部变量的计算：如$factor = 3; $scaled = array_map(fn($x) => $x * $factor, $numbers);。
5、所有场景均要求函数体为纯表达式，且不修改任何外部变量状态。
三、关键限制与禁止行为
箭头函数并非通用替代方案，其设计初衷即划定安全边界——杜绝隐式副作用与上下文混淆，违反任一限制将触发解析错误或运行时致命错误。
1、禁止使用$this（PHP 8.1+仅静态方法内定义的箭头函数可捕获$this，且仍不可调用实例方法）。
2、禁止多语句或复合逻辑：如fn($x) => { echo $x; return $x; }会直接报Parse error。
3、禁止引用外部变量并修改其值：捕获的变量为按值传递，fn($x) => $x = $x + 1仅改变副本，不影响原始变量。
4、禁止作为生成器：含yield将导致Fatal error。
5、一旦出现print_r、var_dump、file_put_contents等有副作用的操作，即违背设计契约，应立即退回到传统匿名函数。
四、与传统匿名函数的对比选择策略
判断依据并非“是否更短”，而是“是否满足纯表达式+无副作用+无需引用修改”三重条件。不符合则传统函数是唯一合法路径。
1、需访问$this且在非静态方法中：必须使用function($x) use ($this) { return $this->method($x); }。
2、需修改外部变量：必须显式use (&$ref)并用传统函数。
3、含条件分支或多步计算：如if ($x > 0) { return $x * 2; } else { return -$x; }，只能用function()。
4、需调试输出或日志写入：fn($x) => error_log("debug: $x")虽能执行，但返回true而非预期值，属误用。
5、当函数未来可能扩展为多行或引入状态变更时，从一开始就不应选用箭头函数。
五、常见错误示例与即时识别
开发中高频出错点集中于语法越界与语义误判，快速识别可避免调试耗时。
1、错误写法：fn($x) => echo $x; → 报Parse error: syntax error, unexpected 'echo'。
2、错误写法：fn($x) => $x++; → 表达式虽合法，但修改的是副本，且易引发逻辑误解。
3、错误写法：fn() => $this->prop;（在普通实例方法中）→ 报Fatal error: Using $this when not in object context。
4、错误写法：$arr = [1,2,3]; fn() => array_push($arr, 4); → 副作用未体现，且返回值为int而非预期数组。
5、只要代码中出现分号结尾的非表达式语句、花括号包裹块、return关键字、if/while/foreach结构，即已脱离箭头函数合法范围。
