多类型模板的诗篇注释

Question

我需要构建一个特征（或与之相关的类），我可以在其上模板化多种类型；我已经尝试过类似以下的方法（也描述了问题；汽车上下文只是为了说明问题，我知道汽车应该是聚合的而不是组合的，但这不是要讨论的问题）：

/**
  * @template TyreType of Tyre
  * @template EngineType of Engine
  */
trait Car {
    /**
      * @return TyreType
      */
    public function getTyre(): Tyre {
    }

    /**
      * @return EngineType
      */
    public function getEngine(): Engine{
    }
}

trait SomeCar {
    /**
     * @use Car<AirlessTyre><DieselEngine>
     */
    use Car;

    public function test() {
        $this->getEngine()->dieselSpecificMethod();
    }
}

class Engine{}
class Tyre{}
class DieselEngine extends Engine {
    public function dieselSpecificMethod() {}
}
class AirlessTyre extends Tyre {}

问题是，在 PhpStorm 中，我在 dieselSpecificMethod() 上收到“潜在的多态调用。引擎在其层次结构中没有成员”。

所以我的问题是：

• psalm 是否支持多种类型的模板，因为我正在尝试实现
• 我是否遗漏了上面示例中的正确语义？我应该如何注释这个？
• 还是只是 PhpStorm 的限制

Answer 1

Psalm 确实支持多种类型参数。使用它们的正确语法是GenericType<TA, TB>（无法识别您使用的GenericType<TA><TB>）。解决了这个问题（以及更多抑制，以消除不必要的噪音），这就变成了：

<?php
/**
  * @template TyreType of Tyre
  * @template EngineType of Engine
  */
trait Car {
    /**
      * @return TyreType
      * @psalm-suppress InvalidReturnType
      */
    public function getTyre(): Tyre {
    }

    /**
      * @return EngineType
      * @psalm-suppress InvalidReturnType
      */
    public function getEngine(): Engine{
    }
}

trait SomeCar {
    /**
     * @use Car<AirlessTyre,DieselEngine>
     */
    use Car;

    public function test():void {
        $this->getEngine()->dieselSpecificMethod();
        $this->getEngine()->warp(9);
    }
}

class FordCar { use SomeCar; }

class Engine{}
class Tyre{}
class DieselEngine extends Engine {
    public function dieselSpecificMethod():void {}
}
class WarpEngine extends Engine {
    public function warp(int $speed): void {}
}
class AirlessTyre extends Tyre {}

Psalm 可以告诉你福特当然没有曲速引擎功能：https://psalm.dev/r/31343aafc3。请注意在 @use 注释中引用泛型特征的正确语法。