Как я могу применить варидические аргументы к функции с фиксированным количеством аргументов ⇐ C++

[Anonymous]

У меня есть несколько пользовательских структур данных, которые по существу представляют собой массивы примитивных типов: < /p>

Код: Выделить всё

template 
class Vec3 {
static constexpr size_t SIZE = 3;
T v[SIZE] = ...; // some init function

constexpr T operator[](size_t i) {
return v[i];
}

...
}

class Vec4 {
// Same concept as above
}

// More VecN classes
< /code>
Я пытаюсь написать функцию, которая применяет функцию к установленному количеству входных VECN. Например, эта функция может применять std :: ceil 

к vec3 и возвращает vec3 со всеми его значениями std :: ceil 'Ed или Apply std :: clamp
У меня есть решение, которое работает для не-варадических входных параметров (вот одно для функций с 1 параметром): < /p>
template
constexpr V MyFunc(Fn f, V v) {
V result;
for (int i = 0; i < V::SIZE; ++i) {
result = f(v);
}
return result;
}
[/code]
Я подумал, что, возможно, заставит fn принять вариационные аргументы, решающие его:

Код: Выделить всё

template 
constexpr Ret MyFunc(Fn f, V... v) {
Ret result;
for (int i = 0; i < Ret::SIZE; ++i) {
result[i] = std::apply(f, std::tuple(v[i]...));
}
return result;
}

< /code>
Однако я не могу заставить его работать как (я считаю), выполняемые функциями имеют фиксированное количество аргументов и не могут быть сопоставлены с fn < /code>, который ожидает функций Varadic аргумента.candidate function [with V = , T = float, Ret = Vec3, Fn = float (*)(float, ...)] not viable: no overload of 'ceil' matching 'float (*)(float, ...)' for 1st argument

Как я могу реализовать myfunc для достижения того, что я описал выше, и, если возможно, с минимальными накладными расходом (мой проект чрезвычайно чувствителен к размеру и производительности)?

Подробнее здесь: https://stackoverflow.com/questions/796 ... -arguments