76 lines
1.6 KiB
C++
76 lines
1.6 KiB
C++
|
|
#pragma once
|
|
|
|
#if !defined(MIJIN_UTIL_CONCEPTS_HPP_INCLUDED)
|
|
#define MIJIN_UTIL_CONCEPTS_HPP_INCLUDED 1
|
|
|
|
#include <type_traits>
|
|
#include "./traits.hpp"
|
|
|
|
namespace mijin
|
|
{
|
|
|
|
//
|
|
// public defines
|
|
//
|
|
|
|
//
|
|
// public constants
|
|
//
|
|
|
|
//
|
|
// public types
|
|
//
|
|
|
|
template<typename T>
|
|
concept standard_type = std::is_standard_layout_v<T>;
|
|
|
|
template<typename T>
|
|
concept trivial_type = std::is_trivial_v<T>;
|
|
|
|
template<typename T>
|
|
concept enum_type = std::is_enum_v<T>;
|
|
|
|
template<typename T>
|
|
concept arithmetic_type = std::is_arithmetic_v<T>;
|
|
|
|
template<typename T>
|
|
concept pointer_type = std::is_pointer_v<T>;
|
|
|
|
template<typename T>
|
|
concept reference_type = std::is_reference_v<T>;
|
|
|
|
namespace impl
|
|
{
|
|
template<typename T>
|
|
using pointer_t = typename T::pointer;
|
|
}
|
|
|
|
template<typename T>
|
|
concept allocator_type = requires(T alloc, typename T::value_type value, detect_or_t<typename T::value_type*, impl::pointer_t, T> pointer, int count)
|
|
{
|
|
typename T::value_type;
|
|
{ alloc.allocate(count) } -> std::same_as<decltype(pointer)>;
|
|
{ alloc.deallocate(pointer, count) } -> std::same_as<void>;
|
|
} && !std::is_const_v<typename T::value_type> && !std::is_volatile_v<typename T::value_type>;
|
|
|
|
template<typename T, typename TOther>
|
|
concept allocator_type_for = allocator_type<T> && std::is_same_v<typename T::value_type, TOther>;
|
|
|
|
template<template<typename> typename T>
|
|
concept allocator_tmpl = allocator_type<T<int>>;
|
|
|
|
template<typename T, typename TData>
|
|
concept deleter_type = requires(T deleter, TData* ptr)
|
|
{
|
|
deleter(ptr);
|
|
};
|
|
|
|
//
|
|
// public functions
|
|
//
|
|
|
|
} // namespace mijin
|
|
|
|
#endif // !defined(MIJIN_UTIL_CONCEPTS_HPP_INCLUDED)
|