PhpStorm 2021.2 測(cè)試版現(xiàn)已推出。我們正在為 PHP 中的泛型添加初步支持。

下載PhpStorm 最新版

支持泛型

PHP 中有泛型嗎？

雖然泛型是PHP語言中最需要的功能之一，但根據(jù)JetBrains開發(fā)者生態(tài)系統(tǒng)的調(diào)查，在不久的將來，沒有計(jì)劃添加它們。

Nikita Popov研究了在PHP中這樣做的可行性，甚至還做了一個(gè)PoC的原型。然而，他得出的結(jié)論是，所有各種可能的實(shí)現(xiàn)方式都有嚴(yán)重的問題。

通過注解泛型

從好的方面看，泛型已經(jīng)被引入靜態(tài)分析工具，如Psalm和PHPStan。它們的應(yīng)用迅速增長(zhǎng)，許多流行的開源PHP項(xiàng)目現(xiàn)在都依賴于泛型注釋。因此，難怪 "WI-47158泛型支持與@template "票是PhpStorm問題跟蹤器中被支持最多的票之一。

我們?cè)赑hpStorm 2020.3中引入了對(duì)Psalm和PHPStan的支持。這種支持帶有@template注解的泛型的基本 "鏡像 "方案。閱讀更多關(guān)于PhpStorm對(duì)Psalm和PHPStan的支持。

什么將在 PhpStorm 2021.2 中起作用？

使用@template 的
泛型的最流行的應(yīng)用之一是集合。

在PhpStorm 2021.2中，你將能夠使用泛型類集合。查看Brent Roose的《泛型和我們?yōu)槭裁?需要它們》一文，了解更多關(guān)于這種方法比數(shù)組的優(yōu)勢(shì)。

簡(jiǎn)而言之，你可以得到更多的防錯(cuò)代碼和更好的代碼完成度。

下面是一個(gè)@template注釋的集合類的簡(jiǎn)單例子。

使用Doctrine Collections，您已經(jīng)可以在簡(jiǎn)單的場(chǎng)景中完成代碼：

迭代 DoctrineCollection接口當(dāng)前不起作用。因?yàn)闉榱酥С诌@一點(diǎn)，應(yīng)該實(shí)現(xiàn)兩個(gè)級(jí)別的模板傳遞：Doctrine Collection=> IteratorAggregate。

因此，解決此問題的方法可能是在類型提示中使用特定集合，例如ArrayCollection. 使用這樣的注釋，您將能夠在 foreach 循環(huán)中完成代碼：

只支持第一級(jí)深度

在PhpStorm中，你只能獲得第一級(jí)泛型的類型推理和完成，即像Base<T>或Base<T1, T2>這樣的泛型。對(duì)于這樣的注解，PhpStorm 將理解 T 類型。

像Base<Child<T&gt;>這樣的嵌套泛型不被支持，并且在將來也可能不被支持，因?yàn)槠湫阅荛_銷很大。

@class-string<T>

泛型的另一個(gè)應(yīng)用是容器和工廠。對(duì)于這樣的代碼，通常將類名字符串作為參數(shù)傳遞并作為結(jié)果接收對(duì)象。

如果您使用@class-string<T>標(biāo)簽注釋某些參數(shù)，PhpStorm 將為您提供適當(dāng)?shù)念愋屯茢啵?

事實(shí)上，如果您使用new運(yùn)算符從參數(shù)實(shí)例化一個(gè)對(duì)象，則無需添加@class-string注釋——它只是開箱即用：

模板繼承

還支持?jǐn)U展模板類的基本情況。為此，您可以使用@extends標(biāo)簽。

該@implements支持，但有當(dāng)模板注釋形成基地簽名一個(gè)已知的問題是不能繼承的。

未來的范圍是什么？

我們正在逐步支持泛型。并計(jì)劃繼續(xù)這項(xiàng)工作。我們計(jì)劃在未來的更新中添加一些已知功能缺失：

• WI-56034支持類上的泛型
• WI-60894支持參數(shù)包裝
• WI-61438支持基于 IteratorAggregate 的推理
• WI-61497泛型模板@implements 應(yīng)該從接口繼承注釋

 ====================================================

想要了解或購買PhpStorm正版授權(quán)的朋友，歡迎

JetBrain技術(shù)交流群現(xiàn)已開通，QQ搜索群號(hào)“786598704”或者掃描下方二維碼即可加入