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.

Example #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);

?>

The above example will output something similar to:

698
698

There are no user contributed notes for this page.