ISO vydalo aktualizovaný standard C

ISO vydalo aktualizaci standardu jazyka C, známou také jako C1X. Zvyšuje tím kompatibilitu s C++ a přidává nové funkce. Mezi ně patří multithreading, static assertions nebo dodatečná makra pro získávání informací o plovoucích číslech. Navíc se standardizují některé věci, které už překladače implementovaly mimo standard.

23.12.2011 13:39 | Luboš Doležel (Doli) | Nová verze

Komentáře

[loki]

Nemate pls nekdo zkusenost, jaka je podpora tohoto standardu v gcc?

[----]

malá. No, ve 4.7 už by možná mohla být na slušné úrovni.

[jehovista]

Jsem jediny, komu slovni spojeni "plovouci cisla" pripada dost divne?

[----]

všechny tyto český názvy jsou divný .. "plovoucí čísla" "přetěžování operátorů" "spojový seznam" ...

[Šangala]

Ono snad „plovoucí čísla“ nic ani není, snad nějaká hra, asi mělo být „čísla s plovoucí desetinnou čárkou“ nebo „čísla s plovoucí řádovou čárkou“ - ale, však víme vo co go…, a furt lepší než kdyby tam stálo „reálná čísla“.
Ale ano, některé překlady jsou fakt divné…

[Kvakor]

Ano, při použití termínu "reálná čísla" na jakoukoliv prezentaci čísel na počítači by měly každému matematikovi vztávat vlasy na hlavě (tedy pokud tam nějaké má). Nejlepší překlad je asi "čísla s plovoucí řádovou čárkou", sice "čísla s plovoucí desetinnou čárkou" je přesnější, ale ona čárka není většinou desetinná - i když norma IEEE 754 umožňuje použít exponent o základu deset, v naprosté většíně se používá exponent o základu dvě.

PS: Termín "plovoucí čísla" by se hodil leda tak do bistromatiky

[pavlix]

Ano, při použití termínu "reálná čísla" na jakoukoliv prezentaci čísel na počítači by měly každému matematikovi vztávat vlasy na hlavě (tedy pokud tam nějaké má).

Ale musí to být čistokrevný matematik, ne numerik či zároveň informatik, protože floating point je velice praktická aproximace právě reálných čísel.

[l4m4]

Doufám, že mu úplně stejně vstávají vlasy na hlavě při použití pojmu celá čísla, protože int má k číslům ze Z taky dost daleko (hint: integer overflow).

[Ash]

Já jsem vůbec proti tomu, aby se to nazývalo čísla ;)

[l4m4]

To rozumný návrh, protože ani jedno není ani okruh, což bych od věcí, kterým říkám čísla, docela požadoval. Ale jak tomu říkat? Šmísla (shmoombers)?[*]

[*] Hele, slovo, které Google nemá v indexu. To se tak často nepodaří...

[Michal Kubeček]

Já jsem tedy algebru nikdy moc nemusel, ale skoro bych řekl, že obvyklá reprezentace int je vlastně ℤ/ℤ[n] (typicky pro n=2³²), což za mých mladých let okruh býval…

[l4m4]

Obvyklé implementace mohou být, ale dokud je přetečení signed int definováno standardem coby nedefinované, tak je to irelevantní. A někeré méně obvyklé implementace skutečně mají například saturující sémantiku, protože takhle to funguje v příslušném hardware.

[okolojdoucí]

Magor-e

[Šangala]

Já jsem proti tomu aby se »TO« „nazývalo“.
…ale nevím, co mám s tím dělat…

[kralyk z abclinuxu]

Já jsem vůbec proti tomu, aby se to nazývalo čísla ;)

No jo jasně. Jako kdyby nikdo nevěděl, čím se liší počítačová čísla a matematická... Proč nezavést další zmatky. Uvědomte si, že by se musely přejmenovat i integers, na co byste je tak asi přejmenovali?

Vy budete asi ta sorta lidí, co na louce nevidí pampelišky, nýbrž smetánky lékařské a v restauraci si objedná vepřo, knedlo a hlávkovou odrůru brukve zelené

[Šangala]

A vy budete asi ta sorta co: „nežere maso a proto nerozumí vtipu“

[l4m4]

na co byste je tak asi přejmenovali?

Kdybys četl vlákno, ve kterém reaguješ, tak návrh už tu padl...

[kralyk z abclinuxu]

To byl návrh na náhradu "numbers", ne "integers", nebo jo? Nevim. Je mi to jedno. Kdo chce vynalézat kraviny, prosím

[Program]

Občas mám pocit, že takovéto zprávičky píšou lidi, kteří neví absolutně o čem je řeč. "Čisla v plovoucí řádové čárce" jsou několik desetiletí ustálený pojem...

[Ash]

Plovoucí čísla zní vážně hrozně, myslel jsem že to je něco úplně nového :D

[VM]

Netusite kde si to v klidu precist, aspon nejaky prehled hlavnich bodu? Na tom webu za stazeni chteji pomerne nemaly peniz.

[andree]

http://en.wikipedia.org/wiki/C1X + utfg .-)

[pavlix]

Přečti si místo standardu poslední návrh, který je v článku odkázaný.

[isoc]

https://www.varnish-cache.org/docs/trunk/phk/thetoolsweworkwith.html

[Josef Kufner]

Jo, mám z toho dosti podobný pocit.

[Martin Mareš]

Já tedy mám zrovna z tohohle článku pocit, že jeho autor normu četl jen velmi zběžně a nesnažil se ji pochopit.

Například _Noreturn je v podstatě nutnost – do jazyka, jehož klíčová slova jsou rezervovaná (tedy je zakázáno použít je jako identifikatory), nelze přidat klíčové slovo bez porušení zpětné kompatibility. Proto už C99 přidalo booleovský typ pod jménem _Bool (což nekoliduje, neboť jako identifikátor je to rezervované) a nabídlo <stdbool.h> pro ty, kdo ho chtějí používat s lidským jménem.

Podpora pro mutexy a spol. pravda není nic moc (i když timeouty bych jí zrovna nevyčítal, každé jejich použití je v zásadě scestné), ale třeba mít v jazyce atomické typu je docela milé.

[l4m4]

Zní to sice logicky, ale není. Ve chvíli, kdy se začaly v C množit všeliké kvalifikátory -- počínaje dnes pozapomenutými a překonamými register a volatile, dále const, auto, signed, long long, pokračuje inline a restrict, _Complex, až k nejnovějším _Alignas, _Noreturn a spol. (by mě zajímalo, co je zrovna na noreturn tak zásadního), tak dávno mělo někoho napadnout, že přidávání klíčových slov je zásadní problém a zavést jedno další klíčové slovo podobné __attribute__ z GCC, které v budoucnu umožní lepit k věcem nové kvalifikátory bez porušení kompatibility a umožňuje všechy ty stdnoreturn.h definující hezkou čitelnou verzi nových kvalifikátorů. Potom by zbyl v postatě akorát bool, který asi má nějaký důvod, proč je klíčové slovo a nestačí typedef int bool; enum { true, false };, jak to vždycky dělal autoconf na systémech, kde bool nebyl, ale ten důvod neznám.

[l4m4]

OK, je zapotřebí, aby bool (nebo tedy _Bool) měl unikátní hodnotu true, na rozdíl od int, kde je to každá nenulová. I když reálné programy na tomto zjevně nestojí. Otázka je, zda to nešlo zařídit jinak.

[Martin Mareš]

[...] dávno mělo někoho napadnout, že přidávání klíčových slov je zásadní problém a zavést jedno další klíčové slovo podobné __attribute__ z GCC, [...]

Ono napadlo, jenže jim nejspíš také došlo, že tím se problém nevyřeší. Kdybychom řekněme místo klíčového slova signed zavedli __attribute__((signed)), mohlo by se snadno stát, že ho použijeme v nějakém standardním headeru, který si někdo includuje poté, co nadefinoval své vlastní makro jménem signed. Oops.

Aby takovéhle problémy nehrozily, musel byste psát něco jako __attribute__((__signed__)), a to už je lepší samotné _Signed.