Шаблон принимает аргументы с различными типами

@Игорюня · Регистрация: 07.12.2013

Author24 — интернет-сервис помощи студентам

C++

template <class T>
T function(T a,T b)
{
    if(a>b)return a;
    else return b;
}

Если я делаю вызов с различными типами function(3.1124,20); то компилятор пишет про неоднозначность параметров.Можно исправить как-нибудь?Вообще компилятор позволяет проводить сравнение различных числовых типов?

Croessmah · 13.03.2014, 12:26

Сообщение от Игорюня

то компилятор пишет про неоднозначность параметров

потому что 3.1124 - это double, а 20 - int

Сообщение от Игорюня

Можно исправить как-нибудь?

использовать один тип

@Игорюня · 13.03.2014, 12:27 **[ТС]**

Вообще компилятор позволяет проводить сравнение различных числовых типов?

Croessmah · 13.03.2014, 12:29

Сообщение от Игорюня

Вообще компилятор позволяет проводить сравнение различных числовых типов?

если знает как это сделать

@castaway · 13.03.2014, 12:37

Видимо, ты хотел на каждый тип по шаблону..

C++

1	template <class T, class U>

Croessmah · 13.03.2014, 12:48

Сообщение от castaway

Видимо, ты хотел на каждый тип по шаблону..

а возвращаемое значение какого типа будет?

@DrOffset · 13.03.2014, 12:53

Сообщение от Croessmah

а возвращаемое значение какого типа будет?

Например такого

В С++03 это тож можно сделать, через SFINAE, просто более многословно.

C++

template <typename A, typename B>
auto foo(A const & a, B const & b) -> decltype(a + b)
{
    return a + b;
}

Croessmah · 13.03.2014, 12:54

Сообщение от DrOffset

через SFINAE, просто более многословно.

это этапе компиляции, а тут, я так понял, нужно на этапе выполнения будет

@DrOffset · 13.03.2014, 13:05

Croessmah, не, этапе компиляции всегда (предыдущий пример тоже). Для встроенных типов он работает на основе правил определенных в стандарте для преобразований.
Например, если рассмотреть пример с делением:
decltype(a / b)
Будет int, если оба аргумента int.
Будет double, если один из аргументов double (или оба).
Для пользовательских типов будет просто определятся тип результата operator+.
Как-то так.

Добавлено через 2 минуты
Croessmah, а, извини, я понял. Ты про пример ТС говорил. Там да, тип результата от динамики зависит. Вариантные типы и (или) полиморфизм спасут в этом случае.

Добавлено через 1 минуту

C++

1 2	template <typename A, typename B> boost::variant<A, B> foo(A const a, B const & b);

Типа того.

Croessmah Неэпический 17870 / 10635 / 2054 Регистрация: 27.09.2012 Сообщений: 26,736 Записей в блоге: 1
	13.03.2014, 12:26	2
	Сообщение от Игорюня то компилятор пишет про неоднозначность параметров потому что 3.1124 - это double, а 20 - int Сообщение от Игорюня Можно исправить как-нибудь? использовать один тип 1

@Игорюня 20 / 16 / 11 Регистрация: 07.12.2013 Сообщений: 244
	13.03.2014, 12:27 [ТС]	3
	Вообще компилятор позволяет проводить сравнение различных числовых типов? 0

Croessmah Неэпический 17870 / 10635 / 2054 Регистрация: 27.09.2012 Сообщений: 26,736 Записей в блоге: 1
	13.03.2014, 12:29	4
	Сообщение от Игорюня Вообще компилятор позволяет проводить сравнение различных числовых типов? если знает как это сделать 1

Croessmah Неэпический 17870 / 10635 / 2054 Регистрация: 27.09.2012 Сообщений: 26,736 Записей в блоге: 1
	13.03.2014, 12:48	6
	Сообщение от castaway Видимо, ты хотел на каждый тип по шаблону.. а возвращаемое значение какого типа будет? 0

Croessmah Неэпический 17870 / 10635 / 2054 Регистрация: 27.09.2012 Сообщений: 26,736 Записей в блоге: 1
	13.03.2014, 12:54	8
	Сообщение от DrOffset через SFINAE, просто более многословно. это этапе компиляции, а тут, я так понял, нужно на этапе выполнения будет 1

	13.03.2014, 13:05