default_initializable< T > Struct Template Reference

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

Inheritance diagram for default_initializable< T >:

Detailed Description

template<typename T>
struct vccc::default_initializable< 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 default_initializable concept checks whether variables of type T can be

• value-initialized (T() is well-formed);
• direct-list-initialized from an empty initializer list (T{} is well-formed); and
• default-initialized (T t; is well-formed).

Access checking is performed as if in a context unrelated to T. Only the validity of the immediate context of the variable initialization is considered.

See also

std::default_initializable

constructible_from

---

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

• include/vccc/__concepts/default_initializable.hpp