ประเภทเทมเพลตและความกำกวมกลับอัตโนมัติ

ฉันมีฟังก์ชั่นเทมเพลตมากเกินไป:

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และ OK เป็นประเภทอื่น

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>ต้องมีintการdoubleแปลง

• สำหรับ auto c = overMax<int>(4, 7.2); // Ambiguous call

  ทั้งสองoverMax<int, int, double>และoverMax<int, double>มีศักยภาพ
  แต่ไม่มีการจับคู่ที่ดีกว่าหรือมีความเชี่ยวชาญมากกว่าดังนั้นการโทรจึงไม่ชัดเจน