Function Template Instantiation


The new home for Visual Studio documentation is Visual Studio 2017 Documentation on

The latest version of this topic can be found at Function Template Instantiation.

When a function template is first called for each type, the compiler creates an instantiation. Each instantiation is a version of the templated function specialized for the type. This instantiation will be called every time the function is used for the type. If you have several identical instantiations, even in different modules, only one copy of the instantiation will end up in the executable file.

Conversion of function arguments is allowed in function templates for any argument and parameter pair where the parameter does not depend on a template argument.

Function templates can be explicitly instantiated by declaring the template with a particular type as an argument. For example, the following code is allowed:

// function_template_instantiation.cpp  
template<class T> void f(T) { }  
// Instantiate f with the explicitly specified template.  
// argument 'int'  
template void f<int> (int);  
// Instantiate f with the deduced template argument 'char'.  
template void f(char);  
int main()  

Function Templates