Zaawansowane CPP/Ćwiczenia 9: Szablony wyrażeń

Ćwiczenie 1

Zaimplementuj szablony funkcji table1, table2 i table3, generujące tabele prawdy dla jednej, dwu lub trzech zmiennych logicznych. Argumentem tych funkcji ma być funkcja przyjmująca, w zależności od funkcji, od 1 do 3 argumentów typu bool, np.:

 bool And(bool q,bool r) {return q && r;}
 table2(And2) ;

powinno wygenerować :

--------------
| 0 | 0 || 0 |    
| 0 | 1 || 0 |    
| 1 | 0 || 0 |    
| 1 | 1 || 1 |    
--------------

Podobnie dla table1 i table3.

Rozwiązanie

Patrz plik table.h.

Ćwiczenie 2

{{{3}}}

Rozwiązanie

Implementujemy rekurencyjną definicję potęgi:

$N^M=N*N^{M-1},N^0=1$

template<size_t N,size_t M> struct pow {
   enum {val=N*pow<N,M-1>::val};
};

template<size_t N> struct pow<N,0> {
   enum {val=1};
};

Dla przyspieszenia dodajemy dwie specjalizacje:

template<size_t M> struct pow<1,M>{
   enum {val=1};
};

template<size_t M> struct pow<0,M>{
   enum {val=0};
};

Powyższa specjalizacja spowoduje, że konkretyzacja Pow<0,0> będzie niejednoznaczna. Możemy to tak zostawić, bo $0^0$ jest nieokreślone. Jeśli jednak zdecydujemy się na jakąś wartość, np. zero, to należy dodać jeszcze jedną specjalizację:

template<> struct pow<0,0>{
   enum {val=0};
};

Patrz plik logic.h.

Ćwiczenie 3

Zaimplementuj szablon funkcji, który będzie przyjmował jako jeden z parametrów szablonu ilość zmiennych logicznych i będzie łączył działanie funkcji table1, table2 i table3. Np.:

table<2>(And);

powinno być równoważne wywołaniu:

table2(And);

Podpowiedź

Wykorzystaj pomocniczy szablon klasy aby móc skorzystać ze specjalizacji częściowej.

Rozwiązanie

Patrz plik table.h.