Значение ключевого слова template в объявлении функции

Question

Что означает «использование ключевого слова template в объявлении функции»?

В этом примере ошибки компилятора с ошибкой: «func» не является функцией шаблона.

template<typename T> 
struct Window { 
    T value; 
}; 

template void func(Window<int>, int); 

template<typename T> 
void func(Window<T>, T) { 
} 

int main(void) { 
} 

Но ниже пример в порядке.

template<typename T> 
struct Window { 
    T value; 
}; 

template<typename T> 
void func(Window<T>, T) { 
} 

template void func(Window<int>, int); 

int main(void) { 
} 

В чем смысл «шаблона» в вышеуказанном случае? Является ли это индикатором того, что эта функция является функцией шаблона?

Answer 1

Объявление, начинающееся с ключевого слова template и не имеющеезаостренных фигурных скобок > сразу после этого называется явным экземпляром. Это означает найти определение шаблона и подключить указанные параметры шаблона, чтобы получить специальную специализацию или специализацию класса. Итак, в первом примере компилятор жалуется, что он не может создать экземпляр func(Window<int>, int), потому что он еще ничего не знает о шаблоне с именем func.

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

Answer 2

Это только потому, что в первом примере у вас есть определение шаблона

template<typename T> 
void func(Window<T>, T) { 
} 

после вынужденной конкретизации, которая в лице этой линии:

template void func(Window<int>, int); 

В то время как во втором примере они» верный путь.

Но комментарий к вашему вопросу справедливый, вы задаете основной вопрос («что означает шаблон»), на который лучше всего ответить тщательное изучение предмета.