PHP - 型別提示

PHP 是一種流行的腳本語言，廣泛應用於網頁開發。PHP 的強大功能之一就是型別提示（type hinting），它讓您可以指定函數參數和返回值的預期數據類型。這個特性能夠幫助您通過及早捕獲潛在錯誤，來編寫更健壯且可維護的代碼。在本教程中，我們將探討 PHP 型別提示的基本概念，並提供範例以說明其使用方法。

PHP - Type Hints

基本概念

在深入細節之前，讓我們先了解型別提示是什麼，以及它的重要性。型別提示是一種在您的代碼中強制執行特定數據類型的方法。它幫助開發人員通過確保函數接收到正確類型的參數和返回預期的數據類型，來及早捕獲潛在的錯誤。通過使用型別提示，您可以讓代碼更為可預測且更容易調試。

現在，讓我們看看一些如何在 PHP 中使用型別提示的範例。

範例

我們從一個簡單的範例開始，演示如何在函數中使用型別提示：

function greet(string $name): string {
return "Hello, " . $name;
}

echo greet("Alice"); // 輸出：Hello, Alice

在這個範例中，我們定義了一個名為 greet 的函數，它接受一個參數 $name 並返回一個字符串。參數列表後面的冒號（:）表示函數期望一個字符串作為參數，而結束括號前的冒號表示函數將返回一個字符串。如果您嘗試使用不同類型的參數調用函數，PHP 將發出警告或錯誤。

strict_types

默認情況下，PHP 不要求嚴格的型別檢查。然而，您可以通過在 php.ini 文件中將 strict_types 指令設置為 1，或者在腚本開始時使用 declare(strict_types=1); 語句來啟用嚴格型別檢查。當啟用嚴格型別檢查時，任何預期類型與實際類型之間的不匹配都會導致致命錯誤。

以下是如何使用嚴格型別檢查的範例：

declare(strict_types=1);

function add(int $a, int $b): int {
return $a + $b;
}

echo add(5, "10"); // 這將導致一個致命錯誤，因為第二個參數不是整數

聯合型別

PHP 8 引入了對聯合型別的支持，它允許您為函數參數或返回值指定多個可能的類型。要使用聯合型別，您可以使用管道符（|）分隔類型。以下是一個範例：

function processNumber(int|float $number): string {
return "The number is " . $number;
}

echo processNumber(42); // 輸出：The number is 42
echo processNumber(3.14); // 輸出：The number is 3.14

在這個範例中，processNumber 函數接受整數或浮點數作為其參數，並返回一個字符串。

在類中使用型別提示

型別提示不僅限於函數；您還可以在類的屬性和方法中使用它。以下是如何在類中使用型別提示的範例：

class Student {
private string $name;
private int $age;

public function __construct(string $name, int $age) {
$this->name = $name;
$this->age = $age;
}

public function getDetails(): string {
return "Name: " . $this->name . ", Age: " . $this->age;
}
}

$student = new Student("Alice", 25);
echo $student->getDetails(); // 輸出：Name: Alice, Age: 25

在這個範例中，我們定義了一個 Student 類，其中包含兩個私有屬性 $name 和 $age，它們都有明確的型別提示。構造函數也使用型別提示來確保提供的參數匹配預期的類型。getDetails 方法返回一個字符串，所以我們使用 : string 型別提示來指示這一點。

結論

型別提示是 PHP 中的一個強大特性，它可以帮助您編寫更健壯且可維護的代碼。通过為函數參數和返回值指定預期的數據類型，您可以及早捕獲潛在的錯誤，並使代碼更易於理解和調試。無論您是初學者還是經驗豐富的開發人員，將型別提示整合到您的 PHP 項目中都是一個好習慣，這將導致更優質的軟件。

Credits: Image by storyset