我正在嘗試 phpstan 和 psalm for php，我想編寫一個類，它可以接受不同類型的對象并根據(jù)要調(diào)用的工廠返回正確的對象。我想要實現(xiàn)的是，如果我將類型 A 的對象傳遞給 Transformer，編譯器知道將返回 SuperA。雖然我可以在 psalm 中沒有錯誤（盡管我仍然得到 SuperA|SuperB 而不是正確的對象），但我在 phpstan 中傳遞的內(nèi)容出現(xiàn)了錯誤。https://phpstan.org/r/4fce6f46-7aea-4f73-8259-df895910f064https://psalm.dev/r/352e64ea95有辦法做到嗎？
1 回答
慕桂英3389331
TA貢獻2036條經(jīng)驗 獲得超8個贊
所以你想在A的基礎(chǔ)上得到SuperA，在B的基礎(chǔ)上得到SuperB。
我將 A+SuperA 和 B+SuperB 連接在一起，如下所示：https: //phpstan.org/r/28e4e6ec-887b-4735-9b34-c034b4fa04ec
/**
* @template TSuper of Super
*/
interface Common
{
}
/**
* @implements Common<SuperA>
*/
class A implements Common
{
}
/**
* @implements Common<SuperB>
*/
class B implements Common
{
}
interface Super
{
}
class SuperA implements Super
{
public function callA(): void{}
}
class SuperB implements Super
{
public function callB(): void{}
}
然后工廠需要有這個簽名：
/**
* @template T of Super
* @param Common<T> $obj
* @return T
*/
public function transform($obj)
- 1 回答
- 0 關(guān)注
- 173 瀏覽
添加回答
舉報
0/150
提交
取消