使用PHP的本機(jī)類型聲明和PHPDOC註釋來定義數(shù)組形狀和值類型，從而使靜態(tài)分析儀能夠執(zhí)行結(jié)構(gòu)； 2。更喜歡特定的數(shù)組類型，例如字符串[]或數(shù)組而不是通用數(shù)組來捕獲類型不匹配； 3.用值對像或DTO代替結(jié)構(gòu)化數(shù)據(jù)，以確保鍵入安全性並防止關(guān)鍵錯別字； 4。使用phpstan或psalm等靜態(tài)分析工具來檢測陣列中未定義的鍵並鍵入錯誤； 5。使用驗證器或自定義邏輯立即驗證和標(biāo)準(zhǔn)化外部數(shù)組輸入以創(chuàng)建受信任的鍵入數(shù)據(jù)； 6.利用php 8.1枚舉數(shù)組值或鍵消除字符串錯別字並強(qiáng)制執(zhí)行有效選項。通過將本機(jī)鍵入，對象，靜態(tài)分析，輸入驗證和枚舉結(jié)合在一起，可以在現(xiàn)代PHP中實現(xiàn)有意義的類型安全和陣列。

在過去的十年中，PHP已經(jīng)顯著發(fā)展，並且隨著現(xiàn)代PHP功能（尤其是標(biāo)量型聲明，返回類型和更嚴(yán)格的分析工具）的引入，即使使用數(shù)組，也比以往任何時候都更加現(xiàn)實。儘管PHP陣列本質(zhì)上是靈活的（有時是不可預(yù)測的），但現(xiàn)代代碼庫可以通過組合本機(jī)鍵入，編碼實踐和工具來實施類型的安全性。

今天，您可以在PHP中使用陣列時實現(xiàn)有意義的類型安全性。

1。使用PHP的本機(jī)語法使用鍵入陣列

儘管PHP不支持TypeScript或Java等通用數(shù)組，但您仍然可以使用PHP的內(nèi)置語法清楚地表達(dá)數(shù)組類型，用於參數(shù)和返回類型聲明。

聲明數(shù)組形狀和價值類型

在可能的情況下，使用具有PHPDOC註釋（用於IDE和靜態(tài)分析支持）的array （用於IDE和靜態(tài)分析支持）和標(biāo)量類型：

 /**
 * @param數(shù)組<字符串，混合> $用戶
 * @return數(shù)組{userId：int，name：string，isActive：bool}
 */
功能處理程序（數(shù)組$ user）：數(shù)組
{
    返回 [
        &#39;userId&#39;=>（int）$ user [&#39;id&#39;]，
        &#39;name&#39;=>（string）（$ user [&#39;name&#39;] ??&#39;未知&#39;），
        &#39;iSactive&#39;=>！
    ];
}

這告訴PHPSTAN或PSALM等靜態(tài)分析儀，即使PHP本身在運行時不會強(qiáng)制執(zhí)行內(nèi)部鍵，但期望什麼結(jié)構(gòu)。

注意：PHP 8.1支持true ， false和null的類型，而在8.1中never提高精度。

2。更喜歡特定的數(shù)組類型而不是通用array

而不是鬆散鍵入的array ，請在可能的情況下使用更多特定類型：

• string[] - 一系列字符串
• array<int, User> - 整數(shù)索引的用戶對象列表
• array<string, callable> - 命名回調(diào)的地圖

例子：

函數(shù)sendnotification（用戶... $用戶）：無效
{
    /** @var數(shù)組<字符串，可呼叫> $ channels*/
    $ channels = [
        &#39;電子郵件&#39;=> fn（用戶$ u）=> $ this-> sendemail（$ u），
        &#39;sms&#39;=> fn（用戶$ u）=> $ this-> sendsms（$ u），
    ];

    foreach（$用戶為$ user）{
        foreach（$ channels作為$ handler）{
            $處理程序（$ user）;
        }
    }
}

使用string[]或User[]有助於靜態(tài)分析儀儘早捕獲類型不匹配。

3。使用值對像或數(shù)據(jù)傳輸對象（DTO）代替原始數(shù)組

實現(xiàn)類型安全性的最佳方法之一是避免用於結(jié)構(gòu)化數(shù)據(jù)的陣列。

定義類：

最終班級用戶
{
    公共功能__Construct（
        公共Readonly int $ id，
        公共讀取字符串$名稱，
        公共Readonly bool $ iSACTIVE，
    ）{}
}

//現(xiàn)在您的功能可以鍵入DTO
函數(shù)saveuser（userdto $ user）：void
{
    // type-safe和自我記錄
}

這消除了數(shù)組鍵（ 'is_active' 'isActive' ）中錯別字的風(fēng)險，並確保數(shù)據(jù)完整性。

獎勵：與屬性（php 8）或串行序列化（例如Symfony Serializer）結(jié)合使用，以安全地映射陣列。

4。利用靜態(tài)分析工具

單獨的本地PHP鍵入還不夠。使用以下工具：

• PHPSTAN （8級）
• 詩篇
• phan

這些工具了解PHPDOC註釋並可以檢測到：

• 未定義的數(shù)組鍵
• 數(shù)組中的不正確類型
• 預(yù)期和實際陣列結(jié)構(gòu)之間的不匹配

phpstan捕獲的示例：

 $ data = ['name'=>'alice'];
echo $ data ['email']; // phpstan可以將其標(biāo)記為可能不確定的

配置您的phpstan.neon或psalm.xml ，以嚴(yán)格分析陣列訪問。

5。驗證和歸一化輸入

當(dāng)數(shù)組來自外部源（API，表單，配置）時，請儘早使用以下方式進(jìn)行驗證和轉(zhuǎn)換：

• Symfony驗證器
• Laravel請求
• 自定義水合邏輯

函數(shù)createUserFromArray（數(shù)組$輸入）：userdto
{
    $ this-> asserthaskeys（$ input，['id'，'name'，'active']）;
    $ this-> essertisint（$ input ['id']）;
    $ this-> assertisstring（$ input ['name']）;

    返回新的userdto（
        id：$ input ['id']，
        名稱：$ input ['name']，
        ISACTIVE ：（ bool）$ input ['active']，
    ）；
}

快速失敗，然後使用可信賴的，鍵入的數(shù)據(jù)下游。

6。將枚舉用於數(shù)組鍵或值（PHP 8.1）

枚舉降低了易於構(gòu)想的數(shù)組值：

枚舉狀態(tài)：字符串
{
    案例草稿='草稿';
    案例發(fā)布=“已發(fā)布”；
}

//而不是：
//'狀態(tài)'=>'drft'//錯字

// 使用：
'用戶'=> ['狀態(tài)'=>狀態(tài)::草稿]

現(xiàn)在，您的數(shù)組值是類型安全的，並在分配中得到驗證。

最後的想法

PHP陣列中的真正類型安全性不是自動的，但是在現(xiàn)代代碼庫中，可以通過以下方式實現(xiàn)：

• 清晰類型聲明（本機(jī)PHPDOC）
• 當(dāng)結(jié)構(gòu)很重要時，用對象替換數(shù)組
• 嚴(yán)格的靜態(tài)分析
• 邊界的輸入驗證
• 使用枚舉和可讀課

您不需要消除數(shù)組，而是將無型的關(guān)聯(lián)陣列（如array<string mixed></string>視為“不信任”，並儘早將它們轉(zhuǎn)換為鍵入結(jié)構(gòu)。

基本上：輸入您的合同，而不僅僅是變量。

以上是使用現(xiàn)代代碼庫中的PHP陣列實現(xiàn)類型安全的詳細(xì)內(nèi)容。更多資訊請關(guān)注PHP中文網(wǎng)其他相關(guān)文章！