Здравствуйте, collider, Вы писали:

C>я бы сказал найти первую подходящую.

Количество возможных специализаций бесконечно. Перебрать все?

C>И кстати, вы как, быстро с этой задачей справились?

Да. Случай тривиальный. Стоит только добавить одну перегрузку, или подключить к проекту вектор, и случай перестаёт быть тривиальным. Нафиг такая фича, которая работает лишь в очень специфических условиях.

C>А переменной типа std::vector в задаче нету

Не понял, надо при выводе типа шаблона перебирать типы переменных, участвующих в данной единице трансляции? Круто будет, в чистом проекте шаблон выводится, подключил заголовок с вектором, не имеющим к шаблону и вообще коду никакого отношения, и оппа, перестал выводиться.