建站
咨詢
售后
建站咨詢
新聞中心
本篇文章帶大家深入了解php中的泛型，介紹兩個泛型示例，希望對大家有所幫助！
專注于為中小企業(yè)提供網(wǎng)站制作、網(wǎng)站設(shè)計服務(wù),電腦端+手機端+微信端的三站合一,更高效的管理,為中小企業(yè)洛浦免費做網(wǎng)站提供優(yōu)質(zhì)的服務(wù)。我們立足成都，凝聚了一批互聯(lián)網(wǎng)行業(yè)人才，有力地推動了上1000家企業(yè)的穩(wěn)健成長，幫助中小企業(yè)通過網(wǎng)站建設(shè)實現(xiàn)規(guī)模擴充和轉(zhuǎn)變。
我在 上一篇 中展示了一個非常無聊的泛型示例，我們將在這個中做得更好。
$users = new Collection(); $slugs = new Collection ();
集合 它們可能是解釋泛型的最簡單方法，但它們也是每個人在討論泛型時都會談?wù)摰氖纠?。人們通常認為「泛型」和「具有類型的集合」是一回事。絕對不是這樣。
所以讓我們再看兩個例子。
這是一個名為「app」的函數(shù)——如果你使用像 Laravel 這樣的框架，它可能看起來很熟悉：這個函數(shù)接受一個類名，并使用依賴容器解析該類的一個實例：
function app(string $className): mixed
{
return Container::get($className);
}
現(xiàn)在，你不需要知道容器是如何工作的，重要的是這個函數(shù)會給你一個你請求的類的實例。
所以，基本上，它是一個通用函數(shù)；一個返回類型取決于你給它的類名。如果我們的 IDE 和其他靜態(tài)分析器也明白，如果我給這個函數(shù)提供類名「UserRepository」，我希望返回一個 UserRepository 的實例，而不是別的，那就太酷了：
function app(string $className): mixed
{ /* … */ }
app(UserRepository::class); // ?
好吧，泛型允許我們這樣做。
我想現(xiàn)在是提一下我一直保守秘密的好時機，就像: 我在 上一篇 中提到 PHP 中不存在泛型；好吧，這并不完全正確。那里的所有靜態(tài)分析器——無需運行即可讀取代碼的工具，像你的 IDE 之類的工具——他們允許將 doc 塊注釋用于泛型：
/** * @template Type * @param class-string$className * @return Type */ function app(string $className): mixed { /* … */ }
誠然：這不是最完美的語法，所有靜態(tài)分析器都依賴于一個簡單的協(xié)議，即這是沒有官方規(guī)范語法； 但是：它有效。PHP 世界中最大的三個靜態(tài)分析器：PhpStorm、Psalm 和 PhpStan，都在一定程度上理解這種語法。
像 PhpStorm 這樣的 IDE 使用它，以便在程序員編寫代碼時向他們提供反饋，而像 Psalm 和 PhpStan 這樣的工具使用它，來批量分析你的代碼庫并檢測潛在的 bug，主要基于類型定義。
所以實際上，我們可以構(gòu)建這個 app 函數(shù)，使我們的工具不再在黑暗中運行。 當(dāng)然，PHP 本身并不能保證返回類型是正確的，因為 PHP 不會在運行時對該函數(shù)進行類型檢查； 但是，如果我們可以相信我們的靜態(tài)分析器是正確的，那么在運行它時，這段代碼就很少——甚至沒有機會被中斷。
這就是靜態(tài)分析令人難以置信的力量：實際上,我們可以確定，無需運行我們的代碼； 其中大部分將按預(yù)期工作。 所有這一切都歸功于類型——包括泛型。
讓我們來看一個更復(fù)雜的例子：
Attributes::in(MyController::class)
->filter(RouteAttribute::class)
->newInstance()
->
在這里，我們有一個可以“查詢”屬性并即時實例化它們的類。 如果你在知道它們的反射 API 相當(dāng)冗長之前使用過屬性，那么我發(fā)現(xiàn)這種輔助類非常有用。
當(dāng)我們使用 filter 方法時，我們給它一個屬性的類名； 然后調(diào)用 newInstance 方法，我們知道結(jié)果將是我們過濾類的一個實例。 再說一遍：如果我們的 IDE 能理解我們在說什么，那就太好了。
你猜對了：泛型允許我們這樣做：
/** @template AttributeType */
class Attributes
{
/**
* @template InputType
* @param class-string $className
* @return self
*/
public function filter(string $className): self
{ /* … */ }
/**
* @return AttributeType
*/
public function newInstance(): mixed
{ /* … */ }
// …
}
我希望你開始看到簡單類型信息的強大功能。幾年前，我需要一個 IDE 插件才能讓這些洞察力發(fā)揮作用，現(xiàn)在我只需要添加一些類型信息。
不過，這個最新的示例不僅依賴于泛型，還有另一個同樣重要的部分在起作用。類型推斷：靜態(tài)分析器「猜測」—— 或可靠地確定 —— 無需用戶指定類型的能力。 這就是那里的類字符串注釋正在發(fā)生的事情。我們的 IDE 能夠?qū)⑽覀兲峁┙o此函數(shù)的輸入識別為類名，并將該類型推斷為泛型類型。
所以，一切都解決了，對吧：PHP中有泛型，所有主要的靜態(tài)分析器都知道如何使用它們。嗯…有幾個警告。
首先，沒有關(guān)于泛型應(yīng)該是什么樣子的官方規(guī)范，現(xiàn)在每個靜態(tài)分析器都可以使用自己的語法；目前，他們碰巧已經(jīng)就其中一個達成了一致；但未來幾乎沒有保障。
其次：在我看來，文檔塊是次優(yōu)的。他們覺得自己在我們的代碼庫中不那么重要。當(dāng)然，泛型注釋只提供靜態(tài)洞察，沒有運行時功能，但我們已經(jīng)看到了靜態(tài)分析的強大功能，即使沒有運行時類型檢查。我認為將類型信息視為“文檔注釋”是不公平的，它沒有在我們的代碼中傳達這些類型的重要性。這就是為什么我們在PHP8中得到了屬性：屬性提供的所有功能，在docblock注釋中都是可能的，但感覺還不夠好。泛型也是如此。
最后一點：如果沒有合適的規(guī)范，所有三種主要的靜態(tài)分析儀在其泛型實現(xiàn)之間都存在差異。PhpStorm是目前最缺乏的一種。理想情況下，會有一個來自PHP內(nèi)部的官方規(guī)范。但是官方現(xiàn)在沒有。
這些是我認為值得在更持久、更可持續(xù)的解決方案上投入時間的主要原因。那么為什么PHP還沒有合適的泛型呢？為什么我們依賴沒有明確規(guī)范的文檔塊？
名稱欄目：通過示例來深入了解PHP中的泛型
轉(zhuǎn)載來源：http://www.5511xx.com/article/djhdjij.html
