如何在PHP中为动态类名访问的实例进行类型提示

$className = '\App\Models\Book'; // 类名作为字符串
$className::each(function($instance) {
    // 如何准确地为 $instance 进行类型提示？
    echo $instance->title . PHP_EOL;
});

<?php

namespace App\Models;

// 假设 Book 类存在且有一个 title 属性
class Book
{
    public string $title;

    public static function each(callable $callback)
    {
        // 模拟从数据库中获取数据并执行回调
        $book1 = new Book();
        $book1->title = "The Hitchhiker's Guide to the Galaxy";
        $callback($book1);

        $book2 = new Book();
        $book2->title = "The Restaurant at the End of the Universe";
        $callback($book2);
    }
}

$className = '\App\Models\Book';

$className::each(function(
    /** @param object{title:string} $i */ $i
) {
    // 此时，Psalm能够识别 $i 具有一个名为 'title' 的字符串属性
    echo $i->title . PHP_EOL;
    // 如果尝试访问不存在的属性，Psalm会发出警告
    // echo $i->author . PHP_EOL; // Psalm会警告此属性不存在
});

// 输出示例:
// The Hitchhiker's Guide to the Galaxy
// The Restaurant at the End of the Universe

/**
 * @template T of object
 * @param class-string<T> $className
 * @return T
 */
function createInstance(string $className): object {
    return new $className();
}

/**
 * @template T of \App\Models\Book|\App\Models\Article
 * @param class-string<T> $modelClass
 * @param callable(T):void $callback
 * @return void
 */
function processModelInstances(string $modelClass, callable $callback): void {
    // 内部逻辑，可能根据 $modelClass 动态获取实例并调用 $callback
    if ($modelClass === \App\Models\Book::class) {
        $book = new \App\Models\Book();
        $book->title = "Dynamic Book Title";
        $callback($book);
    } elseif ($modelClass === \App\Models\Article::class) {
        $article = new \App\Models\Article();
        $article->heading = "Dynamic Article Heading";
        $callback($article);
    }
}

// 使用条件类型（在Psalm内部实现）来推断回调参数的类型
processModelInstances(\App\Models\Book::class, function(
    /** @param (\App\Models\Book is \App\Models\Book ? \App\Models\Book : \App\Models\Article) $instance */ $instance
) {
    // Psalm会识别 $instance 为 \App\Models\Book
    echo $instance->title;
});

processModelInstances(\App\Models\Article::class, function(
    /** @param (\App\Models\Article is \App\Models\Book ? \App\Models\Book : \App\Models\Article) $instance */ $instance
) {
    // Psalm会识别 $instance 为 \App\Models\Article
    echo $instance->heading;
});