1. Atspindys: C++ de\u0161imtmet\u012f apibr\u0117\u017eiantis raket\u0173 variklis<\/strong><\/p>\nReflection yra did\u017eiausias C++ k\u016brimo atnaujinimas nuo \u0161ablon\u0173 i\u0161radimo. Pirm\u0105 kart\u0105 C++ gali apib\u016bdinti save ir generuoti daugiau kodo pagal \u0161\u012f apra\u0161ym\u0105.<\/p>\n
Prie\u0161 C++26, jei nor\u0117jote suskirstyti strukt\u016br\u0105, generuoti derinimo i\u0161vest\u012f arba sukurti API paket\u0105, tur\u0117jote rankiniu b\u016bdu para\u0161yti kiekvieno tipo kod\u0105. Apm\u0105stydami galite para\u0161yti bendr\u0105j\u012f kod\u0105, kuris veikia su bet kokiu tipu, automati\u0161kai atrasdamas jo narius ir j\u0173 tipus kompiliavimo metu.<\/p>\n
Apsvarstykite paprast\u0105 pavyzd\u012f: strukt\u016bros suskirstymas \u012f JSON. Prie\u0161 apm\u0105stydami, para\u0161ykite:<\/p>\n
struct Person {\n std::string name;\n int age;\n std::string email;\n};\n\n\/\/ Manual serialization\njson serialize(const Person& p) {\n json j;\n j(\"name\") = p.name;\n j(\"age\") = p.age;\n j(\"email\") = p.email;\n return j;\n}\n<\/code><\/pre>\nSu C++26 atspind\u017eiu galite ra\u0161yti:<\/p>\n
template<typename t>\njson serialize(const T& obj) {\n json j;\n for (auto member : reflect(obj)) {\n j(member.name()) = member.get(obj);\n }\n return j;\n}\n<\/code><\/pre>\n\u0160i funkcija veikia bet kokiam tipui ir automati\u0161kai atranda visus narius. Tai kei\u010dia bibliotekos k\u016brim\u0105, kod\u0173 generavim\u0105 ir metaprogramavim\u0105.<\/p>\n
Kaip savo CppCon 2025 pagrindiniame prane\u0161ime pa\u017eym\u0117jo Herbas Sutteris: \u201e2025 m. bir\u017eelio m\u0117n. C++ per\u017eeng\u0117 Rubikon\u0105: jis perdav\u0117 mums savo pa\u010di\u0173 mechanizm\u0173 raktus. Pirm\u0105 kart\u0105 C++ gali apib\u016bdinti save \u2013 ir sukurti daugiau. Pirmosios kompiliavimo laiko refleksijos funkcijos C++26 juodra\u0161tyje \u017eymi did\u017eiausi\u0105 m\u016bs\u0173 kalbos istorijos l\u016b\u017eio ta\u0161k\u0105.<\/p>\n
2. Ma\u017eiau neapibr\u0117\u017eto elgesio, kad atmintis b\u016bt\u0173 saugiau<\/strong><\/p>\nC++26 turi svarbi\u0173 atminties saugos patobulinim\u0173, kuriuos gausite tiesiog perkompiliuodami esam\u0105 C++ kod\u0105 be pakeitim\u0173:<\/p>\n
Nebereikia neapibr\u0117\u017etos elgsenos skaitant nepainicijuotus vietinius kintamuosius<\/strong><\/p>\nVisa \u0161i galim\u0173 pa\u017eeid\u017eiamum\u0173 kategorija i\u0161nyksta C++26, tiesiog perkompiliavus kod\u0105. C++23 ir senesn\u0117se versijose neinicializuoto vietinio kintamojo skaitymas yra neapibr\u0117\u017etas \u2013 kompiliatorius gali padaryti bet k\u0105, \u012fskaitant saugos patikr\u0173 optimizavim\u0105. C++26 kalboje nepainicijuoti vietiniai kintamieji pagal numatytuosius nustatymus inicijuojami nuliui, tod\u0117l \u0161ios klaidos visi\u0161kai pa\u0161alinamos.<\/p>\n
U\u017egr\u016bdinta standartin\u0117 biblioteka<\/strong><\/p>\nC++26 suteikia pradines keli\u0173 platform\u0173 bibliotekos saugumo garantijas, \u012fskaitant ribin\u0119 saug\u0105 de\u0161im\u010diai pla\u010diausiai naudojam\u0173 apribot\u0173 operacij\u0173 bendruose standartiniuose tipuose: vektorius, intervalas, eilut\u0117, string_view ir kt.<\/p>\n
Tai n\u0117ra teorin\u0117. \u201eGoogle\u201c \u0161is sutvirtinimas jau buvo pritaikytas \u0161imtams milijon\u0173 C++ kodo eilu\u010di\u0173. Rezultatai yra nuostab\u016bs:<\/p>\n
\n- Tik penkios paslaugos visi\u0161kai atsisak\u0117 d\u0117l patikimumo ar na\u0161umo problem\u0173<\/li>\n
- Smulki nesaugios prieigos API buvo naudojama tik septyniose skirtingose \u200b\u200bvietose<\/li>\n
- Sistema jau i\u0161tais\u0117 daugiau nei 1000 klaid\u0173<\/li>\n
- Numatoma, kad tai pad\u0117s i\u0161vengti 1 000\u20132 000 klaid\u0173 per metus<\/li>\n
- Tai suma\u017eino gedim\u0173 da\u017en\u012f visame gamybos parke 30 proc.<\/li>\n<\/ul>\n
Visa tai su vidutin\u0117mis na\u0161umo s\u0105naudomis, kurios siekia vos 0,3 % \u2013 1 %. Tai n\u0117ra tik popierinis dizainas. Tai gamyboje patikrinta technologija, kuri dabar standartizuojama visiems.<\/p>\n
3. Funkcin\u0117s saugos sutartys<\/strong><\/p>\nC++26 pristato kalbos kontraktus: funkcij\u0173 deklaracij\u0173 i\u0161ankstines ir pos\u0105lygas bei kalbos palaikom\u0105 tvirtinimo teigin\u012f \u2013 visa tai yra be galo geresn\u0117 u\u017e C tvirtinimo makrokomand\u0105.<\/p>\n
Sutartys leid\u017eia i\u0161reik\u0161ti savo funkcijos daromas prielaidas ir jos teikiamas garantijas:<\/p>\n
int divide(int a, int b)\n ((pre: b != 0))\n ((post r: r == a \/ b))\n{\n return a \/ b;\n}\n<\/code><\/pre>\n\u0160ios sutartys gali b\u016bti:<\/p>\n
\n- Tikrinama vykdymo metu k\u016brimo metu<\/li>\n
- Sudaryta gamybos na\u0161umui<\/li>\n
- Stati\u0161kai analizuojama \u012frankiais<\/li>\n
- Naudojamas dokumentacijai<\/li>\n
- Integruota su \u012frodymo pagalbininkais<\/li>\n<\/ul>\n
Sutar\u010di\u0173 funkcija buvo gin\u010dytina – kai kurie ekspertai tur\u0117jo technini\u0173 susir\u016bpinim\u0105 d\u0117l dizaino. Ta\u010diau po ilg\u0173 diskusij\u0173 ir patobulinim\u0173 komitetas balsavo 114 u\u017e, 12 prie\u0161 ir 3 susilaik\u0117, kad sutartys b\u016bt\u0173 \u012ftrauktos \u012f C++26. Ne\u012fprastai ma\u017eas susilaikiusi\u0173j\u0173 skai\u010dius rodo, kad dabar beveik visi ekspertai yra tikri d\u0117l savo technin\u0117s nuomon\u0117s.<\/p>\n
4. std::vykdymas (C++ async modelis)<\/strong><\/p>\nstd::vykdymas suteikia viening\u0105 sistem\u0105, leid\u017eian\u010di\u0105 i\u0161reik\u0161ti ir kontroliuoti lygiagretum\u0105 ir lygiagretum\u0105. Tai leid\u017eia lengviau ra\u0161yti programas, kuriose naudojamas strukt\u016brizuotas (grie\u017etai vis\u0105 gyvenim\u0105 \u012fd\u0117tas) lygiagretumas ir lygiagretumas, kad b\u016bt\u0173 i\u0161vengta duomen\u0173 lenktyni\u0173.<\/p>\n
\u0160i funkcija ypa\u010d vertinga didelio na\u0161umo sistemoms, kur teisingumas ir na\u0161umas yra labai svarb\u016bs. Ta\u010diau \u0161iuo metu j\u0105 pritaikyti sunkiau nei daugum\u0105 C++ funkcij\u0173, nes jai tr\u016bksta puikios dokumentacijos ir kai kuri\u0173 \u201epir\u0161t\u0173 ir koj\u0173 pir\u0161t\u0173\u201c bibliotek\u0173. Tik\u0117kit\u0117s puiki\u0173 rezultat\u0173 i\u0161 std::execution, bet taip pat tikit\u0117s praleisti \u0161iek tiek pradinio laiko mokydamiesi padedant k\u0105 nors, kas tai gerai i\u0161mano.<\/p>\n
<\/span>Kod\u0117l C++26 pri\u0117mimas bus greitas<\/span><\/h3>\nYra dvi prie\u017eastys, d\u0117l kuri\u0173 galima tik\u0117tis, kad C++26 pramon\u0117je bus priimtas daug grei\u010diau nei C++17, C++20 arba C++23:<\/p>\n
Nepaprastas vartotoj\u0173 poreikis<\/strong><\/p>\nC++11 buvo paskutinis \u201edidelis ir \u012fsp\u016bdingas\u201c leidimas, kuriame buvo gausu funkcij\u0173, kurias did\u017eioji dauguma C++ k\u016br\u0117j\u0173 naudot\u0173 kasdien: automatinis, diapazonas, lambdas, i\u0161maniosios rodykl\u0117s, jud\u0117jimo semantika, gijos, mutexes. Nuo tada tolesni trejeto met\u0173 standartai tur\u0117jo kelet\u0105 dideli\u0173 funkcij\u0173, toki\u0173 kaip lygiagretus STL, koncepcijos, korutinos ir moduliai, ta\u010diau jie nebuvo tokie dideli visiems C++ k\u016br\u0117jams.<\/p>\n
C++26 palapin\u0117s atspindys ir saugos gr\u016bdinimas bus. Net jei j\u016bs\u0173 \u012fmon\u0117 l\u0117tai \u012fjung\u0117 C++20 jungikl\u012f, grei\u010diausiai pasteb\u0117site, kad C++26 \u012fjungs daug grei\u010diau. Yra tik tiek daug didesn\u0117s paklausos vert\u0117s, tod\u0117l tai yra jaudinantis ir i\u0161skirtinai naudingas leidimas visiems, kurie naudoja C++.<\/p>\n
Greitas kompiliatoriaus diegimas<\/strong><\/p>\nKuriant C++26, bet kuriuo metu GCC ir Clang jau buvo \u012fdieg\u0119 du tre\u010ddalius C++26 funkcij\u0173. \u0160iandien GCC jau svarsto, o sutartys yra sujungtos \u012f baga\u017ein\u0119 ir laukia i\u0161leidimo. Tai rei\u0161kia, kad jums nereik\u0117s met\u0173 laukti kompiliatoriaus palaikymo \u2013 jis jau ateina.<\/p>\n
<\/span>Kelias \u012f C++29: dar daugiau atminties saugos<\/span><\/h3>\n\u0160iame pos\u0117dyje komitetas taip pat patvirtino C++29 tvarkara\u0161t\u012f, kuris bus dar vienas trej\u0173 met\u0173 i\u0161leidimo ciklas. Pagrindinis d\u0117mesys diskutuojant apie C++29 laiko tarpo med\u017eiag\u0105 buvo toliau didinamas atminties saugumas.<\/p>\n
Pagrindinis kalbos evoliucijos pogrupis per\u017ei\u016br\u0117jo keli\u0173 \u0161iuo metu teikiam\u0173 pasi\u016blym\u0173 d\u0117l tolesni\u0173 tipo \/ atminties saugos patobulinim\u0173, \u012fskaitant pasi\u016blymus toliau ma\u017einti neapibr\u0117\u017et\u0105 elges\u012f ir saugos profilio dokument\u0173 rengim\u0105, atnaujinimus. Bjarne Stroustrup P3984 tipo saugos profilis kuriamas naudojant si\u016blom\u0105 bendr\u0173j\u0173 profili\u0173 sistem\u0105.<\/p>\n
Oliveris Huntas i\u0161 \u201eApple\u201c pristat\u0117 praktin\u0119 WebKit patirt\u012f, kuri sustiprino daugiau nei 4 milijonus kodo eilu\u010di\u0173, naudodama antrini\u0173 rinkini\u0173 pogrupio metod\u0105. Rezultatai buvo nuostab\u016bs:<\/p>\n
\n- Priimta ~4 milijonai kodo eilu\u010di\u0173<\/li>\n
- U\u017edaro kelias pa\u017eeid\u017eiamumo klases<\/li>\n
- Dabartin\u0117 politika b\u016bt\u0173 u\u017ekirtusi keli\u0105 daugumai istorini\u0173 i\u0161naudojim\u0173<\/li>\n
- Rasta ir u\u017ekirto keli\u0105 nauj\u0173 ir esam\u0173 klaid\u0173 i\u0161naudojimui<\/li>\n<\/ul>\n
C++29 jau ruo\u0161iasi dar labiau remtis C++26 saugos patobulinimais. Tai yra esminis pokytis: C++ pereinama nuo laukini\u0173 vakar\u0173 kalbos, kurioje viskas pereinama prie saugesn\u0117s pagal numatytuosius nustatymus, kuri vis dar i\u0161laiko nulin\u0117s prid\u0117tin\u0117s vert\u0117s princip\u0105. J\u016bs nemokate u\u017e tai, ko nenaudojate, ir net kai kai kurie saugos \u012frenginiai yra tokie pig\u016bs, kad jie \u012fjungti pagal numatytuosius nustatymus, visada turite galimyb\u0119 atsisakyti, kai jums reikia i\u0161naudoti paskutin\u0119 uncij\u0105.<\/p>\n