Manuel PHP
   |
|
Table : .Introduction.Booléens .Entiers .Les nombres décimaux .Les chaînes de caractères .Les tableaux .Les objets .Ressources .La valeur NULL .Pseudo-types utilisés dans cette documentation .Définition du type |
language types resourceRessourcesUne ressource ("resource" en anglais), est un type spécial, qui représente une référence sur une ressource externe. Les ressources sont créées par des fonctions dédiées. Reportez-vous à l'annexe Types des ressources PHP pour une liste exhaustive des fonctions créant et utilisant ces ressources.
Voir aussi la fonction get_resource_type(). Conversion en ressourceComme les ressources contiennent des valeurs très spéciales, comme des fichiers ouverts, des connexions aux bases de données, des images ou n'importe quoi d'autre, vous ne pouvez pas convertir une valeur en ressource. Libérer des ressourcesGrâce au système de comptabilisation des références introduit en PHP 4 (avec le moteur Zend), PHP détecte automatiquement qu'une ressource n'est plus utilisée (comme Java). Dans ce cas, toutes les ressources systèmes utilisées par cette ressource sont libérées automatiquement. Pour cette raison, il est rarement nécessaire de libérer la mémoire manuellement en utilisant les fonctions free_result associées.
|
Web
Ajouter ce moteur
