PHP资源ID在每个PHP实例中是唯一的吗?将所有类型的资源强制转换为字符串是否返回"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;
}