解读

国内一线/二线公司面试时，这道题表面问“省内存”，实则考察对 PHP 7.4+ 箭头函数（fn）底层实现、闭包捕获机制以及写时复制（COW）的综合理解。
很多候选人只答“语法糖”“少写代码”，却说不清 Zend 引擎如何为闭包分配内存、如何保存 use 变量，导致得分不高。
面试官期待你给出“字节级”差异：普通匿名函数会生成完整的 Closure 对象并拷贝 use 变量，而箭头函数按需捕获、只生成不可变引用，从而减小堆内存占用；同时 array_map 本身不修改原数组，COW 不会触发分离，进一步放大节省效果。

知识点

1. 匿名函数（传统闭包）
   • 编译阶段生成 zend_closure 对象，内含 function_entry、static_variables、used_vars 哈希表。
   • 执行阶段把 use 列表中的变量按值拷贝（或显式 & 引用）到 closure->used_vars，产生额外内存。
2. 箭头函数（PHP 7.4+）
   • 语法 fn($x) => expr 会被编译为 ZEND_AST_ARROW_FUNC，引擎自动把外层作用域变量“按引用”捕获，但生成的是不可变引用（immutable indirect variable），不复制 zval，只增加 refcount。
   • 没有自己的 static_variables 哈希表，opcode 数量更少，对象体更小。
3. 写时复制（COW）
   • array_map 对原数组只读，zval 指向同一块内存，直到写操作才分离；内存峰值 = 原数组 + 结果数组，无中间拷贝。
4. 内存量化对比（64 位 CLI，Zend MM）
   • 对 10 万元素数组，传统闭包 use 一个字符串变量，Closure 对象本身约 240 B，拷贝 10 万次 ≈ 23 MB。
   • 箭头函数仅增加 1 次引用计数，无拷贝，节省 20+ MB；峰值差异在面试压测场景下可直接决定 OOM 与否。
5. 垃圾回收
   • 箭头函数不会创建新的循环引用表，GC 压力更小，长连接接口（Swoole、RoadRunner）中优势更明显。

答案

箭头函数在编译期把外层变量自动捕获为“不可变引用”，不会生成传统闭包所需的 used_vars 哈希表，也不执行值拷贝；因此每个元素回调时少了一个 zval 复制，array_map 遍历十万级数组可节省几十兆堆内存。同时箭头函数本身对象体更小、opcode 更紧凑，整体内存峰值下降，GC 压力也更低，所以在高并发或大批量数据处理场景下“更省内存”。

拓展思考

1. 如果需要在箭头函数里修改变量，必须回归传统闭包并显式 use(&$var)，此时内存优势消失；设计接口时应把“纯读”与“可写”回调区分开。
2. 在 PHP 8+ 的 JIT 场景下，箭头函数因无 static_variables，更容易被内联，CPU 缓存命中率也更高；面试可延伸“内存-CPU 联合优化”话题。
3. 生产环境可用 memory_get_usage(true) 做 A/B 压测，量化节省值，写入技术方案评审文档，体现“用数据说话”的工程素养。