GCC 15 kasutab vaikimisi standardit C23

Koodibaasi, mille põhjal valmib järgmise aasta kevadel plaanitud GCC 15 kompilaatorkogumik, on tehtud muudatus, mis sisaldab vaikimisi GNU laiendustega C23 standardi kasutamist ("-std=gnu23") C keeles programmide kompileerimisel (varem kasutati vaikimisi C17 standardit - "-std=gnu17"). Muudatus võib potentsiaalselt põhjustada probleeme olemasolevate projektide koostamisel, kuna uues standardis on erinevusi, nagu nullptr konstant, _BitInt(n) tüüp ja bool, true ja false märksõnad, mis võivad konfliktida rakendustes määratud sama nimetuse identifikaatoritega.

C23 standard (ISO/IEC 9899:2024) avaldati ametlikult rahvusvahelise standardimisorganisatsiooni (ISO) poolt 31. oktoobril 2024. Uues standardis on mitmeid muudatusi:

• K&R C stiilis funktsioonide määramise võimalus on eemaldatud, mida kasutati enne ANSI C spetsifikatsiooni vastuvõtmist ja mida kirjeldatakse Kernighani ja Ritchie raamatues "The C Programming Language". K&R stiil tähendab argumentide tüüpide kirjelduse esitamist pärast funktsiooni määratlemist, näiteks "int add(a, b) int a, b; {}".
• Nimekirja funktsioonide parameetritest — kohustuslikkus mitte näidata nimedeta parameetreid funktsioonide määramisel (nagu C++-s). Näiteks on nüüd võimalik kirjutada „int f(int, int) { return 7; }”.
• Toetatakse sünaktit „[[nimi]]” atribuutide määratlemiseks nagu C++-s („[[gnu::const]]”, „[[deprecated]]”, „[[fallthrough]]”, „[[maybe_unused]]”, „[[nodiscard]]”, „[[noreturn]]”, „[[reproducible]]”, „[[unsequenced]]”). Näiteks atribuut [[noreturn]] võimaldab näidata, et funktsioon ei tagasta väärtusi (pealkirjafail stdnoreturn.h ja spetsiifika „_Noreturn” on kuulutatud aegunuks).
• Toetatakse sünaktit „u8” konstantsuste määramiseks, mis sisaldavad märke UTF-8-s.
• Lisatud tüüp char8_t UTF-8 kodeeringus olevate stringide ja märkide jaoks ning funktsioonid mitme baitsete märkide stringide konverteerimiseks mbrtoc8() ja c8rtomb().
• Muutunud on võtmesõna „auto” tegevus, mis nüüd viib tüübi tuvastamiseni objektide määramisel, mis võimaldab kasutada tunnust „auto” muutuja tüüpide määratlemiseks, põhinedes nende initsialiseerimiseks väljendi tüübile. Näiteks: „auto y = cos(x);”.
• Tühja argumendi nimekirjaga funktsioonid käsitletakse nüüd funktsioonidena, mis ei võta argumente vastu.
• Lisatud toetust pealkirjafailidele <stdckdint.h> ja <stdbit.h> koos makrode, funktsioonide ja tüüpidega täisarvuliste arvutuste kontrollimiseks.
• Lubatud on hüpikelementide paigutamine mis tahes kohtades komposiitavaldistes.
• Toetamine trügraafide koodis lõpetatud, kolme ASCII-märgi järjestusi, mida töödeldi ühe märgina, näiteks järjestust «??=» sai kasutada «#» asemel. Pärast Unicode'i ilmumist on trügraafide toetamine kaotanud mõtte.
• Lisatud eelnevateks «0b» ja «0B» täisarvude esitamiseks binaarvormis, näiteks «int b = 0b101010».
• Lisatud võtmesõnad bool, static_assert, alignas, alignof ja thread_local.
• Lubatud tühi sulgude «{}» kasutamine nullväärtuste initsialiseerimiseks, st nüüd saab kirjutada «struct S { int x, y } s = {};».
• Esitatud on võimalus märkida mingeid universaalseid sümboleid sümbolitoodetes ja stringiliteraalides. Näiteks «int \u0024 = 0;».
• Failile «stddef.h» on lisatud makro «unreachable».
• Lisatud on uus nullptr_t tüüp ja konstant nullptr, et määratleda nullviidikud, mis võivad konverteeruda igasuguste viidikuteks ja esindada NULL varianti, mis ei ole seotud täisarvutüüpide ega tüübiga void*. Näiteks on võimalik märgistada "void func(nullptr_t); func(0); func((void *)0);".
• Lisatud on tüüpide "_BitInt (N)" ja "unsigned _BitInt (N)" määratlemine, et defineerida täisarve, millel on määratud bitide arv, samuti uued kümnendsüsteemis ujuvad liigid "_Decimal32", "_Decimal64" ja "_Decimal128", ning funktsioonid tööks nende tüüpidega.
• Lisatud on võimalus kasutada sümbolit „‘“ numbrite selgemaks eraldamiseks (näiteks „1’000’000“).
• Struktuure, liiteid ja loendeid on lubatud määratleda rohkem kui üks kord ühes ulatuses sama sisu ja korduva sildi all.
• Standardisse on lisatud operaatorid typeof ja typeof_unqual.
• Toetatakse constexpr spetsifikaatori kasutamist objektide määratlemiseks.
• Pealkirjafailides float.h ja math.h on lisatud makrod INFINITY, NAN, FLT_NORM_MAX, DBL_NORM_MAX ja LDBL_NORM_MAX.
• Lisatud on eelprotsessori direktiivid #elifdef, #elifndef, #warning ja #embed. „#embed“ on mõeldud binaarsete ressursside integreerimiseks.
• Lihtsustatud on variadiargumendiga loendite kasutamine.
• Enumide võimalusi on laiendatud.
• Funktsioonide printf() ja scanf() peredes on lisatud toetus asenduseks "%b" binaarsete väärtuste töötlemiseks.
• Funktsiooni realloc() kutsumine nulli suurusega loetakse määratlemata käitumiseks.
• Funktsioonid memccpy(), strdup(), strndup(), gmtime_r() ja localtime_r() on standardiseeritud.
• Funktsioonid asctime() ja ctime() on deklareeritud aegunuks.
• Makoid static_assert ja thread_local on muudetud võtmesõnadeks.

Allikas: opennet.ru