使用元素地址作为std::sort比较器引发崩溃的合规性问题排查

你尝试用元素地址作为比较依据来“规避”排序，但这种写法直接违反了std::sort对比较函数的两项核心前置要求：

1. 比较函数定义的序必须在排序全程保持稳定 #

std::sort要求，对于任意两个元素a和b，在整个排序过程中cmp(a,b)的结果必须固定不变。但基于地址的比较完全不满足这一点：

• std::sort内部会通过交换、移动元素完成排序，元素的内存地址会随着这些操作改变。比如原本&a < &b为真，当a被移动到b原来的位置后，&a会变成原&b的值，后续再比较这两个元素时结果会直接反转。
• 这种动态变化的比较结果会彻底破坏排序算法依赖的逻辑一致性，触发未定义行为——这就是std::array出现段错误的原因，而std::vector看似正常只是巧合（比如测试用例中元素初始地址顺序刚好让排序算法未执行实际交换，但这完全不具备通用性）。

2. 严格弱序的核心规则被破坏 #

std::sort要求比较函数必须实现严格弱序，其中包含两个关键规则：

• 自反性：对任意元素x，cmp(x,x)必须返回false
• 传递性：若cmp(a,b)和cmp(b,c)为真，则cmp(a,c)必须为真

虽然你的lambda在初始状态下满足自反性，但元素移动后，地址的动态变化会直接打破传递性，甚至在极端场景下出现cmp(x,x)为真的情况，进一步加剧未定义行为。

正确的“保留原顺序”实现思路 #

如果需要让容器保持初始顺序，正确的做法是绑定元素的初始位置索引，基于索引做比较：

std::vector nums{1, 5, 4};
// 生成带初始索引的元素对
std::vector<std::pair<int, size_t>> indexed_nums;
for (size_t i = 0; i < nums.size(); ++i) {
    indexed_nums.emplace_back(nums[i], i);
}
// 基于索引比较，保证原顺序不变
auto cmp = [](const auto& a, const auto& b) { return a.second < b.second; };
std::sort(indexed_nums.begin(), indexed_nums.end(), cmp);
// 还原回原容器
for (size_t i = 0; i < nums.size(); ++i) {
    nums[i] = indexed_nums[i].first;
}

这种方式既满足std::sort的严格弱序要求，又能稳定保留元素的初始顺序。

内容的提问来源于stack exchange，提问作者Kyle Knoepfel