概念约束

概念约束的实现

概念
concept	neforce::same_as
	检查两个类型是否完全相同
concept	neforce::common_reference_with
	检查两个类型是否有公共引用类型
concept	neforce::common_with
	检查两个类型是否有公共类型
concept	neforce::derived_from
	检查类型是否派生自另一个类型
concept	neforce::constructible_from
	检查类型是否可以使用指定参数构造
concept	neforce::move_constructible
	检查类型是否可移动构造
concept	neforce::copy_constructible
	检查类型是否可复制构造
concept	neforce::default_initializable
	检查类型是否可默认初始化
concept	neforce::assignable_from
	检查类型是否可以从另一个类型赋值
concept	neforce::movable
	检查类型是否可移动
concept	neforce::copyable
	检查类型是否可复制
concept	neforce::one_way_equality_comparable
	检查两个类型是否可以单向相等比较
concept	neforce::both_equality_comparable
	检查两个类型是否可以双向相等比较
concept	neforce::equality_comparable
	检查类型是否可与自身进行相等比较
concept	neforce::equality_comparable_with
	检查两个类型是否可以互相进行相等比较
concept	neforce::one_way_ordered
	检查两个类型是否可以单向顺序比较
concept	neforce::both_ordered_with
	检查两个类型是否可以双向顺序比较
concept	neforce::totally_ordered
	检查类型是否完全有序
concept	neforce::totally_ordered_with
	检查两个类型是否可以互相完全有序比较
concept	neforce::semiregular
	检查类型是否为半常规类型
concept	neforce::regular
	检查类型是否为常规类型
concept	neforce::iterator_typedef
	检查类型是否具有迭代器所需的所有类型定义
concept	neforce::input_iterator
	检查类型是否为输入迭代器
concept	neforce::forward_iterator
	检查类型是否为前向迭代器
concept	neforce::bidirectional_iterator
	检查类型是否为双向迭代器
concept	neforce::random_access_iterator
	检查类型是否为随机访问迭代器
concept	neforce::contiguous_iterator
	检查类型是否为连续迭代器
concept	neforce::sentinel_for
	检查类型是否为迭代器的哨兵
concept	neforce::sized_sentinel_for
	检查哨兵是否支持大小计算