[nem-pl] Uwagi różne

[Michal Moskal]

On Sat, Feb 21, 2004 at 11:20:23AM +0100, "Paweł W. Olszta" wrote:
> Marcin 'Qrczak' Kowalczyk wrote:
> 
> >Nie zawsze. Na przykład nie chciałbym, żeby przy napisaniu 1/x wyskoczył
> >błąd kompilacji, że kompilator nie jest pewien, czy przypadkiem x nie
> >będzie 0. Błąd powinien wyskakiwać w czasie kompilacji tylko jeśli
> >faktycznie jest błędem, a nie tylko czymś, co może być użyte poprawnie
> >bądź nie.
> 
> No nie, to jest tak, że błąd w tym miejscu powienien wyskoczyć zawsze, 
> jeśli kompilator nie potrafi sobie zinferować, że x jest różne od zera 
> (np. bo zobaczy wcześniej odpowiedniego if'a albo assert (x != 0)).

Hem? Przecież w naszym systemie typów nie ma nic o dzieleniu przez zero.
Zresztą wykrywanie błędów w makrach będzie raczej przepuszczać błędy
niż odwalać dobre programy.

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith :: GCS !tv h e>+++ b++
: When in doubt, use brute force. -- Ken Thompson :: UL++++$ C++ E--- a?