array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'fr', ), 'this' => array ( 0 => 'function.get-resource-id.php', 1 => 'get_resource_id', ), 'up' => array ( 0 => 'ref.var.php', 1 => 'Fonctions de gestion des variables', ), 'prev' => array ( 0 => 'function.get-defined-vars.php', 1 => 'get_defined_vars', ), 'next' => array ( 0 => 'function.get-resource-type.php', 1 => 'get_resource_type', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'fr', 'path' => 'reference/var/functions/get-resource-id.xml', ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); ?>
(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