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