sort一点小思考

之前被问到过sort的相关问题，当时觉得不太对劲，后来查了一下资料，发现对std::sort的理解还是不太对；有些时候还是需要看源码才能了解

问题是，用sort对vector 排序，comp为比较第一个元素大小，返回 e1.a < e2.a;
对{(4, 1), (3, 2), (2, 3), (1, 4)}排序和对{(1, 1), (1, 2), (1, 3), (1, 4)}排序；
按顺序比较返回都是false，为啥第二个的第二个元素还是有序的；

这个结果很神奇，sort函数是不稳定的，但是在对第二组排序却保持了相对顺序；
后来查到了这篇文章 https://quuxplusone.github.io/blog/2020/09/11/unstable-sort-inputs/
才发现对小规模的数组，sort能保持稳定性

具体看sort的实现(libc++)可以发现，当数组规模较小的时候，为了优化使用了特殊的排序sort3/sort4/sort5, sort3是用的!comp()的方式，即当comp(y,x)的时候才会调换顺序，!comp(y,x)不会，因此在比较时正好满足条件，所以没有交换；
另外在比较小的时候，使用的是插入排序，所以也是稳定的；
只有当数组长度大的时候，才体现了它的不稳定性