#include <iostream>

#include <map>

#include <set>

using namespace std;

map<Set, int> MapTest;

int main()

{

    set<int> s1;

    set<int> s2 = set<int>();　　//这里我们分别建立了两个集合对象

    MapTest[s1] = ;

    cout << MapTest.count(s2) << endl;

    if (s1 == s2)

        cout << "" << endl;

    s1.insert();

    cout << MapTest.count(s2) << endl;

    if (s1 == s2)

        cout << "" << endl;

    system("pause");

    return ;

}

    set<int> s1;

    set<int> s2 = set<int>();　　//这里我们分别建立了两个集合对象

    MapTest[s1] = 1;

    cout << MapTest.count(s2) << endl;    

可以发现我们查找s2时在map中会找到，并且个数为1-->即s1。将s1和s2当做一个集合进行查找

    if (s1 == s2)

        cout << "666" << endl;

    s1.insert(12);

    if (s1 == s2)　　//不会进入

        cout << "666" << endl;　　//不会进入

class set : public _Tree<_Tset_traits<_Kty, _Pr, _Alloc, false> >

// _Tree TEMPLATE OPERATORS

template<class _Traits> inline

bool operator==(const _Tree<_Traits>& _Left, const _Tree<_Traits>& _Right)

{    // test for _Tree equality

return (_Left.size() == _Right.size()

&& equal(_Left.begin(), _Left.end(), _Right.begin()));    //3.对两个树进行比较，从开始到结束，若是元素一致相等，则判定这两个树为相等

}

int main()

{

    set<int> s1;

    set<int> s2 = set<int>();　　//这里我们分别建立了两个集合对象

    MapTest[s1] = ;

    cout << MapTest.count(s2) << endl;

    if (s1 == s2)

        cout << "" << endl;

    s1.insert();

    cout << MapTest.count(s2) << endl;

if (s1 == s2)

        cout << "" << endl;

    system("pause");

    return ;

}

我们会发现这里还是会输出1，因为map中插入s1时是进行了拷贝插入，不是引用。

所以map中存在的那个集合并不是s1，而是原来那个空集合的拷贝对象。

当s1修改时不会影响到map中的那个集合元素，因此我们使用map查找s2时还是会找到。原因如一二分析