テンプレートの自動戻りタイプとあいまいさ

オーバーロードされたテンプレート関数があります：

template<typename T1, typename T2>
auto overMax(T1 a, T2 b)
{
    std::cout << __FUNCSIG__ << std::endl;

    return b < a ? a : b;
}

template<typename RT, typename T1, typename T2>
RT overMax(T1 a, T2 b)
{
    std::cout << __FUNCSIG__ << std::endl;

    return b < a ? a : b;
}

私がそれをこのように呼ぶと：

auto a = overMax(4, 7.2); // uses first template
auto b = overMax<double>(4, 7.2); // uses second template

すべてが完璧に動作しますが、

auto c = overMax<int>(4, 7.2); // error

あいまいな呼び出しを引き起こします。

なぜそれがintでそうなのですか？

RTは推定template<typename T1, typename T2> auto overMax(T1 a, T2 b)できないため、提供しない場合は呼び出すことができます。

テンプレート引数を（部分的に）提供すると、両方の方法が実行可能になります。

しかし、議論によっては、より良い候補になる可能性があります。

• ために auto b = overMax<double>(4, 7.2); // uses second template

  両方overMax<double, int, double>とoverMax<double, double>実行可能です。
  ただしoverMax<double, int, double>、完全一致ですが、変換
  がoverMax<double, double>必要です。intdouble

• ために auto c = overMax<int>(4, 7.2); // Ambiguous call

  両方overMax<int, int, double>とoverMax<int, double>実行可能です。
  しかし、どちらも優れた一致でも特別なものでもないため、呼び出しはあいまいです。