array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'it', ), 'this' => array ( 0 => 'function.get-resource-id.php', 1 => 'get_resource_id', 2 => 'Returns an integer identifier for the given resource', ), 'up' => array ( 0 => 'ref.var.php', 1 => 'Variable handling Funzioni', ), 'prev' => array ( 0 => 'function.get-defined-vars.php', 1 => 'get_defined_vars', ), 'next' => array ( 0 => 'function.get-resource-type.php', 1 => 'get_resource_type', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'en', 'path' => 'reference/var/functions/get-resource-id.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

get_resource_id

(PHP 8)

get_resource_id — Returns an integer identifier for the given resource

Descrizione

get_resource_id(resource $resource): int

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

Elenco dei parametri

resource

The evaluated resource handle.

Valori restituiti

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.

Esempi

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

?>

Il precedente esempio visualizzerà qualcosa simile a:

698
698

Vedere anche: