myTemplateTemplate ожидает, что вторым параметром шаблона является шаблон с одним аргументом. myDefaultTemplate - это шаблон с двумя аргументами, а второй аргумент имеет тип int по умолчанию.
В VS2008 я получаю ошибку компиляции: список параметров шаблона для шаблона класса "myDefaultTemplate" не соответствует списку параметров шаблона для параметра шаблона "TT"
Итак, почему myDefaultTemplate нельзя использовать в качестве шаблона только с одним аргументом? Есть ли какие-либо негативные последствия, если компилятор С++ поддерживает его?
template
<typename T1, typename T2 = int>
class
myDefaultTemplate{
T1 a;
T2 b;
};
template
<typename T1, template<typename T2> class TT>
class
myTemplateTemplate{
T1 a;
TT<T1> b;
};
int main(int argc, char* argv[]){
myTemplateTemplate<int, myDefaultTemplate> bar; //error here:
return 0;
}