get_resource_id

(PHP 8)

get_resource_id Retourne un entier identifiant une ressource

Description

get_resource_id ( resource $res ) : int

Cette fonction fournit un moyen sûr pour générer un entier identifiant une ressource.

Liste de paramètres

res

Le gestionnaire de la ressource à identifier.

Valeurs de retour

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.

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

Voir aussi

add a note add a note

User Contributed Notes

There are no user contributed notes for this page.
To Top