Bug #69056 [Fbk->Nab]: Typecasting resources to integers should be defined

Edit report at https://bugs.php.net/bug.php?id=69056&edit=1 ID: 69056 Updated by: requinix@php.net Reported by: grzegorz129 at gmail dot com Summary: Typecasting resources to integers should be defined -Status: Feedback +Status: Not a bug Type: Bug Package: Scripting Engine problem PHP Version: 5.6.5 Block user comment: N Private report: N New Comment: Getting the descriptor would be nice but I don't know if there's the capability of each resource type casting itself differently. There's been some interest in moving resources to objects so if that ever happens then casting becomes moot. Saw that other bug. Failing at PHP_INT_MAX resources probably isn't a coincidence... Previous Comments: ------------------------------------------------------------------------ [2015-02-23 22:40:23] grzegorz129 at gmail dot com You're right - it casts to integers just fine and I just missed that in documentation (I was looking for something related to streams, not exactly resources ;)). To be curious I'm surprised it doesn't return actual FD# when casted to number. I started thinking that counting up without reusing number (which mostly will create mess if their aren't tightly tied to particular sockets like FDs) might be fatal at some point - unfortunately it ended as next bug report. I think this report can be closed, and further investigation should be taken under bug #69109. ------------------------------------------------------------------------ [2015-02-16 00:34:27] requinix@php.net Thank you for this bug report. To properly diagnose the problem, we need a short but complete example script to be able to reproduce this bug ourselves. A proper reproducing script starts with <?php and ends with ?>, is max. 10-20 lines long and does not require any external resources such as databases, etc. If the script requires a database to demonstrate the issue, please make sure it creates all necessary tables, stored procedures etc. Please avoid embedding huge scripts into the report. I don't get any warnings. http://3v4l.org/LMVon Meanwhile, both the documentation and the spec say resources are converted to their number, so any warning produced would (probably) be a bug. http://php.net/manual/en/language.types.integer.php >If a resource is converted to an integer, then the result will be the unique >resource number assigned to the resource by PHP at runtime. https://github.com/php/php-langspec/blob/master/spec/08-conversions.md >If the source is a resource, the result is the resource's unique ID. ------------------------------------------------------------------------ [2015-02-15 13:58:41] grzegorz129 at gmail dot com Description: ------------ Typecasting resources to integers became common practice when used with stream_select(). It provides fast & consistent between versions method to locate sockets returned by stream_select(), however it's still undefined by PHP documentation (manual for integer type clearly warns about casting unknown types to integers: "The behaviour of converting to integer is undefined for other types. Do not rely on any observed behaviour, as it can change without notice."). From some time now stream_select() preserves assoc. array keys (which enables usage of eg. local socket name as key), but it also cannot be considered stable due to doc bug #68798. Expected result: ---------------- Casting resources to integers should be documented. Casting resource to integer should produce unique number of resource (which is actual result, but not documented). Actual result: -------------- Casting resource to integer produces strict warning. Actual integer produced is the same as shown by var_dump(). Example: class StreamServer#1 (1) { private $zeroStream => resource(22) of type (Direct I/O File Descriptor) } ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=69056&edit=1