0001 template <typename T> T majCandidate( Vector<T> A ) { //选出具备必要条件的众数候选者
0002    T maj; //众数候选者
0003 // 线性扫描：借助计数器c，记录maj与其它元素的数量差额
0004    for ( Rank c = 0, i = 0; i < A.size(); i++ )
0005       if ( 0 == c ) { //每当c归零，都意味着此时的前缀P可以剪除
0006          maj = A[i]; c = 1; //众数候选者改为新的当前元素
0007       } else //否则
0008          maj == A[i] ? c++ : c--; //相应地更新差额计数器
0009    return maj; //至此，原向量的众数若存在，则只能是maj —— 尽管反之不然
0010 }