Nope, in general, it can't be done. Templates are simply part of the C++ language, they're not a separate preprocessor, so they don't generate C++ code.
The usual solution is to sprinkle your code with static asserts and other tests to verify that the right templates get instantiated in the right ways.
Once you start getting lost in your metaprogramming, this simple trick can help you determine which type a template parameter really is:
// given a variable t of an unknown type T
int*** i = t;
When the compiler encounters this, it'll print out a nice and simple error message, "Can not convert <long, detailed typename> to int***", allowing you to easily verify that the template parameter T is actually the type you think it should be.
与恶龙缠斗过久,自身亦成为恶龙；凝视深渊过久,深渊将回以凝视…
