Пространства имён
Варианты
Действия

std::is_reference

Материал из cppreference.com
< cpp‎ | types
 
 
Библиотека метапрограммирования
Свойства типов
Категории типов
(C++11)
(C++14)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
is_reference
(C++11)
Свойства типов
(C++11)
(C++11)
(C++14)
(C++11)
(C++11)(до C++20*)
(C++11)(устарело в C++20)
(C++11)
Константы свойств типа
Метафункции
(C++17)
Поддерживаемые операции
Запросы отношений и свойств
Модификации типов
(C++11)(C++11)(C++11)
Преобразования типов
(C++11)(устарело в C++23)
(C++11)(устарело в C++23)
(C++11)
(C++11)
(C++17)

(C++11)(до C++20*)(C++17)
Рациональная арифметика времени компиляции
Целочисленные последовательности времени компиляции
 
Определено в заголовочном файле <type_traits>
template< class T >
struct is_reference;
(начиная с C++11)

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

Если T является ссылочным типом (ссылка lvalue или ссылка rvalue), предоставляет константу-элемент value, равную true. Для любого другого типа value равна false.

Поведение программы, добавляющей специализации для std::is_reference или std::is_reference_v (начиная с C++17) не определено.

Содержание

[править] Параметры шаблона

T тип для проверки

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

template< class T >
inline constexpr bool is_reference_v = is_reference<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>

[править] Возможная реализация

template <class T> struct is_reference      : std::false_type {};
template <class T> struct is_reference<T&>  : std::true_type {};
template <class T> struct is_reference<T&&> : std::true_type {};

[править] Пример

#include <iostream>
#include <type_traits>
 
class A {};
 
int main()
{
#   define REF(x) << #x " ?: " << x << '\n'
    std::cout << std::boolalpha
    REF( std::is_reference_v<A> )
    REF( std::is_reference_v<A&> )
    REF( std::is_reference_v<A&&> )
    REF( std::is_reference_v<long> )
    REF( std::is_reference_v<long&> )
    REF( std::is_reference_v<long&&> )
    REF( std::is_reference_v<double*> )
    REF( std::is_reference_v<double*&> )
    REF( std::is_reference_v<double*&&> );
#   undef REF
}

Вывод:

std::is_reference_v<A> ?: false
std::is_reference_v<A&> ?: true
std::is_reference_v<A&&> ?: true
std::is_reference_v<long> ?: false
std::is_reference_v<long&> ?: true
std::is_reference_v<long&&> ?: true
std::is_reference_v<double*> ?: false
std::is_reference_v<double*&> ?: true
std::is_reference_v<double*&&> ?: true

[править] Смотрите также

проверяет, является ли тип левосторонней ссылкой
(шаблон класса) [править]
проверяет, является ли тип правосторонней ссылкой
(шаблон класса) [править]