为什么 PHP 闭包要加 static？

为什么 PHP 闭包要加 static？

在 PHP 中，闭包的使用越来越普遍：依赖注入、中间件、集合回调，以及异步编程中的回调工具。
但闭包有一个行为可能会让人意外：在实例方法内部创建的闭包会自动携带对当前对象的引用，即使闭包内部并未使用 $this。这种行为可能对对象生命周期产生意外影响，若不谨慎处理，还可能引发内存泄漏。
PHP 的内存管理机制

要理解这一点，需要先了解 PHP 如何管理内存。与 Java 等依赖垃圾回收器延迟释放内存的语言不同，PHP 使用引用计数（当然，PHP 实际上也有针对循环引用的垃圾回收器，但那是另一回事）。
当变量被赋值时，其内容需要存储在内存中；当变量不再使用时，内存可以被释放。写出如下代码：

1. $a = 'Hello';
2. $b = $a;

复制代码

PHP 不会为 $b 创建第二块内存空间，而是直接标记它指向与 $a 相同的内存空间。如果随后给 $a 赋新值（如 "Hi"），则会分配新内存空间并让 $a 指向它，而 $b 继续指向原来的空间。如果将 NULL 赋给 $b，那么原来存储 "Hello" 的内存空间就不再被任何变量引用，可以被释放。PHP 通过维护引用计数来实现这一点，当计数归零时，空间即被释放。
对象的生命周期

对于对象，当引用计数归零后，在释放内存之前，如果类定义了 __destruct 方法，会先调用它：

1. class Foo {
2.     public function __construct() {
3.         echo "Construct\n";
4.     }
6.     public function __destruct() {
7.         echo "Destruct\n";
8.     }
9. }
11. new Foo();
12. echo "End\n";

复制代码

输出：

1. Construct
2. Destruct
3. End

复制代码

对象未被赋给任何变量：它的计数器在构造函数调用后立即归零，__destruct 随即被调用。
如果将对象赋给变量，销毁则会延迟：

1. $foo = new Foo();
2. echo "End\n";

复制代码

输出：

1. Construct
2. End
3. Destruct

复制代码

只要 $foo 指向对象，计数器就保持为 1。销毁发生在脚本末尾，所有变量被释放之后。要强制提前销毁，只需显式释放变量：

1. $foo = new Foo();
2. echo "Before release\n";
3. $foo = null;
4. echo "After release\n";

复制代码

输出：

1. Construct
2. Before release
3. Destruct
4. After release

复制代码

闭包会让对象保持存活

来看 Bar 类的例子，它定义了 getCallback() 方法，返回一个读取 $this->id 属性的闭包：

1. class Bar {
2.     public function __construct(private string $id) {
3.         echo "Construct\n";
4.     }
6.     public function __destruct() {
7.         echo "Destruct\n";
8.     }
10.     public function getCallback(): Closure {
11.         return function(): string {
12.             return $this->id;
13.         };
14.     }
15. }
17. $bar = new Bar('foo');
18. $getId = $bar->getCallback();
20. echo "Before releasing the object\n";
21. $bar = null;
22. echo "After releasing the object\n";
24. echo $getId() . "\n";
26. echo "End\n";

复制代码

输出：

1. Construct
2. Before releasing the object
3. After releasing the object
4. foo
5. End
6. Destruct

复制代码

给 $bar 赋 null 时对象并未被销毁，因为闭包访问了 $this->id，这构成了对对象的引用。只要闭包存在，计数器就不会归零，直到脚本结束。如果提前给 $getId 重新赋值，__destruct 会更早被调用，因为释放变量同时也释放了对 $this 的引用。
即使不使用 $this，对象仍会存活

如果闭包内部完全不使用 $this 会怎样？

1. class Bar {
2.     public function __construct() {
3.         echo "Construct\n";
4.     }
6.     public function __destruct() {
7.         echo "Destruct\n";
8.     }
10.     public function getCallback(): Closure {
11.         return function(): void {};
12.     }
13. }
15. $bar = new Bar();
16. $callback = $bar->getCallback();
18. echo "Before releasing the object\n";
19. $bar = null;
20. echo "After releasing the object\n";
21. $callback = null;
22. echo "End\n";

复制代码

输出：

1. Construct
2. Before releasing the object
3. After releasing the object
4. Destruct
5. End

复制代码

对象仍然保持存活。原因在于：即使闭包内部不使用 $this，PHP 会自动将 $this 绑定到在实例方法中创建的任何闭包，无论是否使用它、无论闭包是否为空。闭包因此总是携带对对象的引用，这一点在阅读代码时是看不见的。
当然，如果闭包是在静态方法中创建的，就不会有 $this 引用，销毁会在变量释放时立即发生：

1. class Bar {
2.     public function __construct() {
3.         echo "Construct\n";
4.     }
6.     public function __destruct() {
7.         echo "Destruct\n";
8.     }
10.     public static function getCallback(): Closure {
11.         return function(): void {};
12.     }
13. }
15. $bar = new Bar();
16. $closure = $bar::getCallback();
18. echo "Before releasing the object\n";
19. $bar = null;
20. echo "End\n";

复制代码

输出：

1. Construct
2. Before releasing the object
3. Destruct
4. End

复制代码

静态闭包

static 关键字应用于闭包时，会显式禁止闭包绑定到 $this。PHP 将不再存储任何对对象的引用，即使是隐式的。

1. public function getCallback(): Closure {
2.     return static function(): void {};
3. }

复制代码

输出：

1. Construct
2. Before releasing the object
3. Destruct
4. End

复制代码

如果需要在闭包内获取属性值，可以通过 use 传递：

1. public function getCallback(): Closure {
2.     $id = $this->id;
3.     return static function() use ($id): string {
4.         return $id;
5.     };
6. }

复制代码

这次，PHP 会在变量释放后立即销毁对象，因为闭包不再保留对它的引用。
如果在静态闭包内尝试使用 $this，PHP 会报错：

1. return static function(): string {
2.     return $this->id; // Error: Using $this when not in object context
3. };

复制代码

PHP 引擎以此保护你免受意外捕获。
短闭包

短闭包（fn() =>）提供了更简洁的语法，并自动从外层作用域捕获变量，无需 use。但它在 $this 方面的行为与普通闭包相同：

1. public function getCallback(): Closure {
2.     return fn(): string => $this->id;
3. }

复制代码

这里 $this 被隐式捕获，与普通闭包一样。对象会一直保持存活，直到闭包被销毁。
static 关键字同样适用于短闭包。外层作用域的变量仍会被自动捕获，但 $this 不再被捕获：

1. public function getCallback(): Closure {
2.     return static fn(): string => $this->id; // Error: Using $this when not in object context
3. }

复制代码

要在不传对象的情况下传递值，只需提前提取：

1. public function getCallback(): Closure {
2.     $id = $this->id;
3.     return static fn(): string => $id;
4. }

复制代码

变量 $id 按值捕获，$this 不再参与，对象可以在其显式引用消失后立即被释放。
PHP 8.6 将带来的变化

目前正在投票中的 Closure Optimizations RFC 正是针对这一行为。它引入了自动推断：如果闭包不使用 $this，PHP 会自动将其视为静态闭包，无需开发者显式声明。
本文示例中使用 use ($id) 的闭包或短闭包 fn(): string => $id，在该 RFC 通过后将不再隐式捕获对象。
该 RFC 还包含第二项优化：不捕获任何变量（既无 use，也无外层作用域变量）的静态闭包会被缓存并在多次调用间复用，避免每次重新实例化。
这两项优化对现有代码是透明的，但有一个例外：ReflectionFunction::getClosureThis() 会对被推断为静态的闭包返回 null，这可能对现有代码引入行为变更（Breaking Change）。
建议：保持显式

作为一般规则，当闭包（或短闭包）不需要 $this 时，最好将其声明为 static。这让意图更加明确，防止意外捕获，并允许对象在最后一个显式引用消失后立即被销毁。
PHP 8.6 之后，这种安全行为会成为默认，但显式声明 static 仍有价值：它可以文档化意图，并保证与早期版本的兼容性。
为什么 PHP 闭包要加 static？

来源：程序园用户自行投稿发布，如果侵权，请联系站长删除
免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！