I didn't use the word 'powerful' because powerful generally refers to expressivity. I'm most interested in performance. C++ template metaprogramming gives you

I didn't use the word 'powerful' because powerful generally refers to expressivity. I'm most interested in performance. C++ template metaprogramming gives you most of the expressivity of generic programming without paying a large runtime penalty (because the resolution still occurs at compile time, the compiler can take advantage of this). This is in contrast to other languages, where run-time generic programming leads to performance penalties. Now, as the stereotypical example of how C++ template metaprogramming can actually beat standard C programming, compare the performance of C qsort with C++ std::sort.