Можно ли привести параметры шаблона во время выполнения?

Question

Учитывая следующий шаблонный метод

template <typename T>
T max(T x, T y)
{
    return (x > y)? x : y;
}

Я хочу, чтобы следующий вызов работал:

int main()
{
    cout << max(3, 7.0) << std::endl; //compiler error
}

Я понимаю, что компилятор не работает из-за того, что я передаю 2 разные типы данных, в то время как мой шаблон принимает только 2 параметра одного типа. Самым простым решением было бы использование полиморфизма и создание нового метода шаблона, который использует типы T и X вместо 2 типов T, но я хочу спросить вас, есть ли способ сделать какое-то приведение параметра y к типу параметра x без изменение вызова в main ()

Answer 1

, который не срабатывает из-за вывода типа шаблона, который не выводит между int и double, вы можете либо явно указать тип шаблона, использовать два параметра шаблона или привести его внутрь к T с static_cast

Answer 2

просто отмените возвращаемый тип:

#include <iostream>
using namespace std;


template <typename T,typename U>
auto max(T x, U y)  -> decltype( x > y? x : y )  // pair: auto  ->, put off the type returned
{
    return  x > y? x : y;;

}


int main(){
    cout << max(3, 7.0) <<"\n"; 
}  
7

Answer 3

Из вашего вопроса не совсем ясно, какой тип вы ожидаете T в этом сценарии, но если вы хотите, чтобы это был, например, тип первого аргумента, тогда вы можете сделать второй параметр не выводимый контекст:

template <typename T>
T max(T x, std::type_identity<T>::type y)
{
    return (x > y)? x : y;
}

std::type_identity - это функция C ++ 20, но ее реализация действительно проста:

template<typename T>
struct type_identity {
    using type = T;
};

Все, что осталось от оператора разрешения области в параметре не выводится, поэтому весь параметр является не выводимым контекстом и не будет участвовать в выводе аргумента шаблона. Вместо этого будут применяться обычные неявные преобразования в разрешении перегрузки.

Answer 4

Да, вы можете сделать это, создав другой шаблонный метод:

template<class T, class U>
T max(T x, U y) {
    return max(x, static_cast<T>(y));
}

Примечание. Если это почти максимальное значение, используйте std::max из STL.