所謂類型約束就是定義一個變數的時候,必須指定其類型,並且以後該變數也只能儲存該類型資料。在這篇文章中,我將給大家介紹一下php類型約束以及用法。
php類型約束的介紹
PHP是弱類型語言,其特點就是無需為變數指定類型,而且在其後也可以儲存任何類型,當然這也是使用PHP能快速開發的關鍵點之一。但是自PHP5起,我們就可以在函數(方法)形參中使用類型約束了。
函數的參數可以指定的範圍如下:
1、必須為對象(在函數原型裡面指定類的名字);
2、介面;
3、數組(PHP 5.1 起);
4、callable(PHP 5.4 起)。
5、如果使用 NULL 作為參數的預設值,那麼在調用函數的時候依然可以使用 NULL 作為實參。
6、如果一個類或介面指定了類型約束,則其所有的子類或實現也都如此。
注意:在PHP7以前,類型約束不能用於標量類型如 int 或 string。Traits 也不允許。
php類型約束的用法:
下面是官方給的例子:
<?php//如下面的類class MyClass{ /** * 測試函數 * 第一個參數必須為 OtherClass 類的一個對象 */ public function test(OtherClass $otherclass) { echo $otherclass->var; } /** * 另一個測試函數 * 第一個參數必須為數組 */ public function test_array(array $input_array) { print_r($input_array); }} /** * 第一個參數必須為遞迴類型 */ public function test_interface(Traversable $iterator) { echo get_class($iterator); } /** * 第一個參數必須為回調類型 */ public function test_callable(callable $callback, $data) { call_user_func($callback, $data); }}// OtherClass 類定義class OtherClass { public $var = 'Hello World';}?>
函數調用的參數與定義的參數類型不一致時,會拋出一個可捕獲的致命錯誤。
<?php// 兩個類的對象$myclass = new MyClass;$otherclass = new OtherClass;// 致命錯誤:第一個參數必須是 OtherClass 類的一個對象$myclass->test('hello');// 致命錯誤:第一個參數必須為 OtherClass 類的一個執行個體$foo = new stdClass;$myclass->test($foo);// 致命錯誤:第一個參數不能為 null$myclass->test(null);// 正確:輸出 Hello World $myclass->test($otherclass);// 致命錯誤:第一個參數必須為數組$myclass->test_array('a string');// 正確:輸出數組$myclass->test_array(array('a', 'b', 'c'));// 正確:輸出 ArrayObject$myclass->test_interface(new ArrayObject(array()));// 正確:輸出 int(1)$myclass->test_callable('var_dump', 1);?>
類型約束不只是用在類的成員函數裡,也能使用在函數裡:
<?php// 如下面的類class MyClass { public $var = 'Hello World';}/** * 測試函數 * 第一個參數必須是 MyClass 類的一個對象 */function MyFunction (MyClass $foo) { echo $foo->var;}// 正確$myclass = new MyClass;MyFunction($myclass);?>
類型約束允許 NULL 值:
<?php/* 接受 NULL 值 */function test(stdClass $obj = NULL) {}test(NULL);test(new stdClass);?>
PHP7
標量型別宣告 (PHP 7)
標量型別宣告 有兩種模式: 強制 (預設) 和 strict 模式。
現在可以使用下列型別參數(無論用強制模式還是strict 模式):
1、字串(string),
2、整數 (int),
3、浮點數 (float),
4、布爾值 (bool)。
它們擴充了PHP5中引入的其他類型:類名,介面,數組和 回調類型。
<?php// 強制模式function sumOfInts(int ...$ints){ return array_sum($ints);} var_dump(sumOfInts(2, '3', 4.1));
以上範例的運行結果會輸出:int(9)
要使用strict 模式,一個 declare 聲明指令必須放在檔案的頂部。這意味著嚴格聲明標量是基於檔案可配的。 這個指令不僅影響參數的型別宣告,也影響到函數的傳回值聲明。