PHP 類型約束

funnyZhang 發(fā)布于2019-07-01 12:38 / 1499人閱讀

摘要：導語所謂類型約束，即定義一個變量的時候，必須指定其類型，并且以后該變量也只能存儲該類型數(shù)據(jù)。當類型約束為接口時，可以傳入實現(xiàn)接口的類或。參考資料類型約束標量類型聲明。

導語

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

標量類型、數(shù)組

在參數(shù)中指明類型，如果不一致，會拋出一個可捕獲的致命錯誤


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

對象、接口
類型約束也可以指定為對象或者接口。首先定義一個 Human 接口，Boy 和 Girl 兩個類分別實現(xiàn)接口

接下來新建一個類來測試
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 "
";
$obj->girlSay(new Girl());// a girl say
echo "
";
$obj->humanRun(new Boy());// a boy run
echo "
";
$obj->humanRun(new Girl());// a girl run
當類型約束為具體對象 Boy 或者 Girl 時，只能傳入要求的對象。當類型約束為接口 Human 時，可以傳入實現(xiàn)接口的類 Boy 或 Girl。

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