std::reference_constructs_from_temporary

template< class T, class U >
struct reference_constructs_from_temporary;

Пусть 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;

Примечания

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() {}

См. также