Metaprogramowanie to jedna z nowości, które pojawiły się ostatnio w świecie języka C++. Metaprogram to program będący w stanie modyfikować lub generować kod innego programu. Wykorzystanie zasad metaprogramowania pozwala na przykład na dynamiczną modyfikację programu podczas jego kompilacji. Pierwszym językiem pozwalającym na korzystanie z możliwości metaprogramowania jest C++ biblioteką STL.
"C++. Metaprogramowanie za pomocą szablonów" to książka przeznaczona dla tych programistów, którzy korzystają już z biblioteki STL i chcą zastosować ją do tworzenia metaprogramów. Opisano w niej zasady metaprogramowania, typy możliwe do wykorzystania w szablonach przeznaczonych do implementacji funkcji związanych z metaprogramowaniem oraz sposoby tworzenia szablonów modyfikujących programy podczas kompilacji.
- Typy i metafunkcje
- Operacje, sekwencje i iteratory
- Algorytmy biblioteki MPL i tworzenie własnych algorytmów
- Usuwanie błędów w szablonach
- Modyfikowanie programu w czasie kompilacji
- Język DSEL
Metaprogramowanie to nowość. Poznaj je już teraz, aby być przygotowanym na dzień, w którym stanie się standardem.
Przedmowa (7)Podziękowania (9)
Struktura książki (11)
Rozdział 1. Wprowadzenie (13)
- 1.1. Zaczynamy (13)
- 1.2. Czym jest metaprogram? (14)
- 1.3. Metaprogramowanie w języku macierzystym (15)
- 1.4. Metaprogramowanie w języku C++ (15)
- 1.5. Dlaczego metaprogramowanie? (18)
- 1.6. Kiedy stosować metaprogramowanie? (20)
- 1.7. Dlaczego biblioteka metaprogramowania? (20)
- 2.1. Powiązanie typów (23)
- 2.2. Metafunkcje (26)
- 2.3. Metafunkcje numeryczne (29)
- 2.4. Dokonywanie wyborów na etapie kompilacji (30)
- 2.5. Krótka podróż po bibliotece Boost Type Traits (34)
- 2.6. Metafunkcje bezargumentowe (39)
- 2.7. Definicja metafunkcji (40)
- 2.8. Historia (40)
- 2.9. Szczegóły (41)
- 2.10. Ćwiczenia (44)
- 3.1. Analiza wymiarowa (47)
- 3.2. Metafunkcje wyższych rzędów (56)
- 3.3. Obsługa symboli zastępczych (58)
- 3.4. Więcej możliwości lambdy (60)
- 3.5. Szczegóły implementacji lambda (61)
- 3.6. Szczegóły (64)
- 3.7. Ćwiczenia (66)
- 4.1. Operacje i otoczki typu logicznego (69)
- 4.2. Operacje i otoczki liczb całkowitych (76)
- 4.3. Ćwiczenia (80)
- 5.1. Pojęcia (83)
- 5.2. Sekwencje i algorytmy (84)
- 5.3. Iteratory (85)
- 5.4. Pojęcia związane z iteratorem (85)
- 5.5. Pojęcia sekwencji (89)
- 5.6. Równość sekwencji (94)
- 5.7. Wewnętrzne operacje sekwencji (94)
- 5.8. Klasy sekwencji (95)
- 5.9. Otoczki sekwencji liczb całkowitych (99)
- 5.10. Wyprowadzanie sekwencji (100)
- 5.11. Pisanie własnych sekwencji (101)
- 5.12. Szczegóły (110)
- 5.13. Ćwiczenia (111)
- 6.1. Algorytmy, idiomy, wielokrotne użycie i abstrakcja (115)
- 6.2. Algorytmy biblioteki MPL (117)
- 6.3. Insertery (118)
- 6.4. Podstawowe algorytmy sekwencji (121)
- 6.5. Algorytmy zapytań (123)
- 6.6. Algorytmy budowania sekwencji (123)
- 6.7. Pisanie własnych algorytmów (126)
- 6.8. Szczegóły (127)
- 6.9. Ćwiczenia (128)
- 7.1. Kilka przykładów (131)
- 7.2. Pojęcie widoku (137)
- 7.3. Adaptery iteratora (137)
- 7.4. Tworzenie własnego widoku (138)
- 7.5. Historia (140)
- 7.6. Ćwiczenia (140)
- 8.1. Powieść o poprawianiu błędów (143)
- 8.2. Korzystanie z narzędzi do analizy wyników diagnostyki (152)
- 8.3. Zamierzone generowanie komunikatów diagnostycznych (156)
- 8.4. Historia (167)
- 8.5. Szczegóły (167)
- 8.6. Ćwiczenia (168)
- 9.1. Algorytm for_each (171)
- 9.2. Wybór implementacji (174)
- 9.3. Generatory obiektów (178)
- 9.4. Wybór struktury (180)
- 9.5. Złożenie klas (184)
- 9.6. Wskaźniki na funkcje (składowe) jako argumenty szablonów (187)
- 9.7. Wymazywanie typu (189)
- 9.8. Wzorzec zadziwiająco powracającego szablonu (195)
- 9.9. Jawne zarządzanie zbiorem przeciążeń (200)
- 9.10. Sztuczka z sizeof (202)
- 9.11. Podsumowanie (203)
- 9.12. Ćwiczenia (203)
- 10.1. Mały język... (205)
- 10.2. ...przechodzi długą drogę (208)
- 10.3. Języki DSL - podejście odwrotne (215)
- 10.4. C++ jako język gospodarza (218)
- 10.5. Blitz++ i szablony wyrażeń (220)
- 10.6. Języki DSEL ogólnego stosowania (225)
- 10.7. Biblioteka Boost Spirit (234)
- 10.8. Podsumowanie (240)
- 10.9. Ćwiczenia (241)
- 11.1. Automaty skończone (243)
- 11.2. Cele projektu szkieletu (246)
- 11.3. Podstawy interfejsu szkieletu (247)
- 11.4. Wybór języka DSL (248)
- 11.5. Implementacja (254)
- 11.6. Analiza (259)
- 11.7. Kierunek rozwoju języka (261)
- 11.8. Ćwiczenia (261)
- A.1. Motywacja (265)
- A.2. Podstawowe abstrakcje preprocesora (267)
- A.3. Struktura biblioteki preprocesora (269)
- A.4. Abstrakcje biblioteki preprocesora (269)
- A.5. Ćwiczenie (286)
- B.1. Zagadnienia (288)
- B.2. Reguły (291)
- C.1. Model obliczeniowy (299)
- C.2. Zarządzanie czasem kompilacji (302)
- C.3. Testy (302)
Bibliografia (317)
Skorowidz (321)