Проблема с максимальной функцией шаблона Variadic

Question

Я пытаюсь написать вариационный шаблон для нахождения максимума произвольного количества чисел (это просто для отработки вариационных шаблонов).

Тем не менее, я как бы врезался в стену и не могупонять, почему моя текущая попытка просто не работает, и не удается во время компиляции с ошибкой:

prog.cpp: In function 'A myMax(A, A, Args ...) [with A = int, Args = {}]':
prog.cpp:7:35:   instantiated from 'A myMax(A, A, Args ...) [with A = int, Args = {int}]'
prog.cpp:22:26:   instantiated from here
prog.cpp:7:35: error: no matching function for call to 'myMax(int)'

Мой код выглядит следующим образом:

#include <iostream>

template <typename A, typename ... Args>
A myMax(A a, A b, Args ... args)
{
   return myMax(myMax(a,b),args...);
}

template <typename A>
A myMax(A a,A b)
{
   if (a>b)
      return a;
   else
      return b;
}


int main()
{
   std::cout<<myMax(1,5,2);
}

Может кто-нибудь сказать мне, как исправитьмой шаблон вариации?

Answer 1

Просто определите перегрузку, которая принимает два аргумента над шаблоном переменной функции:

template <typename A> 
A myMax(A a,A b)      //this is an overload, not specialization
{
   if (a>b)
      return a;
   else
      return b;
}

template <typename A, typename ... Args>
A myMax(A a, A b, Args ... args)
{
   return myMax(myMax(a,b),args...);
}

Теперь это будет работать: http://www.ideone.com/R9m61

Перегрузка должна быть видна наточка создания экземпляра, которая находится в шаблоне функции variadic.

Answer 2

template<class T>
T Max(T a, T b)
{
    return (a > b ? a : b);
}

template<class T, class... a>
T Max(T x , a... z)
{
    T k = Max(z...);
    return (x > k ? x : k);
}

int main()
{
    cout << Max(14,45,87,66,99,888,554,21);
}

Answer 3

Используя constexpr, теперь можно сделать что-то вроде следующего:

template<typename num_t, num_t ...X>
constexpr num_t max_element(){
    const std::array<num_t, sizeof...(X)> vals{X...};
    num_t ret = 0;
    for(size_t i=0; i<sizeof...(X); i++)
        if(vals[i] > ret)
            ret = vals[i];
    return ret;
}

Я попытался пойти еще дальше, просто:

const std::array<num_t, sizeof...(X)> vals{X...};
return *std::max_element(vals.cbegin(), vals.cend());

но компилятор пожаловался (я точно забыл, что он сказал. [ Редактировать: см. этот вопрос / ответ , который более подробно объясняет ситуацию с std :: alogrithm.]

В любом случае, вы используете его просто как:

auto max_val =  max_element<int, 11, 88, 12, 2>();
assert(max_val == 88);

Answer 4

Более короткий вариант предыдущего ответа с использованием std::max, попробуйте здесь :

#include <iostream>

template <typename T> 
T Max(T a) 
{
    return a;
}

template <typename T, typename ... Args> 
T Max(T a, Args ... args) 
{
    return std::max(Max(args...), a);
}

int main() {
    std::cout << Max(14,45,87,66,99,888,554,21);
}