The concept move_constructible is satisfied if T is a reference type, or if it is an object type where an object of that type can be constructed from an rvalue of that type in both direct- and copy-initialization contexts, with the usual semantics. More...

#include <move_constructible.hpp>

Concept definition

template<typename T>

concept etl::move_constructible = constructible_from<T, T> && convertible_to<T, T>

etl::constructible_from

The constructible_from concept specifies that a variable of type T can be initialized with the given ...

Definition constructible_from.hpp:15

etl::convertible_to

The concept convertible_to<From, To> specifies that an expression of the same type and value category...

Definition convertible_to.hpp:18

etl::move_constructible

The concept move_constructible is satisfied if T is a reference type, or if it is an object type wher...

Definition move_constructible.hpp:20

Detailed Description

The concept move_constructible is satisfied if T is a reference type, or if it is an object type where an object of that type can be constructed from an rvalue of that type in both direct- and copy-initialization contexts, with the usual semantics.

https://en.cppreference.com/w/cpp/concepts/move_constructible