检查 function 模板是否可调用

Question

我有一个 function 模板，如下面的最小片段所示。 我想在拨打电话之前测试它是否可以调用：

#include <concepts>

void f(auto a) {}
// void f(int a) {} // This is ok

static_assert(std::invocable<decltype(f), int>);

但它不会编译错误

error: 'decltype' cannot resolve address of overloaded function

---

或者，

void f(auto a) {}

template <auto F> concept callable = requires { {F(27)}; };

static_assert(callable<f>);

给出错误

error: unable to deduce 'auto' from 'f'

---

这是 C++20 语言的限制吗？ 有没有办法强制实例化f<int> ？ 是否有替代方法可以在不更改f的情况下编译检查？

Answer 1

一个 function 模板只有调用它才能进行模板参数推导。 因此，如果您不调用它，您可以使用 function 模板名称做的唯一事情就是给它您想要的模板参数（从而解析为实际函数）。