In der Wikipedia (http://de.wikipedia.org/wiki/C%2B%2B-Metaprogrammierung) ist dieses Beispiel für C++ Metaprogrammierung zu finden:

#include <iostream>

 template<long B, unsigned long E>
 struct pow_helper {
   static long const value = B * pow_helper<B, E - 1>::value;
 };

 template<long B>
 struct pow_helper<B, 0> {
   static long const value = 1;
 };

 template<long B, long E>
 struct power {
    static double const value;
 };

 template<long B, long E>
 double const power<B, E>::value= E < 0 ? 1.0 / pow_helper<B, E < 0 ? -E : 0>::value
                                        : pow_helper<B, E < 0 ? 0 : E>::value;

 int main() {
   std::cout << power<10, -3>::value << std::endl;
 }

Was wertet der Compiler hier jetzt alles aus? Theoretisch könnte er ja bis auf das Ergebnis runterrechnen, sodass der generierte code so aussieht:

int main() {
   std::cout << 0.001 << std::endl;
 }

Andererseits weiß ich von Templates, dass die nur Blaupausen für Code sind. Deshalb könnte man meinen, der Compiler generiert Code, der zur Laufzeit die Potenz berechnet.

Was ist Templatemetaprogrammierung nun? Programmierung von Templates, die der Compiler zur Compilezeit komplett, bis auf das gewünschte Ergebnis auswerten kann, oder das generieren lassen von Programmcode? Oder beides zusammen?

Was ist Templatemetaprogrammierung nun? Programmierung von Templates, die der Compiler zur Compilezeit komplett, bis auf das gewünschte Ergebnis auswerten kann, oder das generieren lassen von Programmcode? Oder beides zusammen?

Beides. in deinem Beispiel berechnet der compiler einfach nur das Ergebnis. Aber man kann mit tmp zum Beispiel ein grundgerüst für das visitor pattern bauen, das dir dann die passenden methoden für die Klassen generiert. Wenn du da wirklich dran interessiert bist, kann ich dir das Buch "modern C++ Design" von Andrei Alexandrescou empfehlen, allerdings kratzt das inzwischen auch nurnoch an der Oberfläche(expression templates schneidet er Beispielsweise nicht an.)