W3cubDocs

/PHP

get_resource_id

(PHP 8)

get_resource_id — Returns an integer identifier for the given resource

get_resource_id ( resource $res ) : int

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

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.

Example #1 get_resource_id() example

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

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

echo get_resource_id($handle);

?>

The above example will output:

698

698