テンプレートテンプレートパラメータをデフォルトにできないのはなぜですか？

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 
    // 
} 

なぜtemplate template parameterをデフォルトにできないのですか？

Answer 1

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>>で試してみてくださいは、単純な型名です。あなたがtemplate<typename, typename, typename> classをしたい場合は、テンプレート引数を捨ててスケルトンを使用する必要があります。std::basic_string

Answer 2

また、これは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 
}