C11 (standardní verze C) - C11 (C standard revision)

Nesmí být zaměňována s C ++ 11.
C jazykové revize
K&R C. • ANSI C. • C99 • C11 • C17 • C2x

C11 (dříve C1X) je neformální název pro ISO / IEC 9899: 2011,[1] minulost Standard pro Programovací jazyk C.. Nahradilo to C99 (norma ISO / IEC 9899: 1999) a byla nahrazena C17 (standard ISO / IEC 9899: 2018). C11 standardizuje hlavně funkce, které již podporují běžné současné překladače, a obsahuje podrobný model paměti, který lépe podporuje více vlákna exekuce. Vzhledem ke zpožděné dostupnosti vyhovujících implementací C99 umožňuje C11 některé funkce volit, aby bylo snazší dodržovat základní jazykový standard.[2][3]

Konečný návrh, N1570,[4] byla zveřejněna v dubnu 2011. Nová norma prošla finální revizí návrhu 10. října 2011 a byla oficiálně ratifikována ISO a zveřejněna jako ISO / IEC 9899: 2011 8. prosince 2011, přičemž žádné komentáře nevyžadující řešení zúčastněnými vnitrostátními orgány.

Standardní makro __STDC_VERSION__ je definována hodnotou 201112L označující, že je k dispozici podpora C11.[5] Některé funkce C11 podporuje GCC počínaje verzí 4.6,[6] Zvonit počínaje verzí 3.1,[7] IBM XL C počínaje verzí 12.1.[8], a Microsoft Visual C ++ počínaje VS 2019 (16.8)[9]

Změny oproti C99

Standard zahrnuje několik změn specifikací jazyka a knihovny C99, například:[10]

  • Zarovnání Specifikace (_Alignas specifikátor, _Alignof operátor, aligned_alloc funkce, <stdalign.h> hlavičkový soubor)
  • The _Bez návratu specifikátor funkce a <stdnoreturn.h> hlavičkový soubor
  • Typové obecné výrazy pomocí _Obecný klíčové slovo. Například následující makro cbrt (x) překládá do cbrtl (x), cbrt (x) nebo cbrtf (x) v závislosti na typu X:
#define cbrt (x) _Generic ((x), long double: cbrtl,                               výchozí: cbrt,                               float: cbrtf) (x)
  • Vícevláknové Podpěra, podpora (_Thread_local specifikátor třídy úložiště, <threads.h> záhlaví včetně funkcí vytváření / správy vláken, mutex, stavová proměnná a úložiště specifické pro vlákno funkčnost, stejně jako <stdatomic.h>[11] pro atomové operace podporující paměťový model C11).
  • Vylepšeno Unicode podpora na základě technické zprávy C Unicode ISO / IEC TR 19769: 2004 (char16_t a char32_t typy pro skladování UTF-16 /UTF-32 kódovaná data, včetně převodních funkcí v systému Windows <uchar.h> a odpovídající u a U předpony řetězcového literálu, stejně jako u8 předpona pro UTF-8 kódované literály).[12]
  • Odstranění dostane funkce (ve prospěch bezpečnější fgets), který byl zastaralý v předchozí revizi standardu jazyka C, ISO / IEC 9899: 1999 / Cor.3: 2007 (E).
  • Kontrola hranic rozhraní (příloha K).[13]
  • Funkce analyzovatelnosti (příloha L).
  • Další makra pro dotazování na vlastnosti typů s plovoucí desetinnou čárkou, týkající se podnormální čísla s plovoucí desetinnou čárkou a počet desetinných míst, které je typ schopen uložit.
  • Anonymní struktur a odbory, užitečné, když jsou odbory a struktury vnořeny, např. v struktur T { int štítek; svaz { plovák X; int n; }; };.
  • Statické tvrzení, které jsou hodnoceny během překladu v pozdější fázi než #li a #chyba, když překladatelům rozumí typy.
  • Exkluzivní režim vytvoření a otevření ("…X" přípona) pro fopen. To se chová jako O_CREAT | O_EXCL v POSIX, který se běžně používá pro zamknout soubory.
  • The quick_exit fungovat jako třetí způsob ukončení programu, který je určen k provedení alespoň minimální deinicializace, pokud je ukončeno pomocí výstup selže.[14]
  • Nový timespec_get funkce a odpovídající struktura v <time.h> s mírou POSIX kompatibilita.
  • Makra pro stavbu komplexní hodnoty (částečně proto skutečný + imaginární * I nemusí přinést očekávanou hodnotu, pokud imaginární je nekonečný nebo NaN ).[15]

Volitelné funkce

Nová revize umožňuje implementacím nepodporovat určité části standardu - včetně těch, které byly povinně podporovány v revizi z roku 1999.[16] Programy mohou pomocí předdefinovaných maker určit, zda implementace podporuje určitou funkci nebo ne.

Volitelné funkce v C11
VlastnostiMakro testu funkceDostupnost v C99[17]
Analyzovatelnost (příloha L)__STDC_ANALYZABLE__Není dostupný
Rozhraní pro kontrolu mezí (příloha K)__STDC_LIB_EXT1__Není dostupný
Multithreading (<threads.h>)__STDC_NO_THREADS__Není dostupný
Atomové primitivy a typy (<stdatomic.h> a _Atomový kvalifikátor typu)[18]__STDC_NO_ATOMICS__Není dostupný
IEC 60559 aritmetika s plovoucí desetinnou čárkou (příloha F)__STDC_IEC_559__Volitelný
IEC 60559 kompatibilní komplexní aritmetika (příloha G)__STDC_IEC_559_COMPLEX__Volitelný
Složité typy (<complex.h>)__STDC_NO_COMPLEX__Povinné pro hostované implementace
Pole s proměnnou délkou[19]__STDC_NO_VLA__Povinné

Kritika

Viz také: Zpracování řetězce C § Náhrady

Volitelná rozhraní pro kontrolu hranic (příloha K) zůstávají kontroverzní a nebyla široce implementována a bylo navrženo jejich ukončení nebo odstranění z další standardní revize.[20] Ani Microsoft, hlavní zastánce tohoto rozhraní, neodpovídá definici.[21] Kromě toho příloha K neobsahuje užitečnější TR24731-2 (funkce dynamické alokace), jako je vasprintf a open_memstream.[22] Mezi několik implementací open-source patří Otevřete Watcom Knihovna "Safer C" v C / C ++[23] a safeclib.[24]

Viz také

Reference

  1. ^ „ISO / IEC 9899: 2011 - Informační technologie - Programovací jazyky - C“. www.iso.org.
  2. ^ „WG14 N1250 Charta C1X“ (PDF).
  3. ^ "Podmnožina standardu C". www.open-std.org.
  4. ^ Návrh výboru WG14 N1570 - 12. dubna 2011
  5. ^ „Zpráva o vadě # 411“. ISO / IEC JTC1 / SC22 / WG14 - C. únor 2012. Citováno 2012-05-04.
  6. ^ „Série vydání GCC 4.6 - Změny, nové funkce a opravy - GNU Project - Free Software Foundation (FSF)“. gcc.gnu.org.
  7. ^ „Poznámky k verzi Clang 3.1“. llvm.org.
  8. ^ "Podpora pro ISO C11 přidána do kompilátorů IBM XL C / C ++". www.ibm.com. 17.dubna 2014.
  9. ^ „Standardní podpora C11 a C17 v MSVC“. devblogs.microsoft.com. 14. září 2020.
  10. ^ Návrh výboru WG14 N1516 - 4. října 2010
  11. ^ „Knihovna atomových operací - cppreference.com“. en.cppreference.com.
  12. ^ „WG14 N1286 -„ O podpoře pro TR-19769 a nové typy postav “, Nick Stoughton, Larry Dwyer“ (PDF).
  13. ^ Berin Babcock-McConnell. "API02-C. Funkce, které čtou nebo zapisují do nebo z pole, by měly určit argument pro určení velikosti zdroje nebo cíle".
  14. ^ „Opuštění procesu“. www.open-std.org.
  15. ^ „Vytvoření komplexní hodnoty“. www.open-std.org.
  16. ^ Návrh výboru WG14 N1548 - 2. prosince 2010 6.10.8.3 Makra podmíněných prvků
  17. ^ ISO 9899: 1999 6.10.8 Předdefinované názvy maker
  18. ^ „WG14 N1558 14. – 18. Března zápis ze schůze (koncept)“ (PDF).
  19. ^ ISO 9899: 2011 Programming Languages ​​- C 6.7.6.2 4
  20. ^ „N1969 - Aktualizované terénní zkušenosti s přílohou K - Rozhraní pro kontrolu hranic“. www.open-std.org.
  21. ^ Leffler, Jonathan. „c - Používáte„ bezpečné “funkce TR 24731?“. Přetečení zásobníku.
  22. ^ „c - Používáte„ bezpečné “funkce TR 24731?“. Přetečení zásobníku.
  23. ^ „Safer C Library - Open Watcom“. 3. května 2015.
  24. ^ "safec: Safe C Library - README". rurban.github.io.

externí odkazy

Předcházet
C99		 Jazyk C. standardyUspěl
C17