Re: Bug #1460 Updated: empty() != !isset()
| From: | Sascha Schumann | Date: | Thu, 27 May 1999 15:47:23 +0000 |
| Subject: | Re: Bug #1460 Updated: empty() != !isset() | ||
| References: | 1 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-6078@lists.php.net to get a copy of this message | ||
On Thu, May 27, 1999 at 02:36:28PM -0000, Bug Database wrote:
> ID: 1460
> Updated by: andrey
> Reported By: aulbach@unter.franken.de
> Status: Open
> Bug Type: Misbehaving function
> Assigned To:
> Comments:
>
> isset() returns true if the variable is set, which it is in this case, so !isset()
> will result in "NOT EMPTY" in your case. Basically, empty() and !isset() are not
> equivalent.
"If isset($a) is false, then empty($a) is true." (1)
"If empty($a) is true, then isset($a) is false." (2)
(1) is a true implication.
The inversion of (1) is wrong.
--
Regards,
Sascha Schumann
Consultant
--
PHP Development Mailing List http://www.php.net/
To unsubscribe send an empty message to php-dev-unsubscribe@lists.php.net
For help: php-dev-help@lists.php.net