Шаблонная функция принимает 2 аргумента разных типов и возвращает больший из них

template <typename T1, typename T2>
? GetMax(const T1 &a, const T2 &b)
{
    if (a>b) return a;
    else return b;
}

template <typename T1, typename T2, typename T>
T GetMax(const T1 a, const T2 b, T)
{
    return ((a>b) ? (a) : (b));
}

    int     i=17;
    double  d=20.5;
 
    std::cout << GetMax(i, d, d) << std::endl; // результат double
    std::cout << GetMax(i, d, i) << std::endl;  // а здесь int

template <class A, class B, class C>
A max(const B &v1, const C &v2)
{
    return (v1 > v2) ? v1 : v2;
}
 
int x = max<int>(a, b);

#include <iostream>
using namespace std;
 
template <class T1, class T2>
bool TemplCmp(T1 a, T2 b)
{
    return a > b;
}
 
int main()
{
    int    a = 5;
    double b = 3.5;
    cout<<"a = "<<a<<endl;
    cout<<"b = "<<b<<endl;
    cout<<"max from a and b : "
        <<(TemplCmp(a, b) ? a : b)
        <<endl;
    return 0;
}

template<typename T, typename U>
auto max(const T& t, const U& u) -> typename std::decay<decltype(t > u ? t : u)>::type
{
   return t > u ? t : u;
}