如何使用 psalm 和 phpstan 为工厂编写泛型

Question

我正在为 php 尝试 phpstan 和 psalm，我想写一个 class 可以接受不同类型的对象和 return右一根据工厂来调用。

我想要实现的是，如果我将 A 类型的对象传递给 Transformer，编译器就会知道 SuperA 将被 returned。

虽然我可以在 psalm 中没有错误（尽管我仍然得到 SuperA|SuperB 而不是正确的对象），但我在 phpstan.

https://phpstan.org/r/4fce6f46-7aea-4f73-8259-df895910f064

https://psalm.dev/r/352e64ea95

有办法吗？

Answer 1

所以你想得到基于A的SuperA和基于B的SuperB。

我会像这样将 A+SuperA 和 B+SuperB 连接在一起：https://phpstan.org/r/28e4e6ec-887b-4735-9b34-c034b4fa04ec

/**
 * @template TSuper of Super
 */
interface Common
{
}

/**
 * @implements Common<SuperA>
 */ 
class A implements Common
{
}

/**
 * @implements Common<SuperB>
 */ 
class B implements Common
{
}

interface Super
{
}

class SuperA implements Super
{
    public function callA(): void{}
}

class SuperB implements Super
{
    public function callB(): void{}
}

然后工厂需要有这个签名：

/**
 * @template T of Super
 * @param Common<T> $obj
 * @return T
 */
public function transform($obj)

如何使用 psalm 和 phpstan 为工厂编写泛型

How to write generics for factories using psalm and phpstan

php

generics

factory-pattern

phpstan

psalm-php