类型行为检查

检查类型的行为是否符合要求 更多...

类型行为检查 的协作图:

概念
concept	is_pair_v
	检查类型是否具有类似pair的结构

类
struct	is_allocator< Alloc, Dummy >
	判断类型是否为分配器 更多...
struct	is_incrementible< Iterator >
	判断类型是否可以递增 更多...
struct	is_decrementible< Iterator >
	判断类型是否可以递减 更多...
struct	is_iterable< Container >
	判断类型是否可迭代 更多...
struct	is_maplike< Map >
	判断类型是否类似映射 更多...
struct	has_construct< Alloc, T, Args >
	判断分配器是否具有construct成员函数 更多...
struct	has_base< T >
	判断类型是否具有base成员函数 更多...

变量
template<typename Alloc>
NEFORCE_INLINE17 constexpr bool	is_allocator_v = is_allocator<Alloc>::value
	is_allocator的便捷变量模板
template<typename Iterator>
NEFORCE_INLINE17 constexpr bool	is_incrementible_v = is_incrementible<Iterator>::value
	iis_incrementible的便捷变量模板
template<typename Iterator>
NEFORCE_INLINE17 constexpr bool	is_decrementible_v = is_decrementible<Iterator>::value
	is_decrementible的便捷变量模板
template<typename T>
NEFORCE_INLINE17 constexpr bool	is_iterable_v = is_iterable<T>::value
	is_iterable的便捷变量模板
template<typename Map>
NEFORCE_INLINE17 constexpr bool	is_maplike_v = is_maplike<Map>::value
	is_maplike的便捷变量模板
template<typename Alloc, typename T, typename... Args>
NEFORCE_INLINE17 constexpr bool	has_construct_v = has_construct<Alloc, T, Args...>::value
	has_construct的便捷变量模板
template<typename T>
NEFORCE_INLINE17 constexpr bool	has_base_v = has_base<T>::value
	has_base的便捷变量模板

详细描述

检查类型的行为是否符合要求