std::is_function

STD：：是[医]功能

Defined in header
template< class T > struct is_function;		(since C++11)

检查是否T是函数类型。类型如std::function，lambdas，重载类operator()指向函数的指针不将%27T计算为函数类型。提供成员常量。value等于true，如果T是函数类型。否则，value等于false...

模板参数

T	-	a type to check

辅助变量模板

template< class T > inline constexpr bool is_function_v = is_function::value;		(since C++17)

继承自STD：积分[医]常量

成员常数

value static	true if T is a function type , false otherwise (public static member constant)

成员函数

operator bool	converts the object to bool, returns value (public member function)
operator() (C++14)	returns value (public member function)

成员类型

Type	Definition
value_type	bool
type	std::integral_constant<bool, value>

可能的实施

//主模板<class>结构是[医]功能：STD：：false[医]类型{}；//专门化正则函数模板<类Ret，类...。args>struct是[医]函数<Ret%28Args...%29>：std：：true[医]类型{}；//专门化的变量函数，如std：：printf模板<class Ret，类...。args>struct是[医]函数<Ret%28 Args...%29>：std：：true[医]对于具有cv-限定符模板<class Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 const>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28Args...%29挥发性>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 const挥发性>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 const>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29挥发性>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29const挥发性>：std：：true[医]对于具有ref-限定符模板<class Ret，类...。args>struct是[医]函数<Ret%28 Args...%29&>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 const&>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28Args...%29Volative&>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 const挥发性&>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29&>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 const&>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29挥发性和>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 const挥发性&>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28Args...%29&>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 const&>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28Args...%29Volative&>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 const挥发性&>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29&>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 const&>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29挥发性&>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29挥发&>：std：：true[医]类型{}；//除上述所有%28C++17和以后的%29模板<class Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 no>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 no>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 const no>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 Volativeno>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28Args...%29constVolativeno>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29constno>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 Vativeno>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29不稳定“：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29&no>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 const&no>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 Volative&no>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28Args...%29constVolative&no>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29&no>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 const&no>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29挥发性和无异物>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29const挥发性和无异物>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29&no>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 const&&no以外>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 Volatient&&no>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 const挥发性&&lt；&lt；>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29&no>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29 const&&no>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29挥发性和不除>：std：：true[医]类型{}；模板<类Ret，类...。args>struct是[医]函数<Ret%28 Args...%29const挥发性&&n课特>：std：：true[医]{}型；

*。

例

二次

#include <iostream>
#include <type_traits>
 
struct A {};
 
int f()
{
    return 1;
}
 
int main() 
{
    std::cout << std::boolalpha;
    std::cout << std::is_function<A>::value << '\n';
    std::cout << std::is_function<int(int)>::value << '\n';
    std::cout << std::is_function<decltype(f)>::value << '\n';
    std::cout << std::is_function<int>::value << '\n';
}

二次

产出：

二次

false
true
true
false

二次

另见

is_invocableis_invocable_ris_nothrow_invocableis_nothrow_invocable_r (C++17)	checks if a type can be invoked (as if by std::invoke) with the given argument types (class template)
is_object (C++11)	checks if a type is object type (class template)
is_class (C++11)	checks if a type is a non-union class type (class template)

 © cppreference.com

在CreativeCommonsAttribution下授权-ShareAlike未移植许可v3.0。

http：//en.cppreference.com/w/cpp/type/is[医]功能