PHP 5 introduit le typage objet implicite (littéralement, Type Hinting). Les fonctions peuvent maintenant imposer aux paramètres d'être des objets (en spécifiant le nom de la classe dans le prototype de la fonction), des interfaces, des tableaux (depuis PHP 5.1), ou de type callable (depuis PHP 5.4). Cependant, si NULL est utilisé en tant que valeur par défaut du paramètre, il sera autorisé comme argument pour tous les futurs appels.
Si une classe ou une interface est spécifiée comme type, alors toutes les classes en héritant ou ses implémentations seront aussi autorisées.
La spécification d'un type ne peut être utilisée avec les types scalaires comme int ou string. Les Traits ne sont pas non plus autorisés.
Exemple #1 Exemples de typage d'objets
<?php
// Un exemple de classe
class MaClasse
{
/**
* Fonction de test
*
* Le premier paramètre doit être un objet de type AutreClasse
*/
public function test(AutreClasse $autreclasse) {
echo $autreclasse->var;
}
/**
* Une autre fonction de test
*
* Le premier paramètre doit être un tableau
*/
public function test_array(array $input_array) {
print_r($input_array);
}
/**
* Le premier paramètre doit être un itérateur
*/
public function test_interface(Traversable $iterator) {
echo get_class($iterator);
}
/**
* Le premier paramètre doit être une fonction de rappel (callable)
*/
public function test_callable(callable $callback, $data) {
call_user_func($callback, $data);
}
}
// Un autre exemple de classe
class AutreClasse {
public $var = 'Bonjour le monde!';
}
?>
Si un paramètre ne satisfait pas les conditions imposées, une erreur fatale (qui peut être attrapée) est émise.
<?php
// Une instance de chaque classe
$maclasse = new MaClasse;
$autreclasse = new AutreClasse;
// Erreur fatale : Argument 1 doit être un objet de la classe AutreClasse
$maclasse->test('salut');
// Erreur fatale : Argument 1 doit être une instance de AutreClasse
$foo = new stdClass;
$maclasse->test($foo);
// Erreur fatale : Argument 1 ne doit pas être null
$maclasse->test(null);
// Fonctionne : Affiche 'Bonjour le monde!'
$maclasse->test($autreclasse);
// Erreur fatale : Argument 1 doit être un tableau
$maclasse->test_array('a string');
// Fonctionne : Affiche le tableau
$maclasse->test_array(array('a', 'b', 'c'));
// Fonctionne : Affiche ArrayObject
$maclasse->test_interface(new ArrayObject(array()));
// Fonctionne : Affiche int(1)
$maclasse->test_callable('var_dump', 1);
?>
Le typage fonctionne aussi avec les fonctions :
<?php
// Un exemple de classe
class MaClasse {
public $var = 'Bonjour le monde!';
}
/**
* Fonction de test
*
* Le premier paramètre doit être un objet de type MaClasse
*/
function maFonction(MaClasse $foo) {
echo $foo->var;
}
// Fonctionne
$maclasse = new MaClasse;
maFonction($maclasse);
?>
Le typage objet autorise la valeur NULL :
<?php
/* On accepte la valeur NULL */
function test(stdClass $obj = NULL) {
}
test(NULL);
test(new stdClass);
?>