iv::concepts::defaultInitializable Concept Reference

#include <concepts.hpp>

Concept definition

template<class T>
concept iv::concepts::defaultInitializable =  iv::concepts::constructibleFrom<T> && requires { T {}; } &&
                               requires { ::new (static_cast<void *>(nullptr)) T; }