C++ å‚考手册
- C++11
- C++14
- C++17
- C++20
- C++ 编译器支æŒæƒ…况表
- 独立与宿主实现
- C++ è¯è¨€
- C++ 关键è¯
- 预处ç†å™¨
- C++ æ ‡å‡†åº“å¤´æ–‡ä»¶
- å…·åè¦æ±‚
- 功能特性测试 (C++20)
- 工具库
- 类型支æŒï¼ˆåŸºæœ¬ç±»åž‹ã€RTTIã€ç±»åž‹ç‰¹æ€§ï¼‰
- std::result_of, std::invoke_result
- std::integral_constant
- std::is_constant_evaluated
- std::max_align_t
- offsetof
- NULL
- std::bad_typeid
- std::bad_cast
- std::numeric_limits
- std::type_info
- std::ptrdiff_t
- std::byte
- std::conjunction
- std::disjunction
- std::negation
- std::is_swappable_with, std::is_swappable, std::is_nothrow_swappable_with, std::is_nothrow_swappable
- std::is_invocable, std::is_invocable_r, std::is_nothrow_invocable, std::is_nothrow_invocable_r
- std::is_aggregate
- std::has_unique_object_representations
- std::endian
- std::remove_cvref
- std::type_index
- C 数值æžé™æŽ¥å£
- 定宽整数类型 (C++11 起)
- std::is_bounded_array
- std::is_unbounded_array
- std::size_t
- std::nullptr_t
- std::is_integral
- std::rank
- std::is_void
- std::is_null_pointer
- std::is_array
- std::is_pointer
- std::is_enum
- std::is_union
- std::is_class
- std::is_function
- std::is_object
- std::is_scalar
- std::is_compound
- std::is_floating_point
- std::is_fundamental
- std::is_arithmetic
- std::is_reference
- std::is_lvalue_reference
- std::is_rvalue_reference
- std::is_member_pointer
- std::is_member_object_pointer
- std::is_member_function_pointer
- std::is_const
- std::is_volatile
- std::is_empty
- std::is_polymorphic
- std::is_final
- std::is_abstract
- std::is_trivial
- std::is_trivially_copyable
- std::is_standard_layout
- std::is_literal_type
- std::is_pod
- std::is_signed
- std::is_unsigned
- std::is_constructible, std::is_trivially_constructible, std::is_nothrow_constructible
- std::is_default_constructible, std::is_trivially_default_constructible, std::is_nothrow_default_constructible
- std::is_copy_constructible, std::is_trivially_copy_constructible, std::is_nothrow_copy_constructible
- std::is_move_constructible, std::is_trivially_move_constructible, std::is_nothrow_move_constructible
- std::is_assignable, std::is_trivially_assignable, std::is_nothrow_assignable
- std::is_copy_assignable, std::is_trivially_copy_assignable, std::is_nothrow_copy_assignable
- std::is_move_assignable, std::is_trivially_move_assignable, std::is_nothrow_move_assignable
- std::is_destructible, std::is_trivially_destructible, std::is_nothrow_destructible
- std::has_virtual_destructor
- std::is_same
- std::is_base_of
- std::is_convertible, std::is_nothrow_convertible
- std::is_layout_compatible
- std::is_pointer_interconvertible_base_of
- std::is_pointer_interconvertible_with_class
- std::is_corresponding_member
- std::alignment_of
- std::extent
- std::remove_cv, std::remove_const, std::remove_volatile
- std::add_cv, std::add_const, std::add_volatile
- std::make_signed
- std::make_unsigned
- std::remove_reference
- std::add_lvalue_reference, std::add_rvalue_reference
- std::remove_pointer
- std::add_pointer
- std::remove_extent
- std::remove_all_extents
- std::aligned_storage
- std::aligned_union
- std::decay
- std::enable_if
- std::void_t
- std::conditional
- std::common_type
- std::common_reference
- std::underlying_type
- std::type_identity
- 注释
- 概念库 (C++20)
- 错误处ç†
- 动æ€å†…å˜ç®¡ç†
- 日期和时间工具
- å—符串库
- 容器库
- è¿ä»£å™¨åº“
- 范围库 (C++20)
- 算法库
- 数值库
- 输入/输出库
- 文件系统库
- 本地化库
- æ£åˆ™è¡¨è¾¾å¼åº“
- 原åæ“作库
- 线程支æŒåº“
- 实验性 C++ 特性
- 有用的资æº
- 索引
- std 符å·ç´¢å¼•
- åç¨‹æ”¯æŒ (C++20)
- C++ 关键è¯
ä½ç½®ï¼šé¦–页 > C++ å‚考手册 >类型支æŒï¼ˆåŸºæœ¬ç±»åž‹ã€RTTIã€ç±»åž‹ç‰¹æ€§ï¼‰ > std::is_function
std::is_function
检查 T 是å¦ä¸ºå‡½æ•°ç±»åž‹ã€‚如 std::function 〠lambda ã€æœ‰é‡è½½ operator() 的类和指å‘函数指针ä¸æ˜¯å‡½æ•°ç±»åž‹ã€‚è‹¥ T 为函数类型，则æä¾›ç‰äºŽ true çš„æˆå‘˜å¸¸é‡ value 。å¦åˆ™ï¼Œ value ç‰äºŽ false 。
æ·»åŠ is_function 或 is_function_v (C++17 èµ·) 的特化的程åºè¡Œä¸ºæœªå®šä¹‰ã€‚
模æ¿å½¢å‚
| T | - | è¦æ£€æŸ¥çš„类型 |
辅助å˜é‡æ¨¡æ¿
| template< class T > inline constexpr bool is_function_v = is_function<T>::value; |
(C++17 èµ·) | |
继承自 std::integral_constant
æˆå‘˜å¸¸é‡
| value [é™æ€] |
è‹¥ T 为函数类型则为 true ，å¦åˆ™ä¸º false (公开é™æ€æˆå‘˜å¸¸é‡) |
æˆå‘˜å‡½æ•°
| operator bool |
转æ¢å¯¹è±¡ä¸º bool ，返回 value (公开æˆå‘˜å‡½æ•°) |
| operator() (C++14) |
返回 value (公开æˆå‘˜å‡½æ•°) |
æˆå‘˜ç±»åž‹
| Â | |
| 类型 | 定义 |
value_type
|
bool
|
type
|
std::integral_constant<bool, value> |
注解
std::is_function 能以更简å•çš„æ–¹å¼å®žçŽ°ã€‚ libc++ 〠libstdc++ åŠ MS STL 的新版本使用类似以下的实现：
template<class T> struct is_function : std::integral_constant< bool, !std::is_const<const T>::value && !std::is_reference<T>::value > {};
下é¢å±•ç¤ºçš„实现是为教å¦ç›®çš„çš„ï¼Œå› ä¸ºå®ƒä¼šå±•çŽ°å¤§é‡çš„函数类型ç§ç±»ã€‚
å¯èƒ½çš„实现
// åˆç‰æ¨¡æ¿ template<class> struct is_function : std::false_type { };  // 对常规函数的特化 template<class Ret, class... Args> struct is_function<Ret(Args...)> : std::true_type {};  // 对å˜å‚数函数，如 std::printf 的特化 template<class Ret, class... Args> struct is_function<Ret(Args......)> : std::true_type {};  // 对拥有 cv é™å®šç¬¦çš„函数类型的特化 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 {};  // 对拥有引用é™å®šç¬¦çš„函数类型的特化 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 {};  // 对所有以上的 noexcept 版本的特化（ C++17 åŠä¹‹åŽï¼‰  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 {}; |
示例
è¿è¡Œæ¤ä»£ç
#include <iostream> #include <type_traits>  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'; 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';  using T = PM_traits<decltype(&A::fun)>::member_type; // T 为 int() const& std::cout << std::is_function<T>::value << '\n'; }
输出：
false true true false true
å‚阅
| 检查类型能å¦ä»¥ç»™å®šçš„实å‚类型调用（如åŒä»¥ std::invoke） (类模æ¿) | |
| (C++11) |
检查是å¦æ˜¯å¯¹è±¡ç±»åž‹ (类模æ¿) |
| (C++11) |
检查类型是å¦éžè”åˆç±»ç±»åž‹ (类模æ¿) |