Специализация шаблона для пустого пакета параметров

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

#include <string>
#include <iostream>

using namespace std;

template <int N, int... N2>
int tmax() {
    return N > tmax<N2...>() ? N : tmax<N2...>();
}

template <int N>
int tmax() {
    return N;
}

int main() {
    cout << tmax<32, 43, 54, 12, 23, 34>();
}

Однако это приводит к следующей ошибке:

test.cpp: In function ‘int tmax() [with int N = 34, int ...N2 = {}]’:
test.cpp:9:45:   instantiated from ‘int tmax() [with int N = 23, int ...N2 = {34}]’
test.cpp:9:45:   instantiated from ‘int tmax() [with int N = 12, int ...N2 = {23, 34}]’
test.cpp:9:45:   instantiated from ‘int tmax() [with int N = 54, int ...N2 = {12, 23, 34}]’
test.cpp:9:45:   instantiated from ‘int tmax() [with int N = 43, int ...N2 = {54, 12, 23, 34}]’
test.cpp:9:45:   instantiated from ‘int tmax() [with int N = 32, int ...N2 = {43, 54, 12, 23, 34}]’
test.cpp:18:39:   instantiated from here
test.cpp:9:45: error: no matching function for call to ‘tmax()’
test.cpp:9:45: error: no matching function for call to ‘tmax()’

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

template <int N, int... N2>
int tmax() {
    return N > tmax<N2...>() ? N : tmax<N2...>();
}

template <>
int tmax<>() {
    return 0;
}

Однако в дополнение к упомянутым выше ошибкам, я получаю эту ошибку:

error: template-id ‘tmax<>’ for ‘int tmax()’ does not match any template declaration

Итак, что мне делать, чтобы это заработало?

Я использую g ++ 4.5.2 с флагом -std = c ++ 0x .

14
задан Xeo 9 February 2012 в 23:45
поделиться