(PHP 8)
get_resource_id — Retourne un entier identifiant une ressource
$res
) : intCette fonction fournit un moyen sûr pour générer un entier identifiant une ressource.
res
Le gestionnaire de la ressource à identifier.
L'int identifiant la res
passée en paramètre.
Cette fonction est une conversion de type de res
vers un int pour faciliter la récupération de l'ID d'une ressource.
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