параметры шаблона функции с двумя разными типами, работает изменение порядка

Речь идет о шаблонах и выводе их аргументов. Параметры шаблонов выводятся из параметров функций, если это возможно. Рассмотрим этот пример:

template <class D, class T>
T Max(D, double);

template <class D, class T>
T Max(D a, double b) {
  return (a>b ? a : b); 
}   

int main() {
  std::cout << Max<double>(1,2.1) << std::endl;
}

Я ожидал, что это сработает на основе того, что первый параметр Макса будет выведен как int, который перейдет к D, а второй параметр Макса явно задан как double. И так как я хочу вернуть double, не будет ли это параметром шаблона «T»? Я ожидал, что компилятор будет работать здесь. Вместо этого он дал:

In function ‘int main()’:
error: no matching function for call to ‘Max(int, double)’

Однако затем я изменил порядок и сделал программу такой:

Шаблон T Max(D, двойной);

template <class T, class D>
T Max(D a, double b) {
  return (a>b ? a : b);
}

int main() {
  std::cout << Max<double>(1,2.1) << std::endl;
}

И ЭТО Сработало.

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