多类型模板的诗篇注释

Question

我需要建立一个特征（或 class 就此而言），我可以在其上模板化多种类型；我试过类似下面的东西（也是对问题的描述；汽车上下文只是为了说明问题，我知道汽车应该是聚合的而不是组合的，但这不是要讨论的问题）：

/**
  * @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 注释中引用通用特征的正确语法。

多类型模板的诗篇注释

Psalm annotation for multiple-type template

php

phpstorm

psalm-php