<?php
// Тестовый класс
class MyClass
{
/**
* Тестовая функция
*
* Первый параметр должен быть объектом типа OtherClass
*/
public function test(OtherClass $otherclass) {
echo $otherclass->var;
}
/**
* Другая тестовая функция
*
* Первый параметр должен быть массивом
*/
public function test_array(array $input_array) {
print_r($input_array);
}
}
// Другой тестовый класс
class OtherClass {
public $var = 'Hello World';
}
?>
В случае передачи аргумента неправильного типа результатом будет фатальная ошибка.
<?php
// Экземпляры каждого класса
$myclass = new MyClass;
$otherclass = new OtherClass;
// Ошибка: Аргумент 1 должен быть экземпляром класса OtherClass
$myclass->test('hello');
// Ошибка: Аргумент 1 должен быть экземпляром класса OtherClass
$foo = new stdClass;
$myclass->test($foo);
// Ошибка: Аргумент 1 не должен быть null
$myclass->test(null);
// Работает: Выводит Hello World
$myclass->test($otherclass);
// Ошибка: Аргумент 1 должен быть массив
$myclass->test_array('a string');
// Работает: Выводит массив
$myclass->test_array(array('a', 'b', 'c'));
?>
Также, контроль типов работает и с функциями:
<?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);
?>