0

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

/**
  * @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 限制
4

1 回答 1

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 {}

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

于 2021-03-20T22:56:58.343 回答