Как явно создать экземпляр функции шаблона?

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

У меня есть такая функция:

template <class T> int function_name(T a) {}

Я создал эту функцию следующим образом:

template int function_name<int>(int);

Но у меня были следующие ошибки:

error: expected primary-expression before 'template'
error: expected `;' before 'template'

[РЕДАКТИРОВАТЬ 2]: Обратите внимание, что возникла некоторая путаница в отношении кода в исходном вопросе из-за проблем с форматированием кода. См. Ответ Энтони Хэтчкинса для более подробной информации.

Если вы действительно хотите создать экземпляр (а не специализировать или что-то в этом роде) функции, сделайте следующее:

template <typename T> void func(T param) {} // definition

template void func<int>(int param); // explicit instantiation.

[EDIT] Кажется (много) путаницы относительно явного создания экземпляров и специализации. Код, который я опубликовал выше, касается явного создания экземпляров . Синтаксис для специализации другой. Вот синтаксис специализации:

template <typename T> void func(T param) {} // definition

template <> void func<int>(int param) {} // specialization

Обратите внимание на угловые скобки после шаблона!

Ваш код правильный.

Сообщение об ошибке относится к месту в коде, которое вы здесь не цитировали.

Обновить:

Исходный код был

template <class T> int function_name(T a) {}
template int function_name<int>(int);

и это было правильно.

Но он не цитировался и выглядел так:

template int function_name(T a) {}
template int function_name(int);

Выдает следующую ошибку

a.cpp:1: error: explicit instantiation of non-template ‘int function_name’
a.cpp:1: error: expected `;' before ‘(’ token
a.cpp:3: error: ‘function_name’ is not a template function

что явно отличается от того, что цитирует OP.

В этом варианте вторая строка исправна ( <int>может быть опущена), но первая строка неисправна. Компилятор не может догадаться, что Tэто параметр шаблона.