多类型模板的诗篇注释

问题描述

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

/**
  * @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() 上收到“潜在的多态调用。引擎在其层次结构中没有成员”。

所以我的问题是：

• 诗篇是否支持我正在尝试实现的多类型模板
• 我是否在上面的示例中遗漏了正确的语义？我应该如何注释？
• 或者只是 PHPStorm 的限制

解决方法

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