get_resource_id
(PHP 8)
get_resource_id — Retourne un entier identifiant une ressource
Description
get_resource_id(resource
$resource): intCette fonction fournit un moyen sûr pour générer un entier identifiant une ressource.
Liste de paramètres
-
resource -
Le gestionnaire de la ressource à identifier.
Valeurs de retour
L'int identifiant la resource passée en paramètre.
Cette fonction est une conversion de type de resource
vers un int pour faciliter la récupération de l'ID d'une ressource.
Exemples
Exemple #1 get_resource_id() exemple
<?php
$handle = fopen('./storage/logs/lumen.log', 'rt');
echo (int) $handle . "\n\n";
echo get_resource_id($handle);
?>
L'exemple ci-dessus va afficher :
698 698
add a note
User Contributed Notes
There are no user contributed notes for this page.
