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', 2 => 'Retourne un entier identifiant une ressource', ), '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', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

get_resource_id

(PHP 8)

get_resource_id — Retourne un entier identifiant une ressource

Description

get_resource_id(resource $resource): int

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

Voir aussi