It is ad-hoc in C++, templates weren't designed for general compile time meta-programming. It took several recent changes to the standard to make it a little more palatable with static expressions and general template improvements.