概念约束

概念约束的实现

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