effective stl 第19条：理解相等（equality）和等价（equivalence）的区别

#include<iostream>
#include<map>
#include<set>

using namespace std;

bool ciStringCompare(const string l, const string r)
{
    //该函数是对字符串不分大小写的进行比较

    return true;
}

int main()
{

    /*
    关联容器会自动排序，它们按照等价而不是相等的标准来对待自己的内容；
    set和map不允许有重复的项目；
    map和multimap通常忽略它所包含的每个对象中的一半；

    STL中没有基于散列表的容器，但是尽管STL中没有散列表，但是不用自己实现，已经有高质量的实现了
    */

    //find算法和set的insert成员函数是两个有代表性的函数，在STL中有很多这样的函数，
    //他们需要确定两个值是否相同，find对相同的定义是相等，是以operator==为基础的
    //set::insert对相同的定义是等价，是以operator<为基础的

    //相等的概念是基于operator==的，如果表达式x==y返回为真，则x与ｙ相等，否则就不等了
    //但是x与y有相等的值不一定意味着x和y的所有数据成员都有相同的值。

    /*
    等价关系是以"在已排序的区间对象值的相对顺序"为基础的。对于两个对象x,y 如果按照关联容器c的排列顺序，
    每个都不在另一个的前面，那么称这两个对象按照c的排列顺序有等价的值
    */

    /*
    在一般的情况下，一个关联容器的比较函数并不是operator<，甚至不是less，他是用户自定义的判别式
    每个关联容器都是通过key_map成员函数使判别式可在外部被使用，因此如果下边的表达式为true，两个对象
    x和y是等价的
    */
    set<string> c;
    if (!c.key_comp()("X","x" ) && !c.key_comp()("x", "X"))
        return true;

    /*
    假设不区分大小写的set<string> ,即STL与stl看作是等价的。
    */
    struct CIStringCompare :
        public
        binary_function<string, string, bool>{//该基类的信息参加第40条
        bool operator()(const string& lhs, const string& rhs) const{
            return ciStringCompare(lhs, rhs);
        }
    };

    set<string, CIStringCompare> ciss;
    ciss.insert("Persephone");//插入大写的的字符串
    ciss.insert("persephone");//插入小写的字符串
    //只有第一个会被插入，因为Persephone和persephone等价

    //如果使用set的成员函数find来查找字符串"persephone",则会查找成功
    if (ciss.find("persephone") != ciss.end());

    //但是如果使用非成员函数的find算法，则查找将会失败
    if (find(ciss.begin(), ciss.end(), "persephone") != ciss.end());
    //这是因为Persephone和persephone等价，但是并不相等，因为string("persephone")!=string("Persephone")

    //对于非标准的基于散列表的关联容器，有两种常见的设计，一种是基于相等的，一种是基于等价的。




    return 0;
}