Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:77139
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.212.172 as permitted sender)
Sender: Michael Wallner <mike.php.net@gmail.com>
Message-ID: <5410981B.5000207@php.net>
Date: Wed, 10 Sep 2014 20:27:39 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.1.0
MIME-Version: 1.0
To: Rowan Collins <rowan.collins@gmail.com>, internals@lists.php.net
References: <004d01cfcc63$e7e3ac40$b7ab04c0$@tutteli.ch> <3DB7DEC9-2F99-4DDB-95A9-70455E4BABCB@ajf.me> <54108D63.3070707@gmail.com>
In-Reply-To: <54108D63.3070707@gmail.com>
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] make casts more strict in PHP 7
From: mike@php.net (Michael Wallner)

On 10/09/14 19:41, Rowan Collins wrote:
> Andrea Faulds wrote (on 09/09/2014):
>> If people want strict casting, we can add new functions or operators
>> for that specifically.
> 
> I think this came up during the previous discussion, and I actually
> think it would be quite nice to have some functions both to perform a
> "strict"/"safe" cast (and raise E_CATCHABLE_ERROR or perhaps throw
> TypeCastException), and to check if a variable *can* be thus cast
> (validating integers is unnecessarily complicated at the moment).
> 
> Either:
> mixed safe_cast(mixed $var, string $type)
> boolean can_safe_cast(mixed $var, string $type)
> e.g.
> if ( can_safe_cast($_GET['i'], 'int') )
> $i = safe_cast($_GET['i'], 'int');
> 
> Or, to avoid representing the type with a string arg, a whole set of
> functions:
> int safe_cast_int(mixed $var)
> boolean can_safe_cast_int(mixed $var)
> float safe_cast_float(mixed $var)
> boolean can_safe_cast_float(mixed $var)
> etc
> 
> The first avoids creating so many new functions, but perhaps some
> constants should be defined for the argument, based on the values
> returned by gettype():
> 
> PHP_TYPE_INT = "integer"
> PHP_TYPE_FLOAT = "double"
> PHP_TYPE_STRING = "string"
> PHP_TYPE_ARRAY = "array"
> PHP_TYPE_OBJECT = "object"
> PHP_TYPE_RESOURCE = "resource"
> PHP_TYPE_NULL = "NULL"
> 
> 
> Of course, we'd then need to agree exactly which casts are considered
> "safe"...
> 


.oO(ext/filter) ?

-- 
Regards,
Mike