std:: reference_constructs_from_temporary

is_constructible is_trivially_constructible is_nothrow_constructible (C++11) (C++11) (C++11)
is_default_constructible is_trivially_default_constructible is_nothrow_default_constructible (C++11) (C++11) (C++11)
is_copy_constructible is_trivially_copy_constructible is_nothrow_copy_constructible (C++11) (C++11) (C++11)
is_move_constructible is_trivially_move_constructible is_nothrow_move_constructible (C++11) (C++11) (C++11)
is_assignable is_trivially_assignable is_nothrow_assignable (C++11) (C++11) (C++11)

is_copy_assignable is_trivially_copy_assignable is_nothrow_copy_assignable (C++11) (C++11) (C++11)
is_move_assignable is_trivially_move_assignable is_nothrow_move_assignable (C++11) (C++11) (C++11)
is_destructible is_trivially_destructible is_nothrow_destructible (C++11) (C++11) (C++11)
has_virtual_destructor (C++11)
is_swappable_with is_swappable is_nothrow_swappable_with is_nothrow_swappable (C++17) (C++17) (C++17) (C++17)

Relationships and property queries

is_same (C++11)
is_convertible is_nothrow_convertible (C++11) (C++20)
is_layout_compatible (C++20)
is_pointer_interconvertible_base_of (C++20)
is_pointer_interconvertible_with_class (C++20)
is_corresponding_member (C++20)
reference_constructs_from_temporary (C++23)
reference_converts_from_temporary (C++23)

is_base_of (C++11)
is_virtual_base_of (C++26)
alignment_of (C++11)
rank (C++11)
extent (C++11)
is_invocable is_invocable_r is_nothrow_invocable is_nothrow_invocable_r (C++17) (C++17) (C++17) (C++17)

Type modifications

remove_cv remove_const remove_volatile (C++11) (C++11) (C++11)
add_cv add_const add_volatile (C++11) (C++11) (C++11)
make_signed (C++11)
make_unsigned (C++11)

remove_reference (C++11)
add_lvalue_reference add_rvalue_reference (C++11) (C++11)
remove_pointer (C++11)
add_pointer (C++11)
remove_extent (C++11)
remove_all_extents (C++11)

Type transformations

aligned_storage (C++11) (deprecated in C++23)
aligned_union (C++11) (deprecated in C++23)
decay (C++11)
remove_cvref (C++20)
enable_if (C++11)
void_t (C++17)

conditional (C++11)
common_type (C++11)
common_reference (C++20)
underlying_type (C++11)
result_of invoke_result (C++11) ( until C++20* ) (C++17)
type_identity (C++20)

Compile-time rational arithmetic

Compile-time integer sequences

integer_sequence

(C++14)

Defined in header `<type_traits>`
template < class T, class U > struct reference_constructs_from_temporary ;		(since C++23)

Let V be std:: remove_cv_t < U > if U is a scalar type or cv void , or U otherwise. If T is a reference type, and given a hypothetic expression e such that decltype ( e ) is V , the variable definition T ref ( e ) ; is well-formed and binds a temporary object to ref , then provides the member constant value equal to true . Otherwise, value is false .

If T is an lvalue reference type to a const- but not volatile-qualified object type or an rvalue reference type, both std:: remove_reference_t < T > and std:: remove_reference_t < U > shall be complete types , cv void , or an arrays of unknown bound ; otherwise the behavior is undefined.

If an instantiation of a template above depends, directly or indirectly, on an incomplete type, and that instantiation could yield a different result if that type were hypothetically completed, the behavior is undefined.

If the program adds specializations for std::reference_constructs_from_temporary or std::reference_constructs_from_temporary_v , the behavior is undefined.

Helper variable template

template < class T, class U > inline constexpr bool reference_constructs_from_temporary_v = std :: reference_constructs_from_temporary < T, U > :: value ;		(since C++23)

Inherited from std:: integral_constant

Member constants

value

[static]

true if

is a reference type, a

value can be bound to

in direct-initialization, and a temporary object would be bound to the reference, false otherwise
(public static member constant)

Member functions

operator bool	converts the object to bool , returns value (public member function)
operator() (C++14)	returns value (public member function)

Member types

Type	Definition
`value_type`	bool
`type`	std:: integral_constant < bool , value >

Notes

std::reference_constructs_from_temporary can be used for rejecting some cases that always produce dangling references.

It is also possible to use member initializer list to reject binding a temporary object to a reference if the compiler has implemented CWG1696 .

Example

Run this code

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

Compiler support
Freestanding and hosted
Language
Standard library
Standard library headers
Named requirements
Feature test macros (C++20)
Language support library
Concepts library (C++20)
Metaprogramming library (C++11)
Diagnostics library
General utilities library
Strings library
Containers library
Iterators library
Ranges library (C++20)
Algorithms library
Numerics library
Localizations library
Input/output library
Filesystem library (C++17)
Regular expressions library (C++11)
Concurrency support library (C++11)
Execution support library (C++26)
Technical specifications
Symbols index
External libraries

is_constructible is_trivially_constructible is_nothrow_constructible (C++11) (C++11) (C++11)	checks if a type has a constructor for specific arguments (class template)
(constructor)	constructs a new `tuple` (public member function of `std::tuple<Types...>` )
(constructor)	constructs new `pair` (public member function of `std::pair<T1,T2>` )
make_from_tuple (C++17)	construct an object with a tuple of arguments (function template)