get_resource_id
(PHP 8)
get_resource_id — Retourne un entier identifiant une ressource
Description
Cette 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.
