J\u0119zykami C i C++ interesowa\u0142em si\u0119 od czas\u00f3w liceum \u2013 wtedy w\u0142a\u015bnie napisa\u0142em pierwszy program komputerowy. Pisz\u0105c kod, lubi\u0119 mie\u0107 pe\u0142n\u0105 kontrol\u0119 nad ka\u017cdym aspektem i w\u0142a\u015bnie to mog\u0119 osi\u0105gn\u0105\u0107, robi\u0105c to w C++.<\/p>\n\n\n\n
Czasem doskwiera\u0142y mi jednak pewne ma\u0142e braki, kt\u00f3rych z kolei nie odczuwam, pracuj\u0105c z innymi j\u0119zykami. C++11 zmniejszy\u0142 t\u0119 przepa\u015b\u0107, jednak pewne niedogodno\u015bci pozosta\u0142y. Nale\u017ca\u0142 do nich:<\/p>\n\n\n\n
W 2011 roku zacz\u0105\u0142em przygl\u0105da\u0107 si\u0119 pracy Komitetu Standaryzacyjnego C++<\/strong> w oczekiwaniu na dalszy rozw\u00f3j funkcjonalno\u015bci. Zastanawia\u0142o mnie, dlaczego tak wyczekiwane aspekty j\u0119zyka jak Modu\u0142y czy Korutyny nie wchodz\u0105 do kolejnych standard\u00f3w. Przecie\u017c za ka\u017cdym razem dochodzi\u0142y g\u0142osy, \u017ce te funkcjonalno\u015bci s\u0105 gotowe, cz\u0119sto zaimplementowane i przetestowane! Wyszed\u0142 C++14, potem C++17 i dalej nie uda\u0142o si\u0119 dostarczy\u0107 naszych upragnionych modu\u0142\u00f3w do standardu.<\/p>\n\n\n\n W 2018 roku nadarzy\u0142a si\u0119 okazja, \u017ceby zrozumie\u0107 powody tych op\u00f3\u017anie\u0144. Podczas afterparty po pewnej konferencji po\u015bwi\u0119conej w g\u0142\u00f3wnej mierze C++, w\u015br\u00f3d polskoj\u0119zycznych prelegent\u00f3w zrodzi\u0142 si\u0119 pomys\u0142 utworzenia polskiej reprezentacji, kt\u00f3ra mia\u0142aby prawo g\u0142osu na posiedzeniach mi\u0119dzynarodowego komitetu standaryzacyjnego.<\/p>\n\n\n\n Normy ISO s\u0105 tworzone przez powo\u0142ane do tego Grupy Robocze (w przypadku standardu C++ jest to WG21). Aby zosta\u0107 oficjalnym cz\u0142onkiem takiej grupy, trzeba nale\u017ce\u0107 do okre\u015blonego Organu Narodowego (eng.\u00a0National Body), kt\u00f3ry jest zainteresowany dan\u0105 norm\u0105. Do tej pory \u017caden z zespo\u0142\u00f3w nale\u017c\u0105cych do Polskiego Komitetu Normalizacyjnego nie wyra\u017ca\u0142 zainteresowania prac\u0105 nad standardem C++.<\/p>\n\n\n\n Nigdy wcze\u015bniej nie spodziewa\u0142em si\u0119, \u017ce b\u0119d\u0119 mia\u0142 mo\u017cliwo\u015b\u0107 uczestniczenia w pracach tego zespo\u0142u. Nawet po tamtej imprezie nie podejrzewa\u0142em, \u017ce co\u015b z tego wyjdzie, ale nie m\u00f3g\u0142bym spojrze\u0107 w lustro, gdybym nie spr\u00f3bowa\u0142 do niego do\u0142\u0105czy\u0107!<\/p>\n\n\n\n W Polskim Komitecie Normalizacyjnym, w ramach kt\u00f3rego grupa mia\u0142a by\u0107 zawi\u0105zana, uczestnicz\u0105 instytucje, a nie osoby prywatne. W zwi\u0105zku z tym uda\u0142em si\u0119 do swojego Line Managera w Sii, aby przedstawi\u0107 mu propozycj\u0119. Ku mojemu zdziwieniu, pomys\u0142 zosta\u0142 przyj\u0119ty z du\u017cym entuzjazmem.<\/p>\n\n\n\n Dzi\u0119ki olbrzymiemu wsparciu firmy w ramach Sponsoringu Pasji (bo Sii wspiera nie tylko pasje sportowe), Sii sta\u0142o si\u0119 cz\u0142onkiem\u00a0Komitetu Technicznego ds. J\u0119zyk\u00f3w Programowania<\/a>, a ja ju\u017c 2 lutego 2019 r. siedzia\u0142em w samolocie do Kony (Hawaje). Lecia\u0142em na swoje pierwsze w \u017cyciu posiedzenie Komitetu Standaryzacyjnego C++.<\/p>\n\n\n\n To w\u0142a\u015bnie na posiedzeniu w Konie zaakceptowano \u2013 a w zasadzie zaakceptowali\u015bmy! \u2013 najwi\u0119ksze zmiany w j\u0119zyku od czas\u00f3w C++11. Zar\u00f3wno Modu\u0142y, jak i Korutyny zosta\u0142y zatwierdzone jako cz\u0119\u015b\u0107 szkicu roboczego C++20.<\/strong> Dla os\u00f3b, kt\u00f3re nie \u015bledz\u0105 rozwoju C++ zbyt dok\u0142adnie, mo\u017ce wyda\u0107 si\u0119 to b\u0142ahostk\u0105, a tak napraw\u0119 jest to ukoronowanie ponad dekady prac ca\u0142ego Komitetu<\/strong>! Jestem dumny, \u017ce Sii i ja osobi\u015bcie brali\u015bmy udzia\u0142 w tych g\u0142osowaniach!<\/p>\n\n\n\n Pierwszego dnia na spotkaniu by\u0142em przera\u017cony. Nagle wyl\u0105dowa\u0142em w pokoju wype\u0142nionym lud\u017ami, kt\u00f3rych uwa\u017cam za najlepszych spo\u015br\u00f3d najlepszych. Do tej pory zna\u0142em ich jako prelegent\u00f3w i autor\u00f3w ksi\u0105\u017cek. W Konie siedzia\u0142em w jednej sali, na r\u00f3wnych prawach z jednymi z najlepszych programist\u00f3w C++ na \u015bwiecie. Mo\u017cna si\u0119 czu\u0107 onie\u015bmielonym\u2026<\/p>\n\n\n\n Pomimo pierwszego zak\u0142opotania musz\u0119 przyzna\u0107, \u017ce Komitet jest bardzo otwarty na nowych ludzi. Poziom dyskusji ca\u0142y czas jest bardzo wysoki. Odnios\u0142em wra\u017cenie, \u017ce przy ka\u017cdej kwestii spornej wszystkie strony s\u0105 gotowe zmieni\u0107 zdanie i przyzna\u0107 racj\u0119 przeciwnikowi. Wida\u0107 by\u0142o ch\u0119\u0107 znalezienia najlepszego rozwi\u0105zania, niezale\u017cnie od tego, kto jest jego autorem.<\/p>\n\n\n\n W IT wielokrotnie by\u0142em \u015bwiadkiem przywi\u0105zywania si\u0119 autor\u00f3w do w\u0142asnych pomys\u0142\u00f3w. W takiej sytuacji konstruktywna krytyka cz\u0119sto bywa b\u0142\u0119dnie odbierana przez autora jako atak. Na posiedzeniu Komitetu nie zauwa\u017cy\u0142em tego zjawiska, mimo \u017ce cz\u0119sto mieli\u015bmy dwie przeciwstawne propozycje rozwi\u0105zania tego samego problemu (i obie wymaga\u0142y olbrzymiej ilo\u015bci czasu do przygotowania).<\/p>\n\n\n\n Co prawda nie powinienem ocenia\u0107 ca\u0142ego Komitetu po jednym spotkaniu, ale na razie zapowiada si\u0119 bardzo dobrze!\u00a0<\/p>\n\n\n\n Nigdy nie s\u0105dzi\u0142em, \u017ce projektowanie i rozwijanie j\u0119zyka programowania jest proste, ale musz\u0119 przyzna\u0107, \u017ce ogrom pracy i z\u0142o\u017cono\u015b\u0107 problem\u00f3w, z jakimi Komitet musi si\u0119 mierzy\u0107, przer\u00f3s\u0142 moje oczekiwania o kilka rz\u0119d\u00f3w.<\/strong><\/p>\n\n\n\n \u017beby nakre\u015bli\u0107 sytuacj\u0119, postaram si\u0119 pos\u0142u\u017cy\u0107 przyk\u0142adem. C++11 wprowadzi\u0142o s\u0142owo kluczowe constexpr. Pozwala ono na przeprowadzanie oblicze\u0144 w czasie kompilacji, ale ze wzgl\u0119du na poziom skomplikowania w implementacji kompilator\u00f3w, dopuszczone zosta\u0142y tylko bardzo proste funkcje.<\/p>\n\n\n\n W latach 2014 i 2017 ograniczenia te zosta\u0142y rozlu\u017anione. Mo\u017cemy ju\u017c u\u017cywa\u0107 p\u0119tli, tworzy\u0107 nowe zmienne itp., jednak wci\u0105\u017c nie mo\u017cemy alokowa\u0107 pami\u0119ci. Nie ma mowy o stworzeniu obiektu klasy std::string<\/em> lub std::vector<\/em> w funkcji oznaczonej jako constexpr<\/em>.<\/p>\n\n\n\n Rozwa\u017cmy, co musi si\u0119 zadzia\u0107 w j\u0119zyku, aby funkcja wykonywana w czasie kompilacji mog\u0142a t\u0119 pami\u0119\u0107 alokowa\u0107.<\/p>\n\n\n\n Kiedy jeste\u015bmy w trakcie wykonania tej funkcji (to jest w czasie kompilacji), to mo\u017cemy o takiej naszej alokowanej pami\u0119ci my\u015ble\u0107 normalnie: mo\u017cemy j\u0105 modyfikowa\u0107 i mo\u017cemy j\u0105 zwolni\u0107. Nic trudnego ani skomplikowanego. Dop\u00f3ki alokujemy i zwalniamy t\u0119 pami\u0119\u0107 w czasie kompilacji, wszystko jest w porz\u0105dku. Problem pojawia si\u0119, kiedy nie chcemy jej zwalnia\u0107 w trakcie kompilacji.<\/p>\n\n\n\n Istnieje ca\u0142kiem spora lista przyk\u0142ad\u00f3w, w kt\u00f3rych warto by by\u0142o potraktowa\u0107 taki std::vector<\/em> stworzony w czasie kompilacji jako sta\u0142\u0105 w czasie wykonania np. wczytanie XML lub JSON na temat wszystkich zmian stref czasowych w historii, aby dostarczy\u0107 modu\u0142 pracy z datami.<\/p>\n\n\n\n W tym przypadku mamy ca\u0142kiem spor\u0105 motywacj\u0119, aby pami\u0119\u0107 zaalokowan\u0105 w czasie kompilacji zostawi\u0107 do dyspozycji programu w czasie wykonania. I tu pojawia si\u0119 problem. W czasie wykonania programu ta pami\u0119\u0107 jest sta\u0142a. Pr\u00f3ba wprowadzenia zmiany spowoduje niezdefiniowane zachowania: mo\u017ce zako\u0144czy\u0107 program lub, co gorsza, objawi si\u0119 w mniej oczywisty i bardziej szkodliwy spos\u00f3b. Co wi\u0119cej, typ zwr\u00f3cony, kt\u00f3ry utrzymuje tak\u0105 pami\u0119\u0107 (np. rzeczony std::vector<\/em>) nie mo\u017ce tej pami\u0119ci dealokowa\u0107 w destruktorze, bo allokator ma mo\u017cliwo\u015b\u0107 wprowadza\u0107 w takiej pami\u0119ci zmiany.<\/p>\n\n\n\n Trzeba te\u017c pami\u0119ta\u0107, \u017ce tego problemu (ani \u017cadnego innego, z jakim boryka si\u0119 Komitet) nie mo\u017cna rozwi\u0105za\u0107 w pierwszy lepszy spos\u00f3b. Rozwi\u0105zanie musi by\u0107 koherentne i bra\u0107 pod uwag\u0119 wszystkie inne aspekty j\u0119zyka,<\/strong> aby by\u0107 mo\u017cliwie jak najsp\u00f3jniejsze z intuicj\u0105 u\u017cytkownik\u00f3w j\u0119zyka. A u\u017cytkownik\u00f3w C++ jest naprawd\u0119 wiele. Nie mo\u017cna te\u017c zepsu\u0107 istniej\u0105cego kodu. A tego kodu jest jeszcze wi\u0119cej.<\/p>\n\n\n\n Sama obecno\u015b\u0107 na posiedzeniach Komitetu to tylko wisienka na torcie. Pomi\u0119dzy\u00a0spotkaniami\u00a0<\/a>wi\u0119kszo\u015b\u0107 pracy odbywa si\u0119 na listach mailingowych, za po\u015brednictwem kt\u00f3rych zg\u0142aszane s\u0105 pierwsze wersje dokument\u00f3w i omawiane bie\u017c\u0105ce problemy. Regularnie (\u015brednio 1-2 razy w miesi\u0105cu) odbywaj\u0105 si\u0119 te\u017c telekonferencje, kt\u00f3re s\u0105 miniaturow\u0105 wersj\u0105 posiedze\u0144 Komitetu. Wynik tych prac jest punktem wyj\u015bcia dla posiedze\u0144.<\/p>\n\n\n\n Prze\u017cy\u0142em swoje pierwsze posiedzenie Komitetu i musz\u0119 przyzna\u0107, \u017ce by\u0142o to niesamowite do\u015bwiadczenie. Otrzyma\u0142em szans\u0119, aby przyczyni\u0107 si\u0119 do rozwoju technologii, kt\u00f3rej u\u017cywam na co dzie\u0144 w pracy. Jednocze\u015bnie mog\u0119 wsp\u00f3\u0142pracowa\u0107 z lud\u017ami, kt\u00f3rych uwa\u017cam za mentor\u00f3w. To \u015bwietne uczucie i wyj\u0105tkowa okazja do nauki. Zacz\u0105\u0142em te\u017c prac\u0119 nad swoj\u0105 pierwsz\u0105 propozycj\u0105 do biblioteki standardowej, ale chwil\u0119 zajmie, zanim b\u0119dzie ona gotowa do publikacji.<\/p>\n\n\n\n Wci\u0105\u017c jeszcze oswajam si\u0119 z dynamik\u0105 i metodami pracy Komitetu, ale wierz\u0119, \u017ce mog\u0119 mie\u0107 sw\u00f3j wk\u0142ad w jego prac\u0119. Ju\u017c nie mog\u0119 si\u0119 doczeka\u0107 15 lipca i posiedzenia w Kolonii (Niemcy)!<\/p>\n\n\n\n ***<\/p>\n\n\n\n Je\u015bli interesuje Ci\u0119 j\u0119zyk C++, polecamy r\u00f3wnie\u017c inne artyku\u0142y z tego obszaru m.in.: Implementing a State Machine in C++17<\/a> oraz Communication methods between C++\/Qt and QML<\/a>. A gdyby\u015b zastanawia\u0142 si\u0119, jakie jeszcze obszary technologiczne s\u0105 wspierane w ramach Programu Sponsoringu Pasji, zajrzyj do:\u00a0Sii to the sky \u2013 how to launch your device at 24 km high!<\/a><\/p>\n\n\nCz\u0142onkostwo w Komitecie Technicznym ds. J\u0119zyk\u00f3w Programowania<\/strong><\/h2>\n\n\n\n
Atmosfera podczas posiedzenia Komitetu Standaryzacyjnego C++<\/strong><\/h2>\n\n\n\n
Poziom wyzwa\u0144<\/strong><\/h2>\n\n\n\n
Co dalej?<\/strong><\/h2>\n\n\n\n