Otomatik dönüş tipi şablon ve belirsizlik

Aşırı yüklenmiş bir şablon işlevi var:

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

Eğer böyle çağırırsam:

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

her şey mükemmel çalışıyor, ama

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

belirsiz çağrıya neden olur.

Neden int ve OK ile diğer türlerde böyle?

RTçıkarılamaz, bu nedenle sağlanmadığında yalnızca template<typename T1, typename T2> auto overMax(T1 a, T2 b)çağrılabilir.

Bir şablon bağımsız değişkeni (kısmen) sağladığınızda, her iki yöntem de uygulanabilir,

ancak argümana bağlı olarak, kişi daha iyi bir aday olabilir:

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

  Her ikisi de overMax<double, int, double>ve overMax<double, double>uygulanabilir.
  Ama overMax<double, int, double>tam eşleşme olduğunu
  oysa overMax<double, double>gerektirir intiçin doubledönüşüm.

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

  Her ikisi de overMax<int, int, double>ve overMax<int, double>uygulanabilir.
  Ama ikisi de daha iyi bir eşleşme ya da daha uzman değil, bu yüzden çağrı belirsiz.