Constructible.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, class... Args>
        struct Constructible{
            constexpr operator bool() const{
                using namespace scl::tools;
                static_require(Destructible<T>{});
                static_assert(
                    meta::is_constructible<T, Args...>(),
                    "Constructible<T, Args...>: T is not constructible w/ Args..."
                );
                return true;
            }
        };
    }
}