std::reference_constructs_from_temporary

Определено в заголовке `<type_traits>`
template< class T, class U > struct reference_constructs_from_temporary;		(с C++23)

Пусть V равно std::remove_cv_t<U>, если U является скалярным типом или cv void, или U в противном случае. Если T является типом ссылки, и дано гипотетическое выражение e, такое что decltype(e) равно V, определение переменной T ref(e); корректно и связывает временный объект с ref, затем предоставляет член-константу value равную true. В противном случае, value равно false.

Если T является типом ссылки на lvalue на объект типа, квалифицированный как const, но не volatile, или типом ссылки на rvalue, то оба std::remove_reference_t<T> и std::remove_reference_t<U> должны быть полными типами, cv void, или массивами неопределённой длины; в противном случае поведение не определено.

Если экземпляр шаблона выше напрямую или косвенно зависит от неполного типа, и этот экземпляр может дать другой результат, если этот тип был гипотетически завершён, поведение не определено.

Поведение программы, добавляющей специализации для std::reference_constructs_from_temporary или std::reference_constructs_from_temporary_v, не определено.

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

template< class T, class U >
inline constexpr bool reference_constructs_from_temporary_v =
    std::reference_constructs_from_temporary<T, U>::value;

(с C++23)

Наследуется от std::integral_constant

Члены-константы

value

[static]

true если T является типом ссылки, значение U может быть привязано к T при прямой инициализации, и временный объект будет привязан к ссылке, false в противном случае
(публичная статическая константа-член)

Члены-функции

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

Типы-члены

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

Примечания

std::reference_constructs_from_temporary может использоваться для отклонения некоторых случаев, которые всегда производят висящие ссылки.

Также возможно использовать список инициализаторов членов для отклонения привязки временного объекта к ссылке, если компилятор реализовал CWG1696.

Пример

#include <type_traits>
 
static_assert(std::reference_constructs_from_temporary_v<int&&, int> == true);
static_assert(std::reference_constructs_from_temporary_v<const int&, int> == true);
static_assert(std::reference_constructs_from_temporary_v<int&&, int&&> == false);
static_assert(std::reference_constructs_from_temporary_v<const int&, int&&> == false);
static_assert(std::reference_constructs_from_temporary_v<int&&, long&&> == true);
static_assert(std::reference_constructs_from_temporary_v<int&&, long> == true);
 
int main() {}

См. также

is_constructibleis_trivially_constructibleis_nothrow_constructible (C++11)(C++11)(C++11)	проверяет, имеет ли тип конструктор для конкретных аргументов (шаблон класса)
(конструктор)	создаёт новую кортеж (публичная функция-член `std::tuple<Types...>`)
(конструктор)	создаёт новую пару (публичная функция-член `std::pair<T1,T2>`)
make_from_tuple (C++17)	создаёт объект с кортежем аргументов (шаблон функции)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/types/reference_constructs_from_temporary