c++ - 推断 lambda 的类型衰减为函数指针

Question

所以我制作了这个模板来定义内联仿函数:

template <typename F, F* f>
struct AsFunctor
{
    template <typename... Args>
    std::invoke_result_t<F, Args...> operator()(Args&&... args) { return f(std::forward<Args>(args)...); }
};

可以这样使用:

std::unique_ptr<char, AsFunctor<void(char*), +[](char* c) {/*STUFF*/}>> p;

除了我必须不必要地声明我的函数类型两次外，效果很好。有什么办法可以让编译器推断出来吗？我已经以各种方式尝试过 decltype，例如

#define AS_FUNCTOR(lambda) AsFunctor<decltype(+lambda), +lambda>

但它们都是编译错误，因为 lambda 不能出现在未计算的上下文中。

Answer 1

您可以对仿函数使用auto，然后使用decltype 推导类型。

template <auto F>
struct AsFunctor {
  template <typename... Args>
  std::invoke_result_t<decltype(F), Args...> operator()(Args&&... args) {
    return F(std::forward<Args>(args)...);
  }
};

int main() {
  int i;
  std::unique_ptr<char, AsFunctor<+[](char* c) { /*STUFF*/ }>> p;
}

我不知道上下文，但通常你不需要任何自定义仿函数类型(最好立即使用模板，查看来自 STL 的任何示例)或 std::function.