PHP资源ID是唯一的吗？

Question

每个PHP实例的PHP资源ID是唯一的吗？将各种资源转换为字符串会返回"资源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)