PHP 類型約束

導語

所謂類型約束，即定義一個變量的時候，必須指定其類型，而且之後該變量也只能存儲該類型數據。PHP 雖然是弱類型語言，可是在 PHP 5 已經支持類型約束，包括對象、接口、數組，在 PHP 7 以後支持標量類型約束，下面簡單寫幾個示例。

標量類型、數組

在參數中指明類型，若是不一致，會拋出一個可捕獲的致命錯誤

<?php

/**
 * 數組類型約束
 * @param array $arr
 */
function printArray(array $arr)
{
    echo implode(',', $arr);
}

printArray(array(1, 2, 3));// 1,2,3
printArray('1');// Fatal error: Uncaught TypeError: Argument 1 passed to printArray() must be of the type array, string given, called in D:\WWW\test.php on line 13 and defined in D:\WWW\test.php:7 Stack trace: #0 D:\WWW\test.php(13): printArray('1') #1 {main} thrown in D:\WWW\test.php on line 7

如上所示，標量類型也是如此

<?php

/**
 * 標量類型約束
 * @param string $name
 * @param int $age
 * @param float $height
 * @param bool $isBoy
 */
function sayInfo(string $name, int $age, float $height, bool $isBoy)
{
    echo '姓名：' . $name . '，年齡：' . $age . '，身高：' . $height . '，是否爲男孩：' . ($isBoy ? '是' : '否');
}

sayInfo('tom', 12, 134.5, true);// 姓名：tom，年齡：12，身高：134.5，是否爲男孩：是

對象、接口

類型約束也能夠指定爲對象或者接口。首先定義一個 Human 接口，Boy 和 Girl 兩個類分別實現接口

<?php

/**
 * 接口
 * Interface Human
 */
interface Human
{
    public function say();

    public function run();
}

/**
 * 實現 Human 接口
 * Class Boy
 */
class Boy implements Human
{
    public function say()
    {
        echo 'a boy say';
    }

    public function run()
    {
        echo 'a boy run';
    }
}

/**
 * 實現 Human 接口
 * Class Girl
 */
class Girl implements Human
{
    public function say()
    {
        echo 'a girl say';
    }

    public function run()
    {
        echo 'a girl run';
    }
}

接下來新建一個類來測試

<?php

include './human.php';

class Action
{
    /**
     * Boy 對象類型約束
     * @param Boy $boy
     */
    public function boySay(Boy $boy)
    {
        $boy->say();
    }

    /**
     * Girl 對象類型約束
     * @param Girl $girl
     */
    public function girlSay(Girl $girl)
    {
        $girl->say();
    }

    /**
     * Human 接口類型約束
     * @param Human $obj
     */
    public function humanRun(Human $obj)
    {
        $obj->run();
    }
}

$obj = new Action();
$obj->boySay(new Boy());// a boy say
echo '<br />';
$obj->girlSay(new Girl());// a girl say
echo '<br />';
$obj->humanRun(new Boy());// a boy run
echo '<br />';
$obj->humanRun(new Girl());// a girl run

當類型約束爲具體對象 Boy 或者 Girl 時，只能傳入要求的對象。當類型約束爲接口 Human 時，能夠傳入實現接口的類 Boy 或 Girl。

---

參考資料：PHP 5 類型約束、PHP 7 標量類型聲明。