Discreter-离散化容器

C++真是麻烦，比较函数放进来作成员函数就要报错，非得加static，好忧伤……如果是奇葩一点的数据类型只要重载了小于和等于号就没问题……

• cmp_ls和cmp_eq是小于和等于比较函数，一般情况下不用自己再写了吧，目前的样子是用了__COMPARER__里面的比较函数……理论上类型无限扩展？
• check()内部函数，维护单调性并且去重，那种要动态维护的题目还是手写线段树平衡树什么的好了……
• append(val)往离散化容器里面扔东西……
• size()查询当前有多少个不一样的元素……
• clear(offset)清空并且设置偏移量，默认为0……
  
• rank(val)查询排名……
• []操作符访问值……

template<typename type> class Discreter
{
private:
	type a[MAXV];
	int flag,length,offset;
	
	inline void check(void)
	{
		if(!flag) flag=true,length=(sort(a,a+length,cmp_ls),unique(a,a+length,cmp_eq))-a;
	}
	inline static bool cmp_ls(type a,type b)
	{
		return cmp(a,b)< 0;
	}
	inline static bool cmp_eq(type a,type b)
	{
		return cmp(a,b)==0;
	}
public:
	inline void clear(int _offset=0)
	{
		flag=length=0;
		offset=_offset;
	}
	inline void append(type val)
	{
		flag=false,a[length++]=val;
	}
	inline int size(void)
	{
		return check(),length;
	}
	inline type operator [] (int i)
	{
		return check(),a[i-offset];
	}
	inline int rank(type val)
	{
		return check(),lower_bound(a,a+length,val,cmp_ls)-a+offset;
	}
};
Discreter<int> dis;