php - PHP 资源 ID 是否唯一？

Question

每个 PHP 实例的 PHP 资源 ID 是否唯一？将各种资源转换为字符串是否会返回“Resource id #X”(其中 X 是某个十进制数)？是否有一个返回资源 ID 的函数(我知道 get_resource_type() 来获取资源类型，但没有找到类似 get_resouce_id() 的东西)，还是必须这样做？

function get_resource_id($resource)
{
    return is_resource($resouce) 
           ? substr((string) $resource, 13 /* strlen("Resource id #") */)
           : NULL;
}

Answer 1

简单易行

intval($resource)