Pourquoi un paramètre de modèle de modèle ne peut-il pas être défini par défaut?

Question

#include <string> 

template 
< 
    typename CharType, 
    template<class, class, class> class StringType = std::basic_string 
    <CharType, std::char_traits<CharType>, std::allocator<CharType>> 
> 
void f(CharType, StringType) 
{} 

int main() 
{ 
    char c; 
    std::string str; 

    f(c, str); 
    // 
    // error : default template argument for 
    // a template template parameter must be a class template 
    // 
} 

Pourquoi une valeur template template parameter ne peut-elle pas être définie par défaut?

Answer 1

Essayez avec

template 
< 
    typename CharType, 
    template<class, class, class> class StringType = std::basic_string 
> 
void f(CharType, StringType<CharType, std::char_traits<CharType>, 
          std::allocator<CharType>>) 
{} 

std::basic_string<CharType, std::char_traits<CharType>, std::allocator<CharType>> est un simple typename; si vous voulez un template<typename, typename, typename> class, vous devez jeter les arguments de modèle et utiliser le squelette: std::basic_string

Answer 2

Sinon, cela est moins restrictive sur la mise en œuvre de StringType:

#include <string> 

template 
< 
    typename CharType, 
    typename StringType = std::basic_string<CharType,std::char_traits<CharType>,std::allocator<CharType>> 
> 
void f(CharType, StringType) 
{ 
} 


int main() 
{ 
    char c; 
    std::string str; 

    f(c, str); 

    const char* cstring; 

    f(c, cstring); // also works 
}