求教为什么输出是3

[Prairial_0]

#include <vector>
#include <set>
#include <cstdio>

int numbers[10] = {1,2,3,2};

struct CMP{
  bool operator() (std::vector<int>* const p1, std::vector<int>* const p2) const{
    const std::vector<int> &v1 = *p1, &v2 = *p2;
    bool flag = false;
    for (int i = 0; i < v1.size() && !flag; ++i)
      if (numbers[v1[i]] != numbers[v2[i]]) flag = true;
    if (!flag) return false;
    for (int i = 0; i < v1.size(); ++i)
      if (v1[i] != v2[i]) return v1[i] < v2[i];    
    return false;
  }
};

int main(){
  std::vector<int> v1, v2, v3;
  v1.push_back(1);
  v2.push_back(2);
  v3.push_back(3);
  std::set<std::vector<int>*,CMP> set;
  set.insert(&v1);
  set.insert(&v2);
  set.insert(&v3);
  printf("%d\n", set.size());
  
  return 0;
}

g++ 4.7.1编译。为什么输出是3不是2呢？

[Prairial_0]

#include <vector>
#include <set>
#include <cstdio>

int numbers[10] = {1,2,3,2};

struct CMP{
  bool operator() (std::vector<int>* const p1, std::vector<int>* const p2) const{
    const std::vector<int> &v1 = *p1, &v2 = *p2;
    bool flag = false;
    for (int i = 0; i < v1.size() && !flag; ++i)
      if (numbers[v1[i]] != numbers[v2[i]]) flag = true;
    if (!flag) return false;
    for (int i = 0; i < v1.size(); ++i)
      if (v1[i] != v2[i]) return v1[i] < v2[i];    
    return false;
  }
};

int main(){
  std::vector<int> v1, v2, v3;
  v1.push_back(1);
  v2.push_back(2);
  v3.push_back(3);
  std::set<std::vector<int>*,CMP> set;
  set.insert(&v1);
  //  set.insert(&v2);
  set.insert(&v3);
  printf("%d\n", set.size());
  
  return 0;
}

另外注释掉一行就只有一个元素了

[zjs100901]

能解释一下CMP的逻辑吗？

[Prairial_0]

[Quote=引用 2 楼 的回复:]

能解释一下CMP的逻辑吗？
[/Quote]

比较两个相同大小的vector<int>
vector<int>保存了numbers的索引[0,n)
1. 如果两个vector保存的索引对应到numbers的值完全一样，则认为两个vector相等
2. 否则按照索引的字典序返回比较结果

[zjs100901]

set的比较函数，是要定义出严格弱序来。你这写得比较复杂……

[Prairial_0]

[Quote=引用 4 楼 的回复:]

set的比较函数，是要定义出严格弱序来。你这写得比较复杂……
[/Quote]

其实回复后我大概就明白怎么回事了（昨天CSDN大姨妈了么。。。）。这个关系应该不是全序的。谢谢了。