为什么 PHP 闭包要加 static？

在 PHP 中，闭包的使用越来越普遍：依赖注入、中间件、集合回调，以及异步编程中的回调工具。

但闭包有一个行为可能会让人意外：在实例方法内部创建的闭包会自动携带对当前对象的引用，即使闭包内部并未使用 $this。这种行为可能对对象生命周期产生意外影响，若不谨慎处理，还可能引发内存泄漏。

PHP 的内存管理机制

要理解这一点，需要先了解 PHP 如何管理内存。与 Java 等依赖垃圾回收器延迟释放内存的语言不同，PHP 使用引用计数（当然，PHP 实际上也有针对循环引用的垃圾回收器，但那是另一回事）。

当变量被赋值时，其内容需要存储在内存中；当变量不再使用时，内存可以被释放。写出如下代码：

php 复制代码

$a = 'Hello';
$b = $a;

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

对象的生命周期

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

php 复制代码

class Foo {
    public function __construct() {
        echo "Construct\n";
    }

    public function __destruct() {
        echo "Destruct\n";
    }
}

new Foo();
echo "End\n";

输出：

rust 复制代码

Construct
Destruct
End

对象未被赋给任何变量：它的计数器在构造函数调用后立即归零，__destruct 随即被调用。

如果将对象赋给变量，销毁则会延迟：

php 复制代码

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

输出：

rust 复制代码

Construct
End
Destruct

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

php 复制代码

$foo = new Foo();
echo "Before release\n";
$foo = null;
echo "After release\n";

输出：

arduino 复制代码

Construct
Before release
Destruct
After release

闭包会让对象保持存活

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

php 复制代码

class Bar {
    public function __construct(private string $id) {
        echo "Construct\n";
    }

    public function __destruct() {
        echo "Destruct\n";
    }

    public function getCallback(): Closure {
        return function(): string {
            return $this->id;
        };
    }
}

$bar = new Bar('foo');
$getId = $bar->getCallback();

echo "Before releasing the object\n";
$bar = null;
echo "After releasing the object\n";

echo $getId() . "\n";

echo "End\n";

输出：

vbnet 复制代码

Construct
Before releasing the object
After releasing the object
foo
End
Destruct

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

即使不使用 $this，对象仍会存活

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

php 复制代码

class Bar {
    public function __construct() {
        echo "Construct\n";
    }

    public function __destruct() {
        echo "Destruct\n";
    }

    public function getCallback(): Closure {
        return function(): void {};
    }
}

$bar = new Bar();
$callback = $bar->getCallback();

echo "Before releasing the object\n";
$bar = null;
echo "After releasing the object\n";
$callback = null;
echo "End\n";

输出：

vbnet 复制代码

Construct
Before releasing the object
After releasing the object
Destruct
End

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

当然，如果闭包是在静态方法中创建的，就不会有 $this 引用，销毁会在变量释放时立即发生：

php 复制代码

class Bar {
    public function __construct() {
        echo "Construct\n";
    }

    public function __destruct() {
        echo "Destruct\n";
    }

    public static function getCallback(): Closure {
        return function(): void {};
    }
}

$bar = new Bar();
$closure = $bar::getCallback();

echo "Before releasing the object\n";
$bar = null;
echo "End\n";

输出：

rust 复制代码

Construct
Before releasing the object
Destruct
End

静态闭包

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

php 复制代码

public function getCallback(): Closure {
    return static function(): void {};
}

输出：

rust 复制代码

Construct
Before releasing the object
Destruct
End

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

php 复制代码

public function getCallback(): Closure {
    $id = $this->id;
    return static function() use ($id): string {
        return $id;
    };
}

这次，PHP 会在变量释放后立即销毁对象，因为闭包不再保留对它的引用。

如果在静态闭包内尝试使用 $this，PHP 会报错：

php 复制代码

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

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

短闭包

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

php 复制代码

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

这里 $this 被隐式捕获，与普通闭包一样。对象会一直保持存活，直到闭包被销毁。

static 关键字同样适用于短闭包。外层作用域的变量仍会被自动捕获，但 $this 不再被捕获：

php 复制代码

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

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

php 复制代码

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

变量 $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？