get_resource_id

(PHP 8)

get_resource_id Returns an integer identifier for the given resource

Descrizione

get_resource_id ( resource $res ) : int

This function provides a type-safe way for generating the integer identifier for a resource.

Elenco dei parametri

res

The evaluated resource handle.

Valori restituiti

The int identifier for the given res.

This function is essentially an int cast of res to make it easier to retrieve the resource ID.

Esempi

Example #1 get_resource_id() example

<?php
$handle 
fopen('./storage/logs/lumen.log''rt');

echo (int) 
$handle "\n\n";

echo 
get_resource_id($handle);

?>

Il precedente esempio visualizzerĂ :

698

698

Vedere anche:

add a note add a note

User Contributed Notes

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