copy_constructible< T > Struct Template Reference

#include </home/jarvis/actions-runner/jarvis-vccc-2/_work/vccc/vccc/include/vccc/__concepts/copy_constructible.hpp>

Inheritance diagram for copy_constructible< T >:

Detailed Description

template<typename T>
struct vccc::copy_constructible< T >

template<typename T, bool = is_referencable<T>::value>
struct copy_constructible_impl
    : conjunction<
        move_constructible<T>,
        constructible_from<T, T&>, convertible_to<T&, T>,
        constructible_from<T, const T&>, convertible_to<const T&, T>,
        constructible_from<T, const T>, convertible_to<const T, T>
      > {};

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).

See also

std::copy_constructible

---

The documentation for this struct was generated from the following file:

• include/vccc/__concepts/copy_constructible.hpp