is_function

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
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值