Я так понимаю, вы больше о шаблонной магии C++. А точнее о C++ Template Metaprogramming?
Вообще примерно так, последовательность важна:
Джеф Элджер - C++ for Real Programmers (есть на русском)
Андрей Александреску - Modern C++ Design (есть на русском)
C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond (на русском не видел и скорее всего нет)
Элджер даёт базовые знания работы шаблонов, Александреску уже более или менее разжовывает, но всё еще слабо, очень слабо, а вот последняя книга от авторов boost (хотя это наверное больше сборник понтов, чем реально полезной информации) помогает вправить мозг, не тем что в ней написано, а тем, что вы начнете искать как выполнить упражнения, а вот там уже и будет сама шаблонная магия.
Ну и как вариант не забывать посмотреть работу type traits из C++11.
P.S. Ах да, забыл добавить, что шаблонное метапрограммирование сродни функциональному программированию, в этом его сложность для программистов привыкшим к процедурному.
Средний
