get_resource_id

(PHP 8)

get_resource_id — Returns an integer identifier for the given resource

get_resource_id(resource$resource): int

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

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.

Ejemplo #1 get_resource_id() produces the same result as an int cast

<?php
$handle = fopen("php://stdout", "w");

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

echo get_resource_id($handle);

?>

El resultado del ejemplo sería algo similar a:

698 698