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

add a note add a note

User Contributed Notes

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