Шаблоны С++ предназначены для кодирования обобщенных алгоритмов без привязки к определенным параметрам. Значение выражения "шаблоны С++ полны по Тьюрингу" можно понимать, что шаблоны отвечают всем критериям полноты по Тьюрингу и задачу, которая решается данными шаблонами, можно решить используя только машину Тьюринга.