> What templates can do are not a strict superset of what the preprocessor can do.

C++ templates are Turing complete, but the C preprocessor is not.