std::is_member_pointer
Определено в заголовке <type_traits> | ||
|---|---|---|
template< class T > struct is_member_pointer; | (с C++11) |
std::is_member_pointer является UnaryTypeTrait.
Если T является указателем на нестатическое член-объект или указателем на нестатическую член-функцию, предоставляет константу-член value равную true. Для любого другого типа value равно false.
Поведение программы, добавляющей специализации для std::is_member_pointer или std::is_member_pointer_v не определено.
Параметры шаблона
| T | - | тип для проверки |
Вспомогательная переменная-шаблон
template< class T > inline constexpr bool is_member_pointer_v = is_member_pointer<T>::value; | (с C++17) |
Наследуется от std::integral_constant
Константы-члены
| value
[static] | true если T является типом указателя на член, false в противном случае (общедоступная статическая константа-член) |
Члены-функции
| operator bool | преобразует объект в bool, возвращает value (общедоступная член-функция) |
| operator()
(C++14) | возвращает value (общедоступная член-функция) |
Типы-члены
| Тип | Определение |
|---|---|
value_type | bool |
type | std::integral_constant<bool, value> |
Возможная реализация
template<class T>
struct is_member_pointer_helper : std::false_type {};
template<class T, class U>
struct is_member_pointer_helper<T U::*> : std::true_type {};
template<class T>
struct is_member_pointer : is_member_pointer_helper<typename std::remove_cv<T>::type> {}; |
Пример
#include <type_traits>
class C {};
static_assert(std::is_member_pointer_v<int(C::*)>);
static_assert(!std::is_member_pointer_v<int>);
int main()
{
}См. также
|
(C++11) | проверяет, является ли тип указателем (шаблон класса) |
|
(C++11) | проверяет, является ли тип указателем на нестатическое член-объект (шаблон класса) |
|
(C++11) | проверяет, является ли тип указателем на нестатическую член-функцию (шаблон класса) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/types/is_member_pointer
