Конечно делает. простейший пример автоопределение:

template <class T> f(T t)

можно вызвать как
int k;
f(k);

тем неменее в потом можно использовать тип в теле функции.