PHP 7.4.24 Released!

get_resource_id

(PHP 8)

get_resource_id Returns an integer identifier for the given resource

Descripción

get_resource_id(resource $resource): int

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

Parámetros

resource

The evaluated resource handle.

Valores devueltos

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.

Ejemplos

Ejemplo #1 get_resource_id() example

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

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

echo 
get_resource_id($handle);

?>

El resultado del ejemplo sería:

698

698

Ver también

add a note add a note

User Contributed Notes

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