Example:is_function.cpp
#include <iostream>
template<typename T>
struct is_function {
static const bool value = false;
};
template<typename T>
struct is_function<T(void)> {
static const bool value = true;
};
template<typename T, typename A0>
struct is_function<T(A0)> {
static const bool value = true;
};
template<typename T, typename A0, typename A1>
struct is_function<T(A0, A1)> {
static const bool value = true;
};
template<typename T, typename A0, typename A1, typename A2>
struct is_function<T(A0, A1, A2)> {
static const bool value = true;
};
template<typename T, typename A0, typename A1, typename A2, typename A3>
struct is_function<T(A0, A1, A2, A3)> {
static const bool value = true;
};
template<typename T, typename A0, typename A1, typename A2, typename A3, typename A4>
struct is_function<T(A0, A1, A2, A3, A4)> {
static const bool value = true;
};
template<typename T, typename A0, typename A1, typename A2, typename A3, typename A4,
typename A5>
struct is_function<T(A0, A1, A2, A3, A4, A5)> {
static const bool value = true;
};
template<typename T, typename A0, typename A1, typename A2, typename A3, typename A4,
typename A5, typename A6>
struct is_function<T(A0, A1, A2, A3, A4, A5, A6)> {
static const bool value = true;
};
template<typename T, typename A0, typename A1, typename A2, typename A3, typename A4,
typename A5, typename A6, typename A7>
struct is_function<T(A0, A1, A2, A3, A4, A5, A6, A7)> {
static const bool value = true;
};
template<typename T, typename A0, typename A1, typename A2, typename A3, typename A4,
typename A5, typename A6, typename A7, typename A8>
struct is_function<T(A0, A1, A2, A3, A4, A5, A6, A7, A8)> {
static const bool value = true;
};
template<typename T, typename A0, typename A1, typename A2, typename A3, typename A4,
typename A5, typename A6, typename A7, typename A8, typename A9>
struct is_function<T(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9)> {
static const bool value = true;
};
int add(int a, int b) { return a+b; };
int main() {
int i,
*pi,
f(),
*fpi(int),
(*pif)(const char *, const char *),
(*fpif(int))(int);
std::cout << is_function<int>::value << std::endl; //false
std::cout << is_function<int(int)>::value << std::endl; //true
std::cout << is_function<decltype(add)>::value << std::endl; //true
std::cout << is_function<decltype(fpif)>::value << std::endl; //true
}
g++ -std=c++11 is_function.cpp
Example:is_function.cpp
#include <iostream>
#include <type_traits>
// primary template
template<class>
struct is_function : std::false_type { };
// specialization for regular functions
template<class Ret, class... Args>
struct is_function<Ret(Args...)> : std::true_type {};
// specialization for variadic functions such as std::printf
template<class Ret, class... Args>
struct is_function<Ret(Args......)> : std::true_type {};
// specialization for function types that have cv-qualifiers
template<class Ret, class... Args>
struct is_function<Ret(Args...) const> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) volatile> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) const volatile> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) const> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) volatile> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) const volatile> : std::true_type {};
// specialization for function types that have ref-qualifiers
template<class Ret, class... Args>
struct is_function<Ret(Args...) &> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) const &> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) volatile &> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) const volatile &> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) &> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) const &> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) volatile &> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) const volatile &> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) &&> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) const &&> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) volatile &&> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) const volatile &&> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) &&> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) const &&> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) volatile &&> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) const volatile &&> : std::true_type {};
// specializations for noexcept versions of all the above (C++17 and later)
template<class Ret, class... Args>
struct is_function<Ret(Args...) noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) const noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) volatile noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) const volatile noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) const noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) volatile noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) const volatile noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) & noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) const & noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) volatile & noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) const volatile & noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) & noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) const & noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) volatile & noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) const volatile & noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) && noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) const && noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) volatile && noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...) const volatile && noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) && noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) const && noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) volatile && noexcept> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args......) const volatile && noexcept> : std::true_type {};
struct A {
int fun() const&;
};
template<typename>
struct PM_traits {};
template<class T, class U>
struct PM_traits<U T::*> {
using member_type = U;
};
int f();
int main()
{
std::cout << std::boolalpha;
std::cout << std::is_function<A>::value << '\n'; //false
std::cout << std::is_function<int(int)>::value << '\n'; //true
std::cout << std::is_function<decltype(f)>::value << '\n'; //true
std::cout << std::is_function<int>::value << '\n'; //false
using T = PM_traits<decltype(&A::fun)>::member_type; // T is int() const&
std::cout << std::is_function<T>::value << '\n'; //true
}
g++ -std=c++11 is_function.cpp