get_resource_id
(PHP 8)
get_resource_id — Returns an integer identifier for the given resource
說明
get_resource_id(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
參見
- get_resource_type() - 返回資源（resource）型別