建站
咨詢
售后
建站咨詢
新聞中心
本篇文章給大家?guī)砹岁P(guān)于php的相關(guān)知識，主要介紹了為什么不能在PHP中使用泛型，下面將深入探討泛型和PHP背后的情況，理解為什么泛型還不被支持作為一等公民，希望對大家有幫助。
創(chuàng)新互聯(lián)建站主要從事成都做網(wǎng)站、網(wǎng)站設(shè)計、網(wǎng)頁設(shè)計、企業(yè)做網(wǎng)站、公司建網(wǎng)站等業(yè)務(wù)。立足成都服務(wù)酉陽土家族苗族,10余年網(wǎng)站建設(shè)經(jīng)驗,價格優(yōu)惠、服務(wù)專業(yè),歡迎來電咨詢建站服務(wù):18982081108
推薦學(xué)習(xí)：《PHP教程》
我們將深入探討泛型和 PHP 背后的情況。理解為什么泛型在 PHP 中還不被支持作為一等公民，這非常有趣，并且非常重要。
讓我們看看吧。
PHP 中沒有泛型。這就是去年的 Nikita 的結(jié)論。這根本不可行。
為了理解 Nikita 為什么這么說，我們需要看看如何實現(xiàn)泛型。一般來說，有三種可能的方法；支持泛型的編程語言大多使用這三種方法之一。
第一個稱為 單態(tài)泛型。 讓我們回到這個系列的第一篇文章，在這篇文章中我展示了這個集合示例：
class StringCollection extends Collection
{
public function offsetGet(mixed $key): string
{ /* … */ }
}
class UserCollection extends Collection
{
public function offsetGet(mixed $key): User
{ /* … */ }
}
我解釋了我們可以為需要的集合的每種類型，手動創(chuàng)建集合類的實現(xiàn)。 工作量將是巨大的，會有很多代碼，但是它會起作用。
單態(tài)泛型正是這樣做的，但在幕后自動實現(xiàn)。 在運行時，PHP 不會知道泛型 Collection 類，而是知道兩個或多個特定實現(xiàn)：
$users = new Collection(); // Collection_User $slugs = new Collection (); // Collection_string
單態(tài)泛型是一種完全有效的方法。例如，Rust 就使用它們。 其一個優(yōu)點是有一系列的性能提升，因為在運行時沒有更多的泛型類型檢查，所以在運行代碼之前，這些檢查都是分開的。
但是這立刻讓我們想到了 PHP 中單態(tài)泛型的問題。 PHP 沒有像 Rust 那樣將一個泛型類分成幾個具體實現(xiàn)的顯式編譯步驟；最重要的是：單態(tài)泛型確實需要相當(dāng)多的內(nèi)存，因為你在制作同一個類的多個副本，但有一些差異。 對于已編譯的 Rust 二進制文件來說，這可能不是一個大問題，但對于從中心點（服務(wù)器）運行的 PHP 代碼來說，這是一個嚴重的問題；可能每秒處理數(shù)百或數(shù)千個請求。
下一個選項是具體化泛型。這是一個實現(xiàn)，其中泛型類保持原樣，類型信息在運行時動態(tài)評估類型信息。C# 和 Kotlin 實現(xiàn)了泛型，它是最接近 PHP 當(dāng)前類型系統(tǒng)的，因為 PHP 在運行時執(zhí)行所有類型檢查。這里的問題是需要大量的核心代碼重構(gòu)才能使具體化泛型發(fā)揮作用，你可以想象，隨著我們在運行時進行越來越多的類型檢查，一些性能開銷會逐漸增加。
這將我們帶到最后一個選項：在運行時完全忽略泛型。就像它們不在那里一樣；畢竟，例如集合類的泛型實現(xiàn)無論如何都可以處理所有類型的輸入。
因此，如果我們在運行時忽略所有泛型類型檢查，則不會有任何問題。
好吧，沒有那么快。 在運行時忽略泛型類型 —— 順便說一下，它被稱為類型擦除，Java 和 Python 會這樣做 —— 這給 PHP 帶來了一些問題。
舉一個例子：PHP 不僅使用類型進行驗證，它還使用類型信息將值從一種類型動態(tài)轉(zhuǎn)換為另一種類型 —— 這就是我在本系列的第一篇文章中提到的類型雜耍：
function add(int $a, int $b): int
{
return $a + $b;
}
add('1', '2') // 3;
如果 PHP 忽略了這個「字符串」集合的泛型類型，并且我們不小心向它添加了一個整數(shù)，那么如果泛型類型被刪除，它將無法警告我們：
$slugs = new Collection(); $slugs[] = 1; // 1 不會被轉(zhuǎn)換為 '1'
類型擦除的第二個也是更重要的問題 —— 也許你現(xiàn)在已經(jīng)在屏幕上大喊大叫了 —— 是類型消失了。如果泛型類型在運行時被刪除，我們?yōu)槭裁匆砑铀鼈儯?/p>
這在 Java 和 Pyton 中是有意義的，因為在使用靜態(tài)分析器運行代碼之前會檢查所有類型定義。 例如，Java 在編譯代碼時會運行一個內(nèi)置的靜態(tài)分析器； PHP 根本不會做的事情：沒有編譯步驟，當(dāng)然也沒有內(nèi)置的靜態(tài)類型檢查器。
另一方面…… 類型檢查的所有優(yōu)點，我們在之前的文章中討論過的那些；它們不是來自 PHP 的內(nèi)置運行時類型檢查器。當(dāng) PHP 的類型檢查器告訴我們有問題時，我們已經(jīng)在運行代碼了。一個類型錯誤本質(zhì)上是讓我們的程序崩潰。
相反，類型檢查的大部分附加值來自不需要我們運行代碼的靜態(tài)分析器。只要程序員提供足夠的類型信息，他們就能很好地確保不會出現(xiàn)運行時類型錯誤。這并不意味著你的代碼中不能有任何錯誤，但可以編寫完全靜態(tài)檢查并且在運行時不會產(chǎn)生任何類型錯誤的 PHP 代碼。最重要的是：我們在編寫代碼時獲得了所有靜態(tài)洞察；這是任何類型系統(tǒng)中最有價值的部分，與運行時類型檢查無關(guān)。
那么我們真的需要運行時類型檢查嗎？因為這是目前無法在 PHP 中添加泛型的主要原因：對于 PHP 來說，在運行時驗證泛型類型太復(fù)雜或太耗費資源。
新聞名稱：一起來分析為什么不能在PHP中使用泛型
瀏覽地址：http://m.fisionsoft.com.cn/article/cdiceci.html
