std::is_function
Defined in header <type_traits> | ? | ? |
|---|---|---|
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<T>::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挥发性&<；<；>：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。
本文档系腾讯云开发者社区成员共同维护，如有问题请联系 cloudcommunity@tencent.com
