std::is_function

 

C++

Язык

Заголовочные файлы

Концепты

Поддержка языка

Ошибка

Утилиты

Строки

Контейнеры

Алгоритмы

Итераторы

Работа с числами

Ввод/вывод

Локализация

Регулярные выражения (C++11)

Атомарные операции (C++11)

Потоки (C++11)

Файловая система (C++17)

Технические спецификации

 

Утилиты библиотеки

Поддежка типов (базовые типы, RTTI, type traits)

Динамическое управление памятью

Обработка ошибок

Управление жизненным циклом программы

Функции с переменным числом аргументов

Дата и время

Функциональные объекты

initializer_list (C++11)

bitset

hash (C++11)

Реляционные операторы

rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>=

Пары и кортежи

pair

tuple (C++11)

piecewise_construct_t (C++11)

piecewise_construct (C++11)

Обмен, передача и перемещение

swap

forward (C++11)

move (C++11)

move_if_noexcept (C++11)

declval (C++11)

 

Поддержка типов

Основные типы Оригинал: Basic types Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Основные типы
Исправлены типы целых ширину (C++11)
ptrdiff_t size_t max_align_t (C++11)	nullptr_t (C++11) offsetof NULL
Числовые пределы Оригинал: Numeric limits Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
numeric_limits
С числовым ограничивает интерфейс
Время тип информации Оригинал: Runtime type information Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
type_info type_index (C++11)	bad_typeid bad_cast
Тип черты Оригинал: Type traits Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Первичные категории типа Оригинал: Primary type categories Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_void (C++11) is_array (C++11) is_pointer (C++11) is_enum (C++11) is_union (C++11) is_class (C++11) is_function (C++11)	is_object (C++11) is_scalar (C++11) is_compound (C++11) is_integral (C++11) is_floating_point (C++11) is_fundamental (C++11) is_arithmetic (C++11)
is_reference (C++11)
is_lvalue_reference (C++11)
is_rvalue_reference (C++11)
is_member_pointer (C++11)
is_member_object_pointer (C++11)
is_member_function_pointer (C++11)

Тип свойства Оригинал: Type properties Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_const (C++11) is_volatile (C++11) is_pod (C++11) is_empty (C++11) is_polymorphic (C++11) is_abstract (C++11)	is_trivial (C++11) is_trivially_copyable (C++11) is_standard_layout (C++11) is_literal_type (C++11) is_signed (C++11) is_unsigned (C++11)

Поддерживаемые операции Оригинал: Supported operations Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_constructibleis_trivially_constructibleis_nothrow_constructible (C++11)(C++11)(C++11)
is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible (C++11)(C++11)(C++11)
is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11)
is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible (C++11)(C++11)(C++11)
is_assignableis_trivially_assignableis_nothrow_assignable (C++11)(C++11)(C++11)
is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable (C++11)(C++11)(C++11)
is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable (C++11)(C++11)(C++11)
is_destructibleis_trivially_destructibleis_nothrow_destructible (C++11)(C++11)(C++11)
has_virtual_destructor (C++11)
Отношения собственности и запросов Оригинал: Relationships and property queries Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_same (C++11) is_base_of (C++11) is_convertible (C++11)	alignment_of (C++11) rank (C++11) extent (C++11)
Тип модификаций Оригинал: Type modifications Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
remove_cvremove_constremove_volatile (C++11)(C++11)(C++11) add_cvadd_constadd_volatile (C++11)(C++11)(C++11) make_signed (C++11) make_unsigned (C++11)	remove_reference (C++11) add_lvalue_referenceadd_rvalue_reference (C++11)(C++11) remove_pointer (C++11) add_pointer (C++11) remove_extent (C++11) remove_all_extents (C++11)
Тип преобразования Оригинал: Type transformations Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
aligned_storage (C++11) aligned_union (C++11) decay (C++11) enable_if (C++11)	conditional (C++11) common_type (C++11) underlying_type (C++11) result_of (C++11)
Характеристики типов констант Оригинал: Type trait constants Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
integral_constant (C++11)

 

Определён в заголовочном файле <type_traits>
template< class T > struct is_function;		(начиная с C++11)

Проверяет является ли T типом функции или нет. Тип std::function, лямбда-выражения, классы с перегруженным operator() и указатели на функции не считаются за тип функции. Предоставляет константу-член, которая будет равна true, если T является типом функции. Иначе value будет равна false.

Аргумент шаблона

T

—

Тип для проверки

Вспомогательная шаблонная переменная

template< class T > constexpr bool is_function_v = is_function<T>::value;		(начиная с C++17)

Унаследован от std::integral_constant

Константы-члены

value [static]	true, если T является типом функции , иначе false (public static константа-член)

Функции-члены

operator bool	Преобразует объект в bool, возвращается value (public функция-член)
operator() (C++14)	Возвращает value (public функция-член)

Типы-члены

Тип	Определение
value_type	bool
type	std::integral_constant<bool, value>

Возможная реализация

// 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 {};

Пример

Запустить этот код

#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

См. также

Шаблон:cpp/types/dsc is callable

is_object (C++11)	Проверяет является ли тип объектным или нет (шаблон класса)
is_class (C++11)	Проверяет является ли тип типом класса (но не объединения) или нет (шаблон класса)
std::experimental::is_function_v (library fundamentals TS)	Шаблонная переменная, являющая псевдонимом для std::is_function::value (шаблонная переменная)