辰东全部小说,有声小说在线收听网

新聞中心

這里有您想知道的互聯(lián)網(wǎng)營銷解決方案

通過示例來深入了解PHP中的泛型

本篇文章帶大家深入了解php中的泛型，介紹兩個泛型示例，希望對大家有所幫助！

專注于為中小企業(yè)提供網(wǎng)站制作、網(wǎng)站設計服務,電腦端+手機端+微信端的三站合一,更高效的管理,為中小企業(yè)洛浦免費做網(wǎng)站提供優(yōu)質的服務。我們立足成都，凝聚了一批互聯(lián)網(wǎng)行業(yè)人才，有力地推動了上1000家企業(yè)的穩(wěn)健成長，幫助中小企業(yè)通過網(wǎng)站建設實現(xiàn)規(guī)模擴充和轉變。

我在上一篇中展示了一個非常無聊的泛型示例，我們將在這個中做得更好。

$users = new Collection();

$slugs = new Collection();

集合 它們可能是解釋泛型的最簡單方法，但它們也是每個人在討論泛型時都會談論的示例。人們通常認為「泛型」和「具有類型的集合」是一回事。絕對不是這樣。

所以讓我們再看兩個例子。

這是一個名為「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，主要基于類型定義。

所以實際上，我們可以構建這個 app 函數(shù)，使我們的工具不再在黑暗中運行。當然，PHP 本身并不能保證返回類型是正確的，因為 PHP 不會在運行時對該函數(shù)進行類型檢查；但是，如果我們可以相信我們的靜態(tài)分析器是正確的，那么在運行它時，這段代碼就很少——甚至沒有機會被中斷。

這就是靜態(tài)分析令人難以置信的力量：實際上,我們可以確定，無需運行我們的代碼；其中大部分將按預期工作。所有這一切都歸功于類型——包括泛型。

讓我們來看一個更復雜的例子：

Attributes::in(MyController::class)
    ->filter(RouteAttribute::class)
    ->newInstance()
    ->

在這里，我們有一個可以“查詢”屬性并即時實例化它們的類。如果你在知道它們的反射 API 相當冗長之前使用過屬性，那么我發(fā)現(xiàn)這種輔助類非常有用。

當我們使用 filter 方法時，我們給它一個屬性的類名；然后調用 newInstance 方法，我們知道結果將是我們過濾類的一個實例。再說一遍：如果我們的 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 能夠將我們提供給此函數(shù)的輸入識別為類名，并將該類型推斷為泛型類型。

所以，一切都解決了，對吧：PHP中有泛型，所有主要的靜態(tài)分析器都知道如何使用它們。嗯…有幾個警告。

首先，沒有關于泛型應該是什么樣子的官方規(guī)范，現(xiàn)在每個靜態(tài)分析器都可以使用自己的語法；目前，他們碰巧已經(jīng)就其中一個達成了一致；但未來幾乎沒有保障。

其次：在我看來，文檔塊是次優(yōu)的。他們覺得自己在我們的代碼庫中不那么重要。當然，泛型注釋只提供靜態(tài)洞察，沒有運行時功能，但我們已經(jīng)看到了靜態(tài)分析的強大功能，即使沒有運行時類型檢查。我認為將類型信息視為“文檔注釋”是不公平的，它沒有在我們的代碼中傳達這些類型的重要性。這就是為什么我們在PHP8中得到了屬性：屬性提供的所有功能，在docblock注釋中都是可能的，但感覺還不夠好。泛型也是如此。

最后一點：如果沒有合適的規(guī)范，所有三種主要的靜態(tài)分析儀在其泛型實現(xiàn)之間都存在差異。PhpStorm是目前最缺乏的一種。理想情況下，會有一個來自PHP內部的官方規(guī)范。但是官方現(xiàn)在沒有。

這些是我認為值得在更持久、更可持續(xù)的解決方案上投入時間的主要原因。那么為什么PHP還沒有合適的泛型呢？為什么我們依賴沒有明確規(guī)范的文檔塊？

新聞標題：通過示例來深入了解PHP中的泛型
鏈接地址：http://fisionsoft.com.cn/article/djhdjij.html

新聞中心

其他資訊