Nowoczesny C++ Rafał Wasilewski 1

Transkrypt

1 Nowoczesny C++ Rafał Wasilewski 1 1 Wydział Inżynierii Mechanicznej i Informatyki Kierunek informatyka, Rok III Politechnika Częstochowska {wasilewski.rafael@gmail.com 1 Wstęp Streszczenie Tematem pracy jest przedstawienie wybranych elementów języka c++, które weszły do standardu języka C++11. Język c++ jest niewątpliwie jednym z najpopularniejszym z języków obiektowych. Ciągły rozwój tego języka przyczynia się do jego popularyzacji, a standaryzacja dostarcza mechanizmów pozwalających wykorzystywać jednolite wzorce. Standard C++11 rozszerza język c++ o obsługę wielowątkowości oraz jednolite inicjowanie za pomocą list inicjacyjnych, a wprowadzenie semantyki przeniesienia wpływa na wydajność programów. Obecnie język C++ jest jednym z najważniejszym a zarazem najczęściej stosowanych języków programowania na świecie. Wpływ na ten stan ma fakt, iż jest on bardzo elastyczny. Wykorzystywany jest do tworzenia różnego rodzaju programów, gier, aplikacji naukowych oraz sterowników urządzeń. C++ jest językiem szybkim, wydajnym oraz przenośnym. Wartości te zostały odziedziczone z języka C. Dzięki metodyce programowania obiektowego zapanowanie nad złożonością kodu programu jest prostsze. Stosowanie szablonów w języku C++ daje możliwość wykorzystania metodologii programowania uogólnionego. Połączenie tych trzech aspektów sprawia, że C++ jest bardzo silnym językiem programowania. Komitet standaryzacyjny języka C++ w roku 2011 opublikował nowy standard, wprowadzając wiele zmian w języku oraz bibliotece. Zmiany wprowadzone w standardzie oznaczonym jako C++11 lub C++x0 mają na celu ułatwienie pracy oraz zwiększenie efektywności programistów. Aby móc korzystać z nowego standardu należy dodać do kompilatora parametr -std=c++0x. 1

2 2 Semantyka przeniesienia i referencje r-wartościowe Standard C++11 wprowadza nowy typ referencyjny &&. Jest to referencja do obiektów r-wartości. Obiekty r-wartości to obiekty tymczasowe, literały stałych, funkcje zwracające wartość a nie referencję, wyrażenia typu: x + y, mogące występować po prawej stronie operatora przypisania, a jednocześnie takie do których nie da się użyć operatora pobrania adresu. np.: int x = 852; int& y = 951; // nie zostanie skompilowane, 951 nie jest l-wartością. int&& z = 475; // zostanie skompilowane, 475 jest r-wartością int&& w = x; // nie zostanie skompilowane const int& g= 357; // ok void print(string const& napis); print( Witaj świecie ); Przykład ten jest odstępstwem wprowadzonym przed zaimplementowaniem mechanizmów referencji do r-wartości. Umożliwia on przekazanie zmiennej tymczasowej do funkcji oczekującej referencji. Ponieważ jest to typ referencji do stałej, nie ma możliwości zmiany jego wartości. Obiekty typu && mogą być akceptowane jako wartość nie-stała, umożliwiając funkcjom ich modyfikację. Stosowanie techniki przeciążenia funkcji do określenia czy parametr jest l-wartością czy r-wartością jest podstawą semantyki przenoszenia danych (ang. move semantic). Semantyka przeniesienia nie przenosi obiektu a jedynie jego referencję. Wykorzystanie semantyki przeniesienia wymusza użycie mechanizmu informującego kompilator kiedy należy zrobić pełną głęboką kopię obiektu, a kiedy jest to niepotrzebne. Do tego celu służą r-wartościowe referencje. Klasyczny konstruktor kopiujący wykonuję kopię obiektu, a jako parametr zwraca referencję do l-wartości (const&). vector<string> napisvector; // kod tworzący wektor łańcuchów znakowych, po 1000 znaków każdy vector<string> svectorcopy(svector); Nowy standard C++11 wprowadza drugi nowy typ konstruktora kopiującego, nazywany konstruktorem przenoszącym (ang. move constructor). Przeprowadza on operacje na r-wartościowej referencji, mogącej odwoływać się do argumentów r-wartościowych. vector<string>maiuscula(const vector<string>& wektornapis){ vector<string> tmp; // tu kod składujący w tmp zawartość z wektornapis pisaną wielkimi literami return tmp; vector<string> svectoropy2(maiuscula(svector)); // r-wartość Mechanizm konstruktora kopiującego dokonuje oczywiście głębokiej kopii obiektu. Natomiast w konstruktorze przenoszącym mechanizm ten został zoptymalizowany jedynie do przeniesienia zawartości obiektu do innego obiektu. Wcześniejszy przykład doskonale obrazuje działanie konstruktora przenoszącego. Jak widać, przenosi on jedynie referencję do obiektu r-wartości zamiast dokonywać 2

3 zbędnego kopiowania znaków do nowego miejsca, tylko po to, aby za chwilę zwolnić oryginalny kontener. Aby modyfikacja obiektu źródłowego była możliwa, r-wartościowa referencja przekazana przez parametr nie może być typu stałego. class Przyklad{ int ileelementow; // liczba elementów char* wdane; // wskaźnik do danych public:... Przyklad(const Przyklad & p); // zwyczajny konstruktor kopiujący Przyklad( Przyklad && p); // konstruktor przenoszenia... ; Przyklad::Przyklad(Przyklad&& objekt): ileelementow(objekt.ileelementow ){ wdane = objekt.wdane ; // przechwycenie adresu objekt.pc = nullptr; //stary obiekt otrzymuje nic w zamian objekt.ileelementow = 0 ; W powyższym przykładzie konstruktor przenoszący wskaźnikowi wdane przypisuje adres wskaźnika objekt.wdane. W tym momencie wdane jak i objekt.wdane wskazują na te same dane. Stwarza to potencjalne zagrożenie dla programu w momencie wywołania destruktorów, gdyż program nie powinien więcej niż raz dla tego samego obszaru pamięci wywołać operatora delete[]. By się przed tym uchronić wskaźnik do danych w obiekcie źródłowym objekt.wdane jest zerowany za pomocą nullptr, dzięki czemu unika się niedozwolonej dealokacji pamięci. Wywołanie operatora zwalniającego pamięć dla wskaźnika pokazującego na NULL jest dozwolone. Wykorzystanie konstruktora przenoszącego zapobiega wielu nadmiarowym operacjom alokacji pamięci przez obiekt. Zdarza się, że kompilator dokonuje własnej optymalizacji kodu. Ważne jest, aby program wykonał się w taki sposób, w jaki została zaimplementowana jego logika. Przykładem takiego kompilatora jest g++ który potrafi dokonać takiej optymalizacji nawet jeżeli konstruktor przenoszący nie jest zdefiniowany. Semantyka przeniesienia jest dozwolona dzięki zastosowaniu r-wartościowych referencji, lecz jej nie gwarantuje. Aby poinformować kompilator o przypadku stosowania semantyki przeniesienia, niezbędne jest adekwatne użycie referencji r-wartościowych: Przyklad test2 = test1; Przyklad test4 (test1 +test3) ; // pasuje do Przyklad::Przyklad(const Przyklad &) // pasuje do Przyklad::Przyklad( Przyklad &&) Reasumując: inicjalizacja obiektów l-wartościami odbywa się za pomocą konstruktora kopiującego, natomiast inicjalizacja obiektów r-wartościowych odbywa się za przy użyciu konstruktora przypisania. Konstruktory te mogą mieć zdefiniowaną całkowicie różną implementację. W podobny sposób powinno się rozważać operacje przypisania. Mechanizm operatora przypisania w wersji przenoszącej w pierwszej kolejności czyści dane obiektu docelowego, po to aby móc przypisać do niego dane z obiektu źródłowego. Problem spowodowany wskazywaniem kilku wskaźników na jeden obiekt, został rozwiązany poprzez wyzerowanie adresu źródłowego wskaźnika do danych. 3

4 Przykłady implementacji operatora przypisania wykorzystującego kopiowanie oraz operatora przypisania stosującego przenoszenie dla klasy Przyklad: Przyklad & Przyklad::operator=(const Przyklad &obj) { if (this == &obj) return *this; delete [] wdane; ileelementow = obj.ileelementow ; wdane = new char [ileelementow ]; for (int i = 0 ; i < n ; ++i) wdane[i] = obj.wdane [i]; return *this; //przypisanie kopiujące Przyklad & Przyklad::operator=( Przyklad && obj) // przypisanie przenoszące { if ( this == &obj) return * this; delete [] wdane; ileelementow = obj.ileelementow ; wdane = obj. wdane; obj. ileelementow = 0; obj. wdane = nullptr; return *this; Chcąc zastosować konstruktor przenoszący bądź operator przypisania przenoszącego dla obiektów l-wartościowych trzeba dokonać ich konwersji na r-wartość. Konwersja ta jest możliwa za pomocą operatora rzutowania static_cast<decltype(arg)&&>(arg) na typ Przyklad&&. Nowy standard C++11 dostarcza łatwy sposób prowadzący do przeniesienia obiektu. Jest to funkcja std::move() zwracająca r-wartościową referencje do obiektu. Przeniesienie odbędzie się pod warunkiem, że obiekt posiada zdefiniowany operator przeniesienia. Deklaracje funkcji move(), forward(), move_if_noexcept(), declval() umożliwiających generowanie referencji do r-wartości znajdują się w pliku nagłówkowym <utility>. Semantyka przeniesienia z referencjami r-wartościowymi jest zaimplementowana w bibliotece STL. Konstruktory przenoszące jak i operatory przypisania przenoszącego znajdują się we wszystkich klasach STL. 3 Nowości w Klasach Standard C++11 wzbogaca grupę specjalnych metod klas o wcześniej wspomniany konstruktor przenoszący oraz operator przypisania przenoszącego. Dodatkowo zwiększa kontrolę nad metodami klasy- teraz jawnie można specjalizować, czy dana metoda specjalna ma pozostać domyślną czy też zostanie zaimplementowana. Jeżeli dla danej klasy nie zdefiniowano żadnego konstruktora, kompilator syntetyzuje konstruktor domyślny. Jeżeli w klasie zdefiniujemy dowolny konstruktor to kompilator już nie utworzy żadnego innego domyślnego konstruktora czy też operatora przypisania. C++11 umożliwia zadeklarowanie metody klasy w sposób jawny jako domyślną metodę. Służy do tego modyfikator =default umieszczony od deklaracji metody. Możemy również zabronić kompilatorowi syntetyzowania danych metod oraz ich użycia. Pomocy w tym celu jest modyfikator =delete, dzięki niemu metoda będzie 4

5 zadeklarowana jako usunięta. Przed standardem C++11 taki cel osiągało się deklarując metody danej klasy jako funkcje prywatne. Niemniej stosowanie modyfikatora delete jest bardziej czytelne i łatwiejsze. Definicja klasy w C++11 posiada tylko sześć specjalnych metod które mogą być syntetyzowane przez kompilator. Kompilator natomiast może usuwać dowolną metodę w klasie, co może być wykorzystane do zablokowania konwersji pojedynczych metod. class JakasKlasa { ; JakasKlasa obj1; obj1.foo (5); void foo( double ); void foo( int ) = delete; Powyższy przykład pokazuje wywołanie metody foo( ) odpowiadającej wywołaniu metody foo dla typu int. Kompilator znajdzie dopasowanie, oraz odkryje, że metoda foo(int) posiada w swojej definicji modyfikator delete. Wywołanie funkcji usuniętej spowoduje błąd podczas kompilacji. Obrazuje to bardzo ważną cechę metod usuniętych: są one traktowane jako istniejące przez kompilator w momencie dopasowania, natomiast podczas prób wykorzystania są traktowane przeciwnie, jako nieistniejące. C++11 wprowadza mechanizm delegowania konstruktorów. Jego zadaniem jest przede wszystkim zmniejszenie ilości miejsc w których można popełnić trywialne błędy związane z powielaniem kodu. Delegowanie pozwala tworzyć nowe definicje konstruktorów stosując już istniejący konstruktor. Innymi słowy oddelegowuje część zadań danego konstruktora do innego konstruktora. Class DelKonst { int idx; double db; std::string str; public: DelKonst (int idxx, double dbb, std::string strr): idx(idxx), db(dbb), str(strr){ /* */ DelKonst ( ): DelKonst(0, 0.01, Oh ){ /* */ DelKonst (int idxx): DelKonst( idxx, 0.01, Oh ){ /* */ DelKonst (int kk idxx double dbb): DelKonst(idxx, dbb, Oh ){ /* */ 4 Automatyczna deklaracja typów w C++11 Ogromnym udogodnieniem wprowadzonym do języka w standardzie C++11 jest dedukowanie typu zmiennej w oparciu o typ jaki posiada wartość inicjalizująca. Posłużyło do tego słowo kluczowe auto znane z języka C, niemniej wykorzystywane sporadycznie przez programistów. Teraz kompilator przydziela inicjalizowanej zmiennej ten sam typ jaki posiada wartość inicjalizująca. Pozwala to omijać długie i żmudne deklaracje typów. Wystarczy posłużyć się słowem kluczowym auto. auto aintiger = 659; // aintiger jest typu int auto aldouble = 2.7e13L // aldouble jest typu long double 5

6 Przydatność dedukcji typów jeszcze bardziej zyskuje na znaczeniu podczas pracy z typami złożonymi, między innymi takimi jak w standardowej bibliotece szablonów. std::vector<double>punkty; std::vector<double>::iterator punktywektor = punkty.begin(); // lub auto punktywektor = punkty.begin(); // C++11 analogiczny efekt 5 Jednolita inicjalizacja Od momentu wprowadzenia standardu C++11 możliwe jest stosowanie inicjalizacji wykorzystujących notację klamrową wraz z listą wartości inicjalizujących również dla typów zdefiniowanych przez programistę. Uprzednio możliwe było to tylko dla typów wbudowanych. Możliwe jest stosowanie listy inicjalizującej w wyrażeniach używających operatora new. int * tablicaintow = new int [5] {0,1,9,3,4; // C++11 W miejsce listy argumentów konstruktora dla obiektów klas z powodzeniem można zamiennie wykorzystywać listę w klamrach. Slupek slup1 (4, 11.3); // po staremu Slupek slup2 {8, 92.3; lub Slupek slup3 = {8, // C++11 Do standardu C++11 dodano również szablon klas std::initializer_list służący jako parametr konstruktora. Inicjator listy pozwala przekazać zbiór wartości zapisany poprzez argument funkcji, metody bądź konstruktora. Wymagane jest, aby wszystkie elementy posiadały ten sam typ bądź dało się je niejawnie przekonwertować do jednakowego typu. Wszystkie kontenery ze standardowej biblioteki szablonów mają konstruktory przyjmujące argumenty będące szablonem klasy std::initializer_list. Std::vector<int> wektortablicowy {4,3,2; Deklaracja klasy std::initializer_list znajduje się w pliku nagłówkowym <initializer_list>. Klasa ta zawiera metody umożliwiające określenie początku: begin() oraz końca: end() listy. Operandami typu std::initialize_list można posługiwać się w konstruktorach, metodach klas oraz zwykłych funkcjach double sumator (){std::initialize_list<double> ilist { double sum = 0 ; for (auto idx = ilist.begin(); idx!= ilist.end(); idx++ ) sum += *idx; return sum; int main() {... double jakaszmienna = sumator({4.6, 5.2, 3.8);... 6

7 6 Inteligentne wskaźniki Inteligentne wskaźniki (ang. smart pointers) poza standardowym zachowaniem jakie mają zwykłe wskaźniki, dostarczają dodatkowych możliwości. Język C++11 oferuje trzy nowe klasy inteligentnych wskaźników - unique_ptr, shared_ptr oraz week_ptr. Są one bardzo pomocne podczas pracy z dynamicznymi przydziałami pamięci. Inteligentne wskaźniki auto_ptr, shared_ptr, unique_ptr definiują obiekty zbliżone do wskaźników otrzymanych za pomocą operatora new. Dzięki temu, że inteligentne wskaźniki są obiektami klas, ich definicje zawierają destruktory. Podczas usuwania obiektów inteligentnych wskaźników, ich destruktor za pomocą instrukcji delete zwalnia pamięć. Z tego powodu, jeżeli przypiszemy do takiego wskaźnika adres poprzez instrukcję new, nie musimy się już martwić o zwolnienie pamięci, ponieważ jeżeli nie zrobimy tego sami, zrobi to za nas destruktor w momencie usuwania obiektu inteligentnego wskaźnika. Inteligentne wskaźniki do języka C++11 zaczerpnięte zostały z biblioteki Boost. Klasy inteligentnych wskaźników zadeklarowane są w pliku nagłówkowym <memory>. Unique_ptr (unikalny) jest unikalnym wskaźnikiem na obiekt. W momencie usunięcia wskaźnika obiekt zostanie zniszczony. unique_ptr<string>p3(new string ( auto )); vector<unique_ptr<int>> vp(size); Shared_ptr (współdzielony) jest wskaźnikiem współdzielonym przez wiele wskaźników tego typu. Klasa zawiera zmienną zliczającą wskaźniki wskazujące na obiekt. W momencie gdy ostatni współdzielony wskaźnik zostanie zniszczony, obiekt na który wskazywał również ulegnie zniszczeniu. Week_ptr( słaby) wskazuje na obiekty wskazywane poprzez współdzielone wskaźniki, jednak nie utrzymuje ich przy życiu. W momencie zniszczenia wskaźnika współdzielonego, obiekt na który wskazywał również zostanie zniszczony. Wskaźniki słabe jeżeli wskazywały na taki obiekt zaczną wskazywać na nullptr. 7 Wielowątkowość Niewątpliwie największa nowością w standardzie C++11 jest możliwość wykorzystania wielowątkowości. Wcześniej było to możliwe, lecz wymagało stosowania zewnętrznych bibliotek. Utworzenie nowego wątku jest naprawdę proste: void do_some_work(); std::thread my_thread(do_some_work); W C++11 biblioteka standardowa została wzbogacona o nowy model pamięci przystosowany do przetwarzania wielowątkowego. Dodano klasy zarządzające wątkami, synchronizacją współbieżnych operacji oraz ochroną danych współdzielonych przez wątki. Wprowadzono również niskopoziomowe operacje atomowe będące podstawą synchronizacji wątków. Standard C++11 wspiera współbieżność poprzez mechanizmy zdefiniowane w plikach nagłówkowych wchodzących w skład biblioteki standardowej. Plik <thread> wspiera tworzenie i uruchamianie wątków. Ochrona przed wzajemnym wykluczaniem 7

8 zdefiniowana jest w pliku nagłówkowym <mutex>, monitory i zmienne warunkowe będące podstawą synchronizacji wątków znajdują się w nagłówkowym pliku <condition_variable>. Operacje wysokopoziomowe, takie jak funkcje przyszłości umożliwiają szablony klas std::future<>, std::shared_future<> z pliku nagłówkowego <future>. W C++11 użycie słowa thread_local definiującego nowy model pamięci, wspiera realizację operacji wielowątkowych. Therad_local definiuje użycie zmiennych jako statyczne względem ustalonego wątku. Ich czas życia jest uzależniony do czasu życia wątku. 8 Podsumowanie W powyższej pracy zostały omówione wybrane elementy wprowadzone wraz ze standardem C++11. Ukierunkowany jest on na usprawnienie pracy programistów poprzez uproszczenie nauki języka oraz zwiększenie możliwości jego zastosowania. Efektywność wykorzystania języka C++ wzrosła poprzez wykorzystanie semantyki r-wartości oraz inteligentnych wskaźników, które pomagają w zarządzaniu obszarami pamięci przydzielonymi dynamicznie. Jedną z istotniejszych zmian jest wprowadzenie do standardowej biblioteki elementów wspierających przetwarzanie współbieżne. W niniejszej pracy omówione zostały kluczowe elementy standardu C++11, jednak na uwagę zasługuje również między innymi obsługa wyrażeń regularnych oraz wyrażenia lambda. Aktualnie nie wszystkie kompilatory wspierają pełną listę dodanych funkcjonalności nowego standardu. Sytuacja ta poprawia się wraz z rozwojem i wydawaniem nowych wersji kompilatorów. Podsumowując standard C++11 znacząco zwiększa przejrzystość i elastyczność języka C++ oraz upraszcza jego elementy. Bibliografia [1] A. Williams, Język C++ i przetwarzanie współbieżne w akcji, Helion [2] S. Prata, Język C++ Szkoła programowania Wydanie VI, Helion [3] C++11 FAQ 8