PHP 8.1.0 Released!

get_resource_id

(PHP 8)

get_resource_id Returns an integer identifier for the given resource

Beschreibung

get_resource_id(resource $resource): int

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

Parameter-Liste

resource

The evaluated resource handle.

R├╝ckgabewerte

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.

Beispiele

Beispiel #1 get_resource_id() example

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

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

echo 
get_resource_id($handle);

?>

Das oben gezeigte Beispiel erzeugt folgende Ausgabe:

698

698

Siehe auch

add a note add a note

User Contributed Notes

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