VARIADIC значение шаблона в качестве аргумента шаблона для структуры

Question

Я пытаюсь сделать что-то вроде этого:

template <int v1, template <typename... Args> Args... vx> struct Sum { 
    const static int RESULT = v1 + Sum<vx...>::RESULT; 
}; 

template <int v> struct Sum { 
    const static int RESULT = v; 
} 

Чтобы использовать так:

int a = Sum<1, 2>::RESULT; 
int b = Sum<1, 2, 3, 4, 5>::RESULT; 

Очевидно, что-то здесь не так, и я борюсь с концепция вариационного шаблона как значения в определении структуры/класса. Можно ли сделать что-то подобное? Как?

Спасибо ...

Answer 1

Одна из проблем состоит в том, что ни декларация шаблона специализируется другой и Кода в этой декларации отличается, так что код плохо сформирован.

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

// main template 
template <int v1, int... vx> struct Sum { 
    const static int RESULT = v1 + Sum<vx...>::RESULT; 
}; 

// specialization to make recursion terminate 
// the list of matched template parameters is listed 
// after the name of the struct in angle brackets 
template <int v> struct Sum<v> { 
    const static int RESULT = v; 
}; 

static_assert(Sum<1, 2, 3, 4, 5>::RESULT == 15, ""); 

int main() {}