std::reference_converts_from_temporary

Определено в заголовке `<type_traits>`
template< class T, class U > struct reference_converts_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_converts_from_temporary или std::reference_converts_from_temporary_v, не определено.

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

template< class T, class U >
inline constexpr bool reference_converts_from_temporary_v =
    std::reference_converts_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_converts_from_temporary может использоваться для отклонения некоторых случаев, которые всегда производят висячие ссылки.

Пример

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

См. также

is_convertibleis_nothrow_convertible (C++11)(C++20)	проверяет, может ли один тип быть преобразован в другой (шаблон класса)
invokeinvoke_r (C++17)(C++23)	вызывает любой вызываемый объект с заданными аргументами и возможностью указать тип возвращаемого значения(с C++23) (шаблон функции)
bind (C++11)	связывает один или несколько аргументов с объектом функции (шаблон функции)
visit (C++17)	вызывает предоставленный функциональный объект с аргументами, хранящимися в одной или нескольких вариантах (шаблон функции)
(конструктор)	создаёт новый экземпляр `std::function` (публичная функция-член `std::function<R(Args...)>` )
(конструктор) (C++23)	создаёт новый объект `std::move_only_function` (публичная функция-член `std::move_only_function` )
(конструктор)	создаёт объект задачи (публичная функция-член `std::packaged_task<R(Args...)>` )

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