|
|
| Linia 1: |
Linia 1: |
| | | | |
| − | ''Uwaga: przekonwertowane latex2mediawiki; prawdopodobnie trzeba wprowadzi� poprawki''
| |
| − |
| |
| − | {Klasy cech}
| |
| − |
| |
| − | W poprzednich rozdziałach przedstawiono mechanizm typów związanych
| |
| − | (czyli typedefów zagnieżdżonych wewnątrz klasy).
| |
| − | Jest on intensywnie wykorzystywany w STL, gdzie bardzo przydaje się
| |
| − | do pisania szablonów funkcji parametryzowanych typem iteratora (albo
| |
| − | pojemnika).
| |
| − | Zagnieżdżony wewnątrz tego typu typ związany <code><nowiki> value_type</nowiki></code> pozwala na
| |
| − | tworzenie pomocniczych zmiennych przechowujących przetwarzane wartości,
| |
| − | <code><nowiki> iterator_category</nowiki></code> pozwala wybrać odpowiednią wersję kodu,
| |
| − | i tak dalej.
| |
| − |
| |
| − | Technika typów związanych ma jednak dwie wady.
| |
| − | Po pierwsze, muszą być one podczepione pod klasę, a czasem możemy chcieć
| |
| − | uzyskać informacje na temat czegoś, co może być albo klasą, albo prostym
| |
| − | typem wbudowanym (patrz iteratory -- albo klasy, albo zwykłe wskaźniki).
| |
| − | Po drugie, lista przekazywanych informacji jest zamknięta; aby
| |
| − | coś dodać, trzeba mieć dostęp do kodu źródłowego i go zmodyfikować.
| |
| − | Rozwiązaniem obu problemów są szablony cechujące.
| |
| − |
| |
| − | '''Zadanie 1 '''
| |
| − | Zaimplementuj funkcję uogólnioną biorącą jako argumenty parę iteratorów,
| |
| − | i zwracającą najmniejszy z tego ciągu elementów.
| |
| − | Najpierw opracuj wersję wykorzystującą typ związany, a potem wersję
| |
| − | korzystającą ze standardowego szablonu cechującego <code><nowiki> iterator_traits</nowiki></code> .
| |
| − | Sprawdź działanie obu wersji na liście oraz na zwykłej tablicy.
| |
| − | Przypominajka: w obu przypadkach niezbędne będzie słówko kluczowe
| |
| − | <code><nowiki> typename</nowiki></code> .
| |
| − |
| |
| − | '''Zadanie 2 '''
| |
| − | Zapoznaj się z plikiem <code><nowiki> kategorie.cpp</nowiki></code> .
| |
| − | Jest w nim przedstawiony sposób selekcji jednej spośród kilku implementacji
| |
| − | algorytmu na podstawie możliwości oferowanych przez przekazany iterator;
| |
| − | w tym konkretnym przykładzie rozróżniamy dwie grupy: iteratory o swobodnym
| |
| − | dostępie oraz wszystkie inne.
| |
| − | Rozszerz kod tak, aby wybierana była jedna z trzech możliwości: swobodny
| |
| − | dostęp, dwukierunkowe, gorsze niż dwukierunkowe.
| |
| − |
| |
| − | '''Zadanie 3 '''
| |
| − | Opierając się na przykładowym kodzie z poprzedniego zadania zaimplementuj
| |
| − | wariantowy algorytm sortowania ciągów.
| |
| − | Dla iteratorów jednokierunkowych użyj sortowania przez prosty wybór (patrz
| |
| − | odpowiednie ćwiczenie w module 3);
| |
| − | dla tych o dostępie swobodnym użyj quicksortu.
| |
| − |
| |
| − | '''Zadanie 4 '''
| |
| − | Do jakichś bliżej nie znanych celów potrzebny jest sposób na odróżnianie
| |
| − | iteratorów będących zwykłymi, klasycznymi wskaźnikami od wszystkich
| |
| − | pozostałych.
| |
| − | Ponieważ biblioteka standardowa nie dostarcza odpowiedniego mechanizmu,
| |
| − | trzeba go samodzielnie stworzyć.
| |
| − | Zaimplementuj szablon cechujący o nazwie <code><nowiki> is_pointer</nowiki></code> , zawierający
| |
| − | składową boolowską <code><nowiki> value</nowiki></code> .
| |
| − |
| |
| − | '''Podpowiedź do zadania 4 '''
| |
| − | Stwórz ogólny szablon zawsze zwracający <code><nowiki> false</nowiki></code> , a potem wyspecjalizuj
| |
| − | go dla typów będących wskaźnikiem do czegoś i tam zwracaj <code><nowiki> true</nowiki></code> .
| |
| − |
| |
| − | '''Rozwiązanie 4 '''
| |
| − | Patrz plik <code><nowiki> czy_wsk.cpp</nowiki></code> .
| |
