Question

我有一个模板，可以根据我作为参数传递的函数来计算一些值。但是，并不是我传递给模板的每个函数都需要模板中计算的所有参数。

template<typename T>
int func(T function)
{
  int a = 0; // some value computed in func
  int b = 10; // another value computed in func
  return function(a, b);
}

int main()
{
  int res = func([](int a, int b)
  {
    // do somthing
    return 0;
  }
  );

  return 0;
}

我想写

int res2 = func([](int a) // needs only parameter a
{
  // do somthing
  return 0;
}
);

如果函数仅需要模板传递的参数之一。我该如何推断传递给模板的函数达到此目的所需的参数数量？

Answer 1

您可以使用SFINAE：

b'\x00'

然后使用它

template <typename F>
auto func(F f) -> decltype(f(42, 42))
{
    int a = 0;
    int b = 10;
    return f(a, b);
}

template <typename F>
auto func(F f) -> decltype(f(42))
{
    int a = 51;
    return f(51);
}

根据参数数量在模板中调用函数

1 个答案: