Type de modèle à retour automatique et ambiguïté

J'ai une fonction de modèle surchargée:

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

Si je l'appelle comme ça:

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

tout fonctionne parfaitement, mais

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

provoque un appel ambigu.

Pourquoi en est-il ainsi avec int , et OK quels autres types?

RTn'est pas déductible, donc lorsqu'il ne le fournit pas, seul template<typename T1, typename T2> auto overMax(T1 a, T2 b)peut être appelé.

Lorsque vous fournissez (partiellement) un argument de modèle, les deux méthodes sont viables,

mais selon l'argument, on peut être un meilleur candidat:

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

  Les deux overMax<double, int, double>et overMax<double, double>sont viables.
  Mais overMax<double, int, double>est correspondance exacte
  alors que overMax<double, double>nécessite intla doubleconversion.

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

  Les deux overMax<int, int, double>et overMax<int, double>sont viables.
  Mais ni l'un ni l'autre ne correspond mieux ni n'est plus spécialisé, donc l'appel est ambigu.