(PHP 8)
get_resource_id — Returns an integer identifier for the given resource
$resource
) : intThis function provides a type-safe way for generating the integer identifier for a resource.
resourceThe evaluated resource handle.
The int identifier for the given resource.
This function is essentially an int cast of
resource 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);
?>
以上例程会输出：
698 698