c++ - 无法检查模板参数是否是传递函数标识符时获得的参数

Question

我想实现以下功能:

template<typename Function, typename... Parameters>
inline void foo(
    const Function&   kernel_function,
    bar_t             bar
    Parameters...     parameters)

{
    static_assert(/* magic */,
        "You can only foo() a function, not values of any other type");
    / * etc. etc. */
}   

我只需要用函数标识符或函数指针调用它:没有 lambad 或方法或类 operator()或 std::function秒。我应该更换什么 /* magic */和？仅使用 std::is_function似乎不起作用。

Answer 1

在 <type_traits> 我们有 std::is_function 返回 true如果你传递给它一个实际的函数和false使用 lambda 表达式，类重载 operator()和指向函数的指针。我们还有 std::is_pointer 和 std::remove_pointer 可用于检查和删除函数指针中的指针类型，以使用 std::is_function 测试指针.使用那些你的断言看起来像

static_assert(std::is_function<Function>::value || 
    (std::is_pointer<Function>::value &&
    std::is_function<std::remove_pointer<Function>::type>::value),
    "You can only foo() a function, not values of any other type");