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

#include <copy_constructible.hpp>

Concept definition

template<typename T>
concept etl::copy_constructible = 
  move_constructible<T> and
  constructible_from<T, T&> and convertible_to<T&, T> and
  constructible_from<T, const T&> and convertible_to<const T&, T> and
  constructible_from<T, const T> and convertible_to<const T, T>

Detailed Description

The concept copy_constructible is satisfied if T is an lvalue reference type, or if it is a move_constructible object type where an object of that type can constructed from a (possibly const) lvalue or const rvalue of that type in both direct- and copy-initialization contexts with the usual semantics (a copy is constructed with the source unchanged).