<p>Are PHP resource IDs unique per PHP instance? Does casting all kinds of resources to string returns "Resource id #X" (where <code>X</code> is some decimal number)? Is there a function that returns resource ID (I know about <code>get_resource_type()</code> to get resource typem, but didn't find anything like <code>get_resouce_id()</code>), or does it have to be done like this?</p> <pre class="prettyprint"><code>function get_resource_id($resource) { return is_resource($resouce) ? substr((string) $resource, 13 /* strlen("Resource id #") */) : NULL; } </code></pre>

<p>Easy as it seams</p> <pre class="prettyprint"><code>intval($resource) </code></pre>

Are PHP resource IDs unique?

Tags:

php

Are PHP resource IDs unique per PHP instance? Does casting all kinds of resources to string returns "Resource id #X" (where X is some decimal number)? Is there a function that returns resource ID (I know about get_resource_type() to get resource typem, but didn't find anything like get_resouce_id()), or does it have to be done like this?

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