get_resource_id

(PHP 8)

get_resource_id Devuelve un entero que identifica un recurso

Descripción

get_resource_id(resource $resource): int

Esta función proporciona un método seguro para generar un entero que identifica un recurso.

Parámetros

resource

El gestor del recurso a identificar.

Valores devueltos

El int que identifica el resource pasado como argumento.

Esta función es una conversión de tipo de resource a un int para facilitar la recuperación del ID de un recurso.

Ejemplos

Ejemplo #1 get_resource_id() produce el mismo resultado que una conversión a int

<?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

Ver también

add a note

User Contributed Notes

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