今天写一个测试代,码,片段如下:
#include <vector> #include <algorithm> using namespace std; class Person { public: unsigned int age = 0; bool used = false; }; inline bool operator<(const Person& A,const Person& B) { if (!A.used) return true; return false; } int main() { vector<Person> persons = vector <Person>(2); sort(persons.begin(), persons.end()); return 0; }在VS2019里运行会报错,经过晨星的指点,原因是我定义的<不符合stl里strict weak order的要求.
stl实现自定义的<函数时,要求有如下几个数学性质
1.反自反性,对任何元素x,都必须满足 表达式x<x的结果为false (反自反性)
2、对两个不同元素x和y, x<y和y<x最多只有一个成立
3、对任意两个元素x和y,如果!(x<y)和!(y<x)同时成立的话,则意味着x==y.(反对称性)
.貌似vs2019里的stl会根据上面三条检查运行结果,所以会出错.
解决办法:把<的规则改成
inline bool operator<(const Person& A,const Person& B) { if (A.used != B.used) return !A.used; else if (A.used && B.used) return A.age < B.age; else return false; }即可.
最后测试了一下极端情况,在<里只写return false,可以运行成功,写return true的话,则运行报错.
个人理解,对序列里的元素都相等的情况,则对任何x和后面的y,x<y都不成立,但是x>=y成立.
所以return false不违反数学规定,return true则意味着认为前面的都小于后面的,这就会导致x<y和y<x同时发生.所以会出错
