假设您在Foo上有一个静态属性，该属性被记录为FooApp的示例（扩展类Bar），在运行时，该静态属性实际上被设置为BarApp的示例，而不是FooApp：

class Foo
{
    /**
     * @var FooApp
     */
    public static $app;
}

class Bar extends Foo
{
}

Bar::$app = BarApp();

......如何正确地记录Bar，以便明确其静态$app将被设置为BarApp示例而不是FooApp？
我尝试了以下方法，但PhpStorm不遵守，可能是因为@property不适用于静态属性：

/**
 * @property BarApp $app
 */
class Bar extends Foo
{
}

到目前为止，我所想到的唯一一件事就是在代码中重写$bar：

class Bar
{
    /**
     * @var BarApp
     */
    public static $app;
}

这有点烦人，因为它会导致额外的代码，而理论上额外的文档已经足够了（例如，使用@property和@method重写示例级属性和方法的文档）。
(The这里的用例是一个Yii应用程序-Foo代表BaseYii，Bar代表一个扩展它的自定义类; FooApp表示yii\base\Application，而BarApp表示扩充它的自订类别。）