std:: is_pointer

std::is_pointer является UnaryTypeTrait .

Проверяет, является ли T указателем на объект или функцию (включая указатель на void , но исключая указатель на член) или его cv-квалифицированной версией. Предоставляет константу-член value , которая равна true , если T является типом указателя на объект/функцию. В противном случае value равна false .

Если программа добавляет специализации для std::is_pointer или std::is_pointer_v , поведение не определено.

Параметры шаблона

Шаблон вспомогательной переменной

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

template<class T>
struct is_pointer : std::false_type {};
template<class T>
struct is_pointer<T*> : std::true_type {};
template<class T>
struct is_pointer<T* const> : std::true_type {};
template<class T>
struct is_pointer<T* volatile> : std::true_type {};
template<class T>
struct is_pointer<T* const volatile> : std::true_type {};

` и `` был сохранен без изменений, как и требовалось. HTML-разметка и атрибуты также остались нетронутыми.

Пример

#include <type_traits>
int main()
{
    struct A
    {
        int m;
        void f() {}
    };
    int A::*mem_data_ptr = &A::m;     // указатель на член данных
    void (A::*mem_fun_ptr)() = &A::f; // указатель на член-функцию
    static_assert(
           ! std::is_pointer<A>::value
        && ! std::is_pointer_v<A>    // то же самое, что выше, но в C++17!
        && ! std::is_pointer<A>()    // то же самое, что выше, используя унаследованный operator bool
        && ! std::is_pointer<A>{}    // аналогично
        && ! std::is_pointer<A>()()  // то же самое, что выше, используя унаследованный operator()
        && ! std::is_pointer<A>{}()  // аналогично
        &&   std::is_pointer_v<A*>
        &&   std::is_pointer_v<A const* volatile>
        && ! std::is_pointer_v<A&>
        && ! std::is_pointer_v<decltype(mem_data_ptr)>
        && ! std::is_pointer_v<decltype(mem_fun_ptr)>
        &&   std::is_pointer_v<void*>
        && ! std::is_pointer_v<int>
        &&   std::is_pointer_v<int*>
        &&   std::is_pointer_v<int**>
        && ! std::is_pointer_v<int[10]>
        && ! std::is_pointer_v<std::nullptr_t>
        &&   std::is_pointer_v<void (*)()>
    );
}

Смотрите также