Request for Comments: Scalar Type Casting Magic Methods
Currently, the Zend Engine exposes several methods to PECL extensions and internal classes to control how internal objects behave when casting to primitives. The two methods used in this RFC are specifically
get() . This proposal is to expose those two methods as a series of 5 new magic methods to allow user classes to hook into this functionality more completely.
One use-case for this functionality is in creating wrapper classes for scalar values. There are several possibilities that this will enable:
- Creating strict-typing functionality with entirely user-land code (having a variable that until unset cannot be assigned to with anything except an integer for example)
- Having object code be compatible with existing scalar-typed code. An example would be SplFixedArray would be enabled to be passed to any function (including internal functions) that expect arrays which are not passed by reference.
- Allows for objects to carry a Boolean state (to be truthy and falsy)
This RFC and patch introduces 4 new magic methods:
_ _toInt()- Called when casting an object explicitly to an integer (or passing it to an internal function which expects an integer)
_ _toFloat()- Called when casting an object explicitly to a float (or passing it to an internal function which expects a float)
_ _toArray()- Called when casting an object explicitly to an array (or passing it to an internal function which expects an array)
_ _toScalar()- Called when using an object in an implicit scalar scope without type information (for example:
$obj + 1).
_ _toBool()- Called when casting an object explicitly to a boolean (or passing it to an internal function which expects a boolean)
When the cast_object handler is called, the type parameter is switched against to determine which magic method to call. The four possibilities include
When the get handler is called, the
toScalar() method is invoked. This would indicate that the cast is to a scalar, but the type is up to the class to determine. This is called when a primitive type is needed, but not a specific one. So the normal math operators trigger a get call: (+, -, *, /), in addition to compound operators (++, +=, &=, |=, etc).
<?php $obj = $obj + 1; // triggers __toScalar(), followed by the object being overwritten by the return + 1 (based on normal juggling rules) (int) $obj; // triggers __toInt() substr($obj1, $obj2); // triggers __toString() on $obj1, and __toInt() on $obj2 (array) $obj; // triggers __toArray() array_keys($obj); // triggers __toArray() (bool) $obj; // triggers __toBool()
Backwards Compatibility Breaks
The changes to the object handlers are designed in such a way that if the object does not implement the new methods, it will behave as it currently does without the patch.
There are also direct references to the magic methods added to
zend_parse_arg_impl to allow for backwards compatible casting while still allowing core functions to accept a casted argument.
The normal casting logic does not make a distinction between how casts happen with references. So this patch does not attempt to make a distinction there. However, when an internal function accepts a typed parameter by reference, if the magic cast method is defined on the passed in object, an error is raised as the cast cannot be performed because of the reference.
This means that an object implementing
toArray cannot be passed directly to
sort(), as that would cause the object to be destroyed. So, to prevent data loss, references are prevented from automated casting.
- Patch could use an update.
- How could and will this interact with comparison and control structures like,