DefaultConstructible.h

Go to the documentation of this file.

#pragma once

#include <scl/tools/meta/type_check.h>
//#include <scl/concepts/require.h>
#include <scl/macros.h>
#include <scl/concepts/Destructible.h>

namespace scl{
    namespace concepts{
        template <class T>
        struct DefaultConstructible{
            constexpr operator bool() const{
                using namespace scl::tools;
                static_require(Destructible<T>{});
                static_assert(meta::is_default_constructible<T>(), "DefaultConstructible<T>: T is not default constructible");
                return true;
            }
        };
    }
}