C++Sort函数的潜规则

#include<iostream>  
#include<vector>  
#include<algorithm>  
using namespace std;
bool comp(int a, int b)
{
    if (a < b){
        return true;
    }
    else{
        return false;
    }
}
int main()
{
    vector<int> v;
    v.push_back(12);
    v.push_back(12);
    sort(v.begin(), v.end(), comp);
    return 0;
}

都知道是从小到大排序

如果改成下面这样

bool comp(int a, int b)
{
    if (a < b){
        return false;
    }
    else{
        return true;
    }
}

大家是不是觉得这个就是从大到小排序？

给你们说：( ⊙ o ⊙ )是的，是从大到小排序
but 如果你们排序数组里面有两个相同的值，恭喜你，爆炸了！！！

为什么呢？
这篇博客说了sort的实现http://www.cnblogs.com/fengcc/p/5256337.html
反正我没看过源码，以前我一直以为是快排
猜测是排序方法出了问题
经过自己的测试，每两个数要比较两次
A 与 B 比较 return true 说明A比B小 A 排在B的前面
B 与 A 比较 return true 说明B比A小 B 排在A的前面
so 这就是问题 到底是A大还是B大？？

我以前一直这样记忆：
return true ==== 说明第一个参数排在第二个参数前面
return false ==== 说明第一个参数排在第二个参数后面
其实这样记忆没有错 but
sort函数的潜规则就是：
如果两个数相等 必须返回false