Plantillas de C++
El mecanismo de programación genérica de C++. Escribe código parametrizado por tipos: template<typename T> class Vector { T data; ... };. Bjarne Stroustrup, 1990.
Mensajes de error notoriamente complicados («vómito de plantillas»). SFINAE (Substitution Failure Is Not An Error) es el truco para la especialización parcial. La metaprogramación de plantillas consiste en calcular valores en tiempo de compilación (clásico: Factorial<5>::value). Los Concepts (C++20) estandarizan las restricciones de plantillas → mensajes de error mucho más limpios. Basado en monomorfización (compila código distinto por cada tipo instanciado) ⇒ runtime rápido pero binarios más grandes. La STL (Standard Template Library) está construida enteramente sobre plantillas: std::vector, std::map, <algorithm>.