PhpStorm是一個輕量級且便捷的PHP IDE，其旨在提高用戶效率，可深刻理解用戶的編碼，提供智能代碼補全，快速導航以及即時錯誤檢查。可隨時幫助用戶對其編碼進行調整，運行單元測試或者提供可視化debug功能。

下載PHPSTORM 2020.2最新試用

PHP 8將具有許多新功能，在某種程度上您幾乎可以稱其為新語言。我們已經開始較早推出對版本8的支持，第一個主要功能是聯合類型。

聯合類型T1|T2|...可以在當前可以指定任何類型的地方使用：參數，屬性或返回值。在這種情況下，變量可以接受任何列出的類型。

聯合類型早已在PHPDoc標記中使用，但是現在它們實際上將在運行時由解釋器檢查。

要查看所有功能，需要將語言版本切換為PHP8。可以在“ Languages & Frameworks | PHP | PHP language level”中手動進行操作。P

Alt+Enter如果已經有一些具有新功能的代碼，則也可以使用快速修復程序進行切換。

而且，如果在composer.json中指定了PHP版本限制，則PhpStorm將自動切換。

將PHPDoc轉換為本地聯合類型

您可以Alt+Enter對PHPDoc標記聯合類型調用快速修復，以將其轉換為本地聯合類型。

刪除不必要的PHPDocs

如果PHPDoc標記僅包含類型聲明，則它現在可能是多余的，可以通過Alt+Enter快速修復將其刪除。

我們正在考慮添加在提交之前在清理階段運行此修復程序的功能。

類型驗證

PhpStorm已經能夠使用PHPDoc標簽分析類型并查找違規。但是通過本地聲明，這些功能變得更加廣泛。

當違規乍一看不明顯時，這在復雜代碼中特別有用。

偽類型返回false

如果發生錯誤，某些舊版函數可能會返回false。例如，strpos()，array_search()，和310個標準功能行為這種方式。

在這種情況下，可以將return類型聲明為like int|bool，但是實際上它永遠不會返回true。這是新的false偽類型有用的地方。

該false假只能被用作聯合類型的一部分。否則，PhpStorm會將其突出顯示為無效代碼。

重復和冗余類型

類型關聯中的許多組合均被禁止或完全多余。例如：

• bool|false—因為false是的一部分bool。
• Foo|Foo或int|string|INT-重復。
• object|User- object包含其他所有內容。
• iterable|array或iterable|Traversable- iterable包含array和Traversable。
• void —只能在返回值中使用，并且只能作為獨立類型使用。
• false或null-僅作為聯合類型的一部分。

所有此類違規將在PhpStorm中突出顯示。

更多更新修復功能請持續關注后續文章。