PHP - Manual: get_resource_id
2024-11-13
(PHP 8)
get_resource_id — Returns an integer identifier for the given resource
$resource
): intThis function provides a type-safe way for generating the integer identifier for a resource.
resource
The evaluated resource handle.
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.
示例 #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);
?>
以上例程的输出类似于:
698 698
官方地址:https://www.php.net/manual/en/function.get-resource-id.php