C++ Templates: The Complete Guide By David Vandevoorde, Nicolai M. Josuttis
Tam mnogo chego est' pro staticheskuyu identifikaciyu tipov.