Metaprogramación por medio de templates en C++

La metaprogramación es una técnica que permite programar usando trozos de código como si de datos se trataran. En lenguajes como Lisp es realmente fácil de llevar a cabo pero en C++ sólo se puede hacer mediante templates.

Podemos ver el compilador como una máquina virtual que produce código ensamblador. Esto nos permite hacer cálculos complejos en tiempo de compilación en lugar de en tiempo de ejecución. Un ejemplo muy usado es calcular un número de la sucesión de Fibonacci en tiempo de compilación:

 1 #include <iostream>
 2 
 3 template <int N> struct fib {
 4         static const int result = fib<N-1>::result + fib<N-2>::result;
 5 };
 6 
 7 template <>
 8 struct fib<0> {
 9         static const int result = 0;
10 };
11 
12 template <>
13 struct fib<1> {
14         static const int result = 1;
15 };
16 
17 int main() {
18         std::cout << "Fib(15) = " << fib<15>::result << std::endl;
19         return 0;
20 }

En la wikipedia podemos encontrar una descripción un poco más extensa.