PHP 5 可以使用類型約束。函數的參數可以指定必須為對象（在函數原型里面指定類的名字），接口，數組（PHP 5.1 起）或者?callable（PHP 5.4 起）。不過如果使用NULL?作為參數的默認值，那么在調用函數的時候依然可以使用?NULL?作為實參。

如果一個類或接口指定了類型約束，則其所有的子類或實現也都如此。

類型約束不能用于標量類型如?int?或?string。Traits?也不允許。

Example #1 類型約束示例

<?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);?>