如何使用函數指針作為非類型參數制作可變參數模板函數？

Question

我想要實現的是創建一個類似於以下的寺廟：

template<type R, type T, type S, auto F, class ...Fargs>
R create(T input, Fargs... fargs)
{
  S a = F(input, fargs ...);
  return some_func(a, input.b);
} 

然后我想稱之為

int x = create<int, SomeClass, float, SomeFunc_to_apply>(2, someObj, 8.0f, 3, "whatever", "it", "needs");

Answer 1

您可以稍微簡化一下：

template <auto F, typename T, class ...Fargs>
decltype(auto) create(T input, Fargs... fargs)
{
  auto a = F(input, fargs ...);
  return some_func(a, input.b);
}

並使用它：

SomeClass someObj;
float SomeFunc_to_apply(SomeClass, float, int, const char*, const char*, const char*);
int x = create<SomeFunc_to_apply>(someObj, 8.0f, 3, "whatever", "it", "needs");

演示