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() 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
add a note
User Contributed Notes
There are no user contributed notes for this page.
