🚀 go-pugleaf

lievaart@dds.nl (Roemer Lievaart) writes:

> Raymond Nijssen <raymond@krait.es.ele.tue.nl> schreef:
> 
> >Raymond X.T. Nijssen     |    Note that  C++>C  is undefined for any value of C
> 
> Volgens mij is dit alleen waar als persoonlijke mening, want als
> C-statement geldt: (C++>C) == 0 (als geen overflow).


De echte standaard *definieert* dat een dergelijke expressie een
*ongedefineerd* resultaat heeft.

Het is irrevelant of alle scenarios die je kunt bedenken in de praktijk
hetzelfde resultaat leveren.

(in dit voorbeeld lijkt dat zo, maar zelfs hier zijn er bizarre doch legale
scenarios die naar `true' evalueren.)


> Maar ik weet niet hoe het in C++ is, dat gebruik ik niet... ;-)

Daar is het net zo.  Of eigenlijk nog erger aangezien je beideoperatoren kunt
overloaden.



-- 
Raymond X.T. Nijssen     |    Note that  C++>C  is undefined for any value of C
                         |
Eindhoven University of Technology, Design Automation (ES) | tel. +31-402473614
EH 7.36, PO. Box 513, 5600 MB Eindhoven, The Netherlands   | fax. +31-402464527
                                                                        ^
                                                               new extra digit!