require.h

Go to the documentation of this file.

#pragma once

#include <scl/concepts/is_concept.h>

namespace scl{
    namespace concepts{
#ifdef SCL_CONCEPTS_REQUIRE_IS_VOID

        template <class ConceptType>
        constexpr void require(ConceptType c){
            static_assert(is_concept<ConceptType>(), "Cannot require a non Concept type");
            static_assert(c, "");
        }
#else

        template <class ConceptType>
        constexpr bool require(ConceptType c){
            static_assert(is_concept<ConceptType>(), "Cannot require a non Concept type");
            static_assert(c, "");
            /*
             Concepts are designed as (usually) default constructible
             with a defined operator bool() that asserts the different requirements
             for the concept
             */
            return true;
        }
#endif
    }
}