c++ - 模板模板函数实例化

Question

template < typename T >
class CLASS_TEMPLATE { } ;

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

template void funcI < CLASS_TEMPLATE > () ;

如果编译器没有关于 CLASS_TEMPLATE 模板参数的任何提示，编译器如何实例化该函数？

---

我对模板模板的假设是错误的。

形式模板参数是带有一个模板参数的funcI 模板。

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

template void funcII < std::vector > () ;将funcII模板实例化为{ std::vector< int > container0 ; std::vector< float > container1 ; /* ... */ }；

Answer 1

通过显式实例化

template void func < CLASS_TEMPLATE > () ;

您正在有效地执行此操作：

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

不需要模板参数CLASS_TEMPLATE来做到这一点。