CODEWITHSUNDEEP
c++templatesexplicit-instantiation
Volodymyr Boyko
Volodymyr Boyko

Reputation: 1581

template template function instantiation

template < typename T >
class CLASS_TEMPLATE { } ;

template < template < typename T > class CLASS >
void funcI ( ) { } 

template void funcI < CLASS_TEMPLATE > () ;

How does compiler instantiate the function, if he does not have any hint about CLASS_TEMPLATE template arguments?

My assumptions about template template were wrong.

Formal template parameter of funcI is template with one template parameter.

template < template < typename... > class CONTAINER >
void funcII ( ) 
{
   CONTAINER< int > container0 ;
   CONTAINER< float > container1 ;
   /* ... */
}

template void funcII < std::vector > () ; will instantiate funcII template as { std::vector< int > container0 ; std::vector< float > container1 ; /* ... */ } ;

Upvotes: 3

Views: 536

Answers (1)

Vaughn Cato
Vaughn Cato

Reputation: 64308

By explicitly instantiating

template void func < CLASS_TEMPLATE > () ;

You are effectively doing this:

template <>
void func<CLASS_TEMPLATE>() { }

There is no need to have the template parameters for CLASS_TEMPLATE to do that.

Upvotes: 1

Related Questions