除了指向数据成员的指针之外，如何只接受模板中的可调用对象？

Question

I want to create a templated function which accepts and invokes a callable object(except pointer to data members) with arguments to pass to it. I want the template to only accept the following types:-

1. Pointers to functions
2. Pointers to member functions
3. Lambda
4. bind expressions
5. std::function
6. Functors

Like this...

template< class Function, class... Args >
explicit X( Function&& f, Args&&... args );

But the first argument is accepting any type and I want to create some validation such that it only accept callable objects and throw error(preferably in compile-time) if it invalidates.

Answer 1

There's a C++20 concept just for this purpose:

template<class Function, class... Args>
    requires std::invocable<Function, Args...>
void X(Function&& f, Args&&... args);