sl::nullables::nullable Concept Reference

Checks whether a type is nullable. More...

#include <base.hpp>

Concept definition

template<class T>
concept sl::nullables::nullable =  input_nullable<T>
                        && concepts::initializes<decltype(null_v<T>), std::remove_cvref_t<T>>
                        && std::is_assignable_v<std::remove_cvref_t<T>&, decltype(null_v<T>)>

Detailed Description

Checks whether a type is nullable.

A type is considered as nullable if:

• it satisfies the input_nullable concept
• it is initializable by its null-object and
• it is assignable by its null-object.

  Template Parameters

  T	Type to check