Vlákno názorů k článku Koncept nedefinovaného chování v jazyku C3 od Ondřej Novák - On ten UB u overflow integeru je v...
Přidat názor
-
On ten UB u overflow integeru je v C/C++ je docela užitečný. Například
(i+1 > i) je vždy true.Je třeba si uvědomit, že pokud někde je něco definované, nelze to optimalizovat. Takže pokud je zadefinováno, že int je dvojkový doplněk, pak to musí být i tam, kde se používá jiný systém (například pokud se int simuluje na fpu, tam dvojkový doplněk není a přetečení se pak musí ošetřovat)
-
Pavel TišnovskýZlatý podporovatelpřesně tak, co je definované, musí tak pracovat všude stejně, je tam menší prostor na optimalizaci.
C3 si (IMHO dobře), stejně jako Go, Rust, Java zvolil dvojkový doplněk. Dnešní čipy ho mají všechny, možná nějaké DSP ne (tam jsem narazil na hodně věcí, kde se uplatnil UB z C :-)
