PHP 8.1下单例模式失效问题及兼容方案咨询

先看问题代码：

<?php

class A
{
    public $name = "I'm A";

    private function __construct() {}

    public static function instance()
    {
        static $instance;
        if (!$instance) {
            $instance = new static();
        }
        return $instance;
    }
}

class B extends A
{
    public $name = "My name is B";
}

echo B::instance()->name . "\n";
echo A::instance()->name . "\n";

在PHP 7.4中，这段代码会输出：

My name is B
I'm A

但到了PHP 8.1及以上版本，输出变成了两次My name is B，这是因为PHP 8.0调整了父类静态方法中静态变量的作用域规则：父类静态方法内的静态变量不再为每个子类（包括父类自身）创建独立副本，而是被所有继承该父类的类共享。当你先调用B::instance()时，父类A的instance方法里的$instance被赋值为B的实例；后续调用A::instance()时，直接返回了这个已存在的B实例，导致结果不符合预期。

下面是几种可行的修复方案：

方案1：用数组存储不同类的单例实例（推荐） #

修改父类A的instance方法，用数组以类名为键来保存每个类的单例实例，确保每个类拥有独立的实例：

class A
{
    public $name = "I'm A";

    private function __construct() {}

    public static function instance()
    {
        static $instances = [];
        $className = static::class;
        if (!isset($instances[$className])) {
            $instances[$className] = new static();
        }
        return $instances[$className];
    }
}

这种方式不管调用顺序如何，A::instance()和B::instance()都会返回对应类的实例，完全兼容PHP 7.4+版本。

方案2：子类重写instance方法（临时应急） #

如果不想修改父类代码，可以让子类B重新实现instance方法，为自己创建独立的静态变量：

class B extends A
{
    public $name = "My name is B";

    public static function instance()
    {
        static $instance;
        if (!$instance) {
            $instance = new static();
        }
        return $instance;
    }
}

但这种方式会产生重复代码，不符合代码复用原则，只适合临时场景。

方案3：用Trait封装单例逻辑（优雅复用） #

如果有多个类需要实现单例模式，可以把单例逻辑封装到Trait中，避免重复代码：

trait Singleton
{
    private function __construct() {}

    public static function instance()
    {
        static $instances = [];
        $className = static::class;
        if (!isset($instances[$className])) {
            $instances[$className] = new static();
        }
        return $instances[$className];
    }
}

class A
{
    use Singleton;
    public $name = "I'm A";
}

class B extends A
{
    public $name = "My name is B";
}

这种方式既保证了每个类拥有独立的单例实例，又能复用单例逻辑，是更优雅的实现方式。

内容的提问来源于stack exchange，提问作者didier