如何解决多类型模板的诗篇注释
我需要构建一个特征(或与此相关的类),我可以在其上为多个类型模板;我已经尝试过类似以下的内容(也描述了问题;汽车上下文只是为了说明问题,我知道汽车应该聚合而不是组合,但这不是要讨论的问题):
/**
* @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
注释中引用通用特征的正确语法。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。