Пропуск аргументов в шаблонах C ++

Question

При вызове функции шаблона можно ли пропустить тип после имени функции?

В качестве примера рассмотрим функцию

template <typename T> void f (T var) {...};

Можно ли просто назвать это так:

int x = 5;
F (X);

или у меня есть для включения типа?

int x = 5;
е <int> (х);

Answer 1

Всякий раз, когда компилятор может вывести аргументы шаблона из аргументов функции, можно не указывать их. Это также хорошая практика, поскольку она облегчит чтение вашего кода.

Кроме того, вы можете оставить только аргументы шаблона конца, а не начала или середины:

template<typename T, typename U> void f(T t) {}
template<typename T, typename U> void g(U u) {}

int main() {
    f<int>(5);      // NOT LEGAL
    f<int, int>(5); // LEGAL

    g<int>(5);      // LEGAL
    g<int, int>(5); // LEGAL

    return 0;
}

Answer 2

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