Типы C ++, которые невозможно назвать

Читая страницу Википедии о decltype , мне было любопытно узнать об утверждении,

Его основное предназначение [decltype] - в общем {{1} } программирования, где часто сложно, или даже невозможно назвать типы, которые зависят от параметров шаблона .

Хотя я могу понять сложность части этого оператора, каков пример, когда необходимо указать тип, который не может быть назван в C ++ 03?

EDIT : Я хочу сказать, что, поскольку все в C ++ имеет объявление типов. Почему вообще может быть случай, когда невозможно назвать тип? Кроме того, разве классы признаков не предназначены для получения информации о типах? Могут ли классы признаков быть альтернативой decltype ?