Вопрос прост: как реализовать функцию, принимающую переменное число аргументов (подобно шаблону с переменным числом аргументов), однако, где все аргументы имеют одинаковый тип, скажем, int.

Я думал о чем-то похожем на это;

void func(int... Arguments)

В качестве альтернативы не будет рекурсивного статического утверждения о работе типов?