0001 template <typename T> Rank Vector<T>::uniquify() { //有序向量重复元素剔除算法（高效版）
0002    Rank i = 0, j = 0; //各对互异“相邻”元素的秩
0003    while ( ++j < _size ) //逐一扫描，直至末元素
0004       if ( _elem[i] != _elem[j] ) //跳过雷同者
0005          _elem[++i] = _elem[j]; //发现不同元素时，向前移至紧邻于前者右侧
0006    _size = ++i; shrink(); //直接截除尾部多余元素
0007    return j - i; //向量规模变化量，即被删除元素总数
0008 }