Ошибка: Шаблон класса частичная специализация содержит параметр шаблона, который не может быть выведен

Question

Я ценю помощь выяснить, что происходит в этой проблеме, которая придет в моем коде, который я сводилась к следующему:

typedef unsigned short ushort; 

template<typename T = ushort*> 
struct Foo 
{ 
}; 

// Specialization -- works when not a specialization 
template< 
    template<typename,typename> class Container , 
    template<typename , template<typename,typename> class> class MetaFunction 
    > 
struct Foo<Container<ushort,typename MetaFunction<ushort,Container>::Type> > 
{ 
    //typedef Container<ushort,typename MetaFunction<ushort,Container>::Type> TestType; // OK 
}; 

int main() 
{ 
} 

на компиляции (GCC 5.4.0) я получаю ошибку:

Test.cpp:14:8: error: template parameters not deducible in partial specialization: 
struct Foo<Container<ushort,typename MetaFunction<ushort,Container>::Type> > 
     ^
Test.cpp:14:8: note:   ‘template<class, template<class, class> class<template-parameter-2-2> > class MetaFunction’ 

как ни странно, аргумент Container<ushort,typename MetaFunction<ushort,Container>::Type> специализации оказывается справедливым.

Answer 1

Проблема здесь состоит в том, что

MetaFunction<ushort,Container>::Type 

является , не выводится контекст, другими словами, компилятор не может вывести аргументы шаблона из него, так что ваша специализация не является действительным. Чтобы понять, почему, читайте больше об этом от предыдущего SO вопрос

What is a nondeduced context?

В основном, не выводится контекст сводится к

template<typename T> 
struct Identity 
{ 
    using type = T; 
}; 

Теперь в шаблоне как Identity<T>::type, T не будет вы можете сделать вывод, хотя для вас это может показаться очевидным (см. снова примеры в ссылке, которую я изложил, почему это так, это связано с частичными специализациями и отсутствием соответствия 1-1 между типами и членами специализации).