dl_concept.h

浏览该文件的文档.

#pragma once
 
#include "system/dl_platform.h"
 
#include <type_traits>
#include <concepts>
 
namespace dl
{
 
template<typename T>
concept PopFrontAble = requires(T x) { x.pop_front(); };
 
template<typename T>
concept IsUnsigned = std::is_unsigned<T>::value;
 
template<typename T>
concept IsSigned = std::is_signed<T>::value;
 
template<typename T>
concept IsInteger = std::is_integral<T>::value;
 
template<typename T>
concept IsReal = std::is_floating_point<T>::value;
 
//标准布局
template<typename T>
concept IsStandardLayout = std::is_standard_layout<T>::value;
 
//平凡类型，比is_standard_layout严格
template<typename T>
concept IsTrivial = std::is_trivial<T>::value;
 
//标准布局 与 平凡类型 的组合
template<typename T>
concept IsPod = std::is_trivial_v<T> && std::is_standard_layout_v<T>;
 
template<typename T>
concept IsNotPod = !std::is_trivial_v<T> || !std::is_standard_layout_v<T>;

template<typename T>
concept IsCopyable = std::is_trivially_copyable<T>::value;

template<typename T>
concept IsBase = std::is_fundamental<T>::value;

template<typename T>
concept IsPointer = std::is_pointer<T>::value;

template<typename T>
concept IsEnum = std::is_enum<T>::value;
 
}