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