|
|
| Linia 1: |
Linia 1: |
|
| |
|
| ''Uwaga: przekonwertowane latex2mediawiki; prawdopodobnie trzeba wprowadzi� poprawki''
| |
|
| |
| {Funkcje typów i inne sztuczki}
| |
|
| |
| '''Zadanie 1 ''' Napisać szablon który sprawdza czy jego parametr
| |
| posiada określony typ stowarzyszony np.:
| |
|
| |
| <nowiki> has_value_type<std::vector<int> >::yes
| |
| </nowiki>
| |
|
| |
| powinno mieć wartość <code><nowiki> true</nowiki></code>, a
| |
|
| |
| <nowiki> has_value_type<int>::yes
| |
| </nowiki>
| |
|
| |
| wartość <code><nowiki> false</nowiki></code>.
| |
|
| |
| '''Wskazówka ''' Można wzorować się na szablonie <code><nowiki> is_class</nowiki></code>.
| |
|
| |
| '''Zadanie 2 ''' Napisać szablon który sprawdza czy jeden z jego
| |
| argumentów dziedziczy z drugiego.
| |
|
| |
| '''Wskazówka ''' Jeśli <code><nowiki> Derived</nowiki></code> dziedziczy z <code><nowiki> Base</nowiki></code>
| |
| to typ <code><nowiki> Derived *</nowiki></code> może być konwertowany do <code><nowiki> Base *</nowiki></code>.
| |
| Uwaga, każdy typ wskaźnikowy może być konwertowany do <code><nowiki> void *</nowiki></code>.
| |
|
| |
| '''Zadanie 3 '''
| |
| Napisać szablon który sprawdza czy dany typ jest wymieniony w podanej
| |
| liście typów. Np.:
| |
|
| |
| <nowiki> in<int,TypeList<int,TypeList<double,NullType> >>::yes
| |
| </nowiki>
| |
|
| |
| jest prawdziwe, a
| |
|
| |
| <nowiki> in<int,TypeList<char,TypeList<double,NullType> >>::yes
| |
| </nowiki>
| |
|
| |
| jest fałszywe.
| |
|
| |
| '''Zadanie 4 '''
| |
|
| |
| Implementacja indeksowania listy typów podana na wykładzie, w
| |
| przypadku przekroczenia zakresu powuduje bład kompilacji. Napisać
| |
| mniej restrykcyjna wersję tego szablonu, która w takiej sytacji "zwraca"
| |
| typ:
| |
|
| |
| <nowiki> struct Empty_type {};
| |
| </nowiki>
| |
