(PHP 8)
get_resource_id — Retourne un entier identifiant une ressource
Cette fonction fournit un moyen sûr pour générer un entier identifiant une ressource.
resource
Le gestionnaire de la ressource à identifier.
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.
Exemple #1 get_resource_id() produit le même résultat qu'un cast int
<?php
$handle = fopen("php://stdout", "w");
echo (int) $handle . "\n";
echo get_resource_id($handle);
?>
Résultat de l'exemple ci-dessus est similaire à :
698 698