Zaawansowane CPP/Ćwiczenia 8: Metaprogramowanie

Ćwiczenie 1

Napisz szablon funkcji lub klasy wyliczający funkcję silnia:

$n!=n(n-1)(n-2)\cdots 1$

Rozwiązanie

Rozwiązanie jest bezpośrednim zastosowaniem rekurencyjnej definicji funkcji silnia:

$n!=n*(n-1)!,0!=1$

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

template<> struct factorial <0>{
   enum {val=1};
};

Patrz plik factorial.h.

Ćwiczenie 2

Zaimplementuj szablon Pow<N,M> obliczający $N^M$. Np.:

Pow<3,4>::val;

powinno mieć wartość 81.

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 pown.h.

Ćwiczenie 3

Wymyśl i zaimplementuj jako metaprogram szybszy algorytm funkcji pow(x).

Podpowiedź

$x^{(2n)}=(x^2{)}^n,x^{(2n+1)}=x(x^2{)}^n$

Rozwiązanie

Do wzoru podanego w podpowiedzi dodajemy warunki brzegowe:

$x^0=1,x^1=x$

i implementujemy bezpośrednio:

template<size_t N> double pow(double x) {
   return ((N%2)?x:1)*pow<N/2>(x*x);
}
template<> double pow<1>(double x) {return x;};
template<> double pow<0>(double x) {return 1.0;};

Patrz plik powx.h.

Ćwiczenie 4

Napisz szablon generujący pierwsze $N$ wyrazów rozwinięcia funkcji $sin(x)$:

$sin<$N$>(x)=x-\frac{x^3}{3!}+\cdots +(-1{)}^{N+1}\frac{(x{)}^{2N-1}}{(2N-1)!}$

Możesz skorzystać z rozwiązań wcześniejszych zadań.

Rozwiązanie

Jak zwykle najpierw piszemy definicję rekurencyjną:

$sin<N>(x)=sin<N-1>(x)++(-1{)}^{N+1}\frac{(x{)}^{2N-1}}{(2N-1)!},sin<0>(x)=0$

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 pown.h.

Ćwiczenie 5

Napisz szablon generujący funkcję implementującą iloczyn skalarny dwu wektorów.

template<size_t N> double inner(double *x, double *y);

Parametrem szablonu ma być dlugość mnożonych wektorów.

$\mathrm{inner}$ <N> $(x,y)=x_1{y}_1+\cdots y_N{x}_N$

Ćwiczenie 6

Rozszerz powyższy szablon tak, aby również typ elementów wektora był parametrem szablonu:

template<size_t N, typename T> T dot(T *x, T *y);

Podpowiedź

Konieczne będzie użycie specjalizacji częściowej. W tym celu użyj pomocniczej klasy (specjalizacja częściowa jest niedozwolona dla funkcji).

Ćwiczenie 7

Napisz szablon generujący funkcję implementującą iloczyn macierzy $NxM$ i wektora o $M$ elementach:

 void matrix_v<N>(double *A,double *v,double *u)

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned u_0&= A_{0,0} v_0+A_{0,1} v_1+\cdots+A_{0,M-1} v_{M-1}\\ u_1&= A_{1,0} v_0+A_{1,1} v_1+\cdots+A_{1,M-1} v_{M-1}\\ &\vdots&\\ u_{N-1}&= A_{N-1,0} v_0+A_{N-1,1} v_1+\cdots+A_{N-1,M-1} v_{M-1}\\ \endaligned}

Tablica $A$ jest reprezentowana w pamięci zgodnie z konwencją $C$, tzn. wiersz po wierszu: elementowi $A_{i,j}$ odpowiada $A[M*i+j]$.