Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:84080
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain googlemail.com designates 74.125.82.48 as permitted sender)
Message-ID: <54F209B9.5020200@googlemail.com>
Date: Sat, 28 Feb 2015 19:32:25 +0100
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0
MIME-Version: 1.0
To: Yasuo Ohgaki <yohgaki@ohgaki.net>
CC: PHP Developers Mailing List <internals@lists.php.net>
References: <CAL=_i_mdb1GvYFZr1ZEqvCgZ3+um-ZYuz5xAFZuwjwBcXsEk3Q@mail.gmail.com> <54E5F77D.9090406@fischer.name> <CA+9eiLurXVtk0eKAuKF8uUb=6SVqZtatXSvZ9bnvW1gnb0hz4A@mail.gmail.com> <54E6F48A.9040906@fischer.name> <CAPwsocEiTSOM0EtFR52KNFCZNYG4dDguuyvNpk5kMKaRDwOZCA@mail.gmail.com> <CAL=_i_m4gUy081cMM4Aw5St4OYxVfAXK0hDZ_fSR-ChZc_UUow@mail.gmail.com> <54E72FE7.9030803@googlemail.com> <54E7312D.9090404@googlemail.com> <CAL=_i_m44Nbabgx56p_Lo9w5hCW-=MW3rvyh_2-B-bV7e3NkBQ@mail.gmail.com> <54E73E70.5020403@googlemail.com> <CAGa2bXZYipV0u2yOireZyrqoZY_z57cPtX_t-F6vaD3--e5U2Q@mail.gmail.com>
In-Reply-To: <CAGa2bXZYipV0u2yOireZyrqoZY_z57cPtX_t-F6vaD3--e5U2Q@mail.gmail.com>
Content-Type: multipart/alternative;
 boundary="------------050804010908090804000505"
Subject: Re: [PHP-DEV] [VOTE] Expectations
From: cryptocompress@googlemail.com (Crypto Compress)

--------------050804010908090804000505
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit

Am 21.02.2015 um 04:10 schrieb Yasuo Ohgaki:
> Hi Crypto,
>
> On Fri, Feb 20, 2015 at 11:02 PM, Crypto Compress 
> <cryptocompress@googlemail.com <mailto:cryptocompress@googlemail.com>> 
> wrote:
>
>         AssertionExceptions are not intended to be caught, they are
>         intended to be seen, in a specific environment.
>
>
>     Joe, your argumentation is around how (not) to use exceptions. I
>     can see your point and it's valid.
>     My point is about not to implement exceptions at all.
>
>     If exceptions are not intended to be caught, they don't need to be
>     thrown (even if the context is different).
>     If exceptions are not thrown and not caught, we can use "error" in
>     dev and some easing severity (warning, zero cost nothing) in prod.
>
>     Freely adapted from Murphy: If assertion exception can be catched,
>     it will be even in production.
>
>
> Assertion is only for development and testing.
> We need errors or exceptions during development and testing, but
> not in production. Therefore, errors/exception should not be catched
> by code in general. Isn't assertion nature?
>
> I don't insist not to enable assertion in production environment.
> There might be software that needs extreme reliability and stability.
> For these softwares, it makes sense to enable assertions and catch
> errors/exceptions to do some cleanups.
>
> Regards,
>
> --
> Yasuo Ohgaki
> yohgaki@ohgaki.net <mailto:yohgaki@ohgaki.net>

Hi Yasuo,

sorry for the late answer. My point is about throwing exceptions 
(assert.exceptions=1). I think it is wrong to allow to change code-flow 
by ini-setting and in current context it is wrong to throw exceptions 
altogether. Let's assume this code example in dev-mode with exceptions:

class BankAccount {
     function Add($amount) {
         assert($amount > 0);
         // ... code block ...
     }
}

Now the programmer implementing "code block" to gracefully handle 
$amount > 0 has a problem. There is no way to (Unit)test failing path on 
development machine. Code after assertion is never called for failing 
contitions. What to do? Delete assertion is out of question. Disable 
zend.assertions on development machine seems to be the wrong way too. 
The only way to handle this is to disable exceptions 
(assert.exceptions=0) so expected code flow is restored. This, if 
allowed to be changed, should be at least the default.

IMO ability to run and test code broadly outweighs "provides stacktrace 
by default" argument and for some reason i fear assert.exceptions=1 will 
be the only case soon.

cryptocompress


--------------050804010908090804000505--