"David A. Greene" <greened@obbligato.org> writes:
It is also, IMHO, one of the best practical examples of template metaprogramming.
I just want to clear something up about this. It's not directed at PQS in particular, but at the whole domain of dimensional analysis as an example of TMP. Dimensional analysis is really a very poor example of what TMP can do: interesting TMP involves some generation of code that actually "does something," as in the state machine example in C++TMP or Blitz++ expression templates or Boost.Lambda. Dimensional analysis basically only adds error messages where they wouldn't otherwise have been. I recently had the same conversation with Scott Meyers, so you're not in bad company ;-) -- Dave Abrahams Boost Consulting www.boost-consulting.com