協變和逆變：「輸入」和「輸出」類型如何影響通用 API？

解開協變和逆變的迷霧：簡化矩陣

即使查閱了大量資料，對協變和逆變，特別是它們與「輸入/輸出」關係的理解，仍然讓人困惑。為了揭開這些概念的神秘面紗，讓我們一步一步地分解它們的定義和應用。

協變與逆變

協變允許在 API 中使用「更寬泛」的類型（不太具體）來取代原始類型，而原始類型僅用作「輸出」（例如，傳回值）。另一方面，逆變允許使用「更窄」的類型（更具體）來取代 API 中原始類型，而原始類型僅用作「輸入」（例如，參數）。

將協變/逆變與輸入/輸出連結

「輸入/輸出」的差異與逆變和協變分別大致對應。但是，這種關係取決於泛型類型是作為方法參數還是傳回值使用。

方法參數的輸入/輸出

當泛型型別用作方法參數時，適用「逆變」規則。這意味著方法可以接受比指定的泛型類型更具體的類型參數。例如：

<code>interface MyInterface<in t>
{
    T MyFunction(T variable);
}</in></code>

在這種情況下，即使 MyFunction 期望型別為 Base 的參數，也可以傳遞型別為 Derived 的參數。

傳回值的輸入/輸出

當泛型型別用作方法傳回值時，適用「協變」規則。方法可以傳回比指定的泛型類型更通用的類型值。例如：

<code>interface MyInterface<out t>
{
    T MyFunction(int variable);
}</out></code>

在這種情況下，即使 MyFunction 傳回型別為 Derived 的值，也可以傳回型別為 Base 的值。

理解其原理

傳回值的協變確保傳回更通用類型的方法可以隱式賦值給指定的泛型類型的變數。參數的逆變保證接受更具體參數類型的方法仍然可以用指定的泛型類型的參數呼叫。

結論

掌握協變和逆變需要理解類型相容性的細微之處。透過理解這些概念與「輸入/輸出」差異之間的關係，您可以有效地利用泛型來增強程式碼的靈活性和安全性。

以上是協變和逆變：「輸入」和「輸出」類型如何影響通用 API？的詳細內容。更多資訊請關注PHP中文網其他相關文章！