C++ STL list实现插入排序时while循环不触发、无值交换问题求助

核心错误：后置递减导致的未定义行为与逻辑反转 #

你的代码中两处curr--的使用方式完全不符合预期：

• C++标准未规定逻辑与&&两侧表达式的求值顺序，也未规定同一条语句内多个副作用的执行顺序。你在while条件中写的*curr < *(curr--)，编译器完全可以先执行curr--再取值，实际比较的是*(curr-1) < *curr，和你需要的「当前元素小于前一个元素」的判断逻辑完全相反，所以条件永远不成立，内层循环自然不会执行。
• 即使判断条件逻辑正确，你在swap操作中再次使用*(curr--)，循环体末尾还额外执行了一次curr--，会导致迭代器多减两次，直接越界触发未定义行为。

修正后的代码 #

template <typename dT>
void ListSort(std::list<dT>& lis, typename std::list<dT>::iterator front, typename std::list<dT>::iterator end) {
    if (front == end) return; // 空区间直接返回
    auto start = std::next(front); // 不直接修改传入的front，用next更安全
    for (; start != end; ++start) {
        auto curr = start;
        auto prev_curr = std::prev(curr); // 提前获取前一个迭代器，避免求值顺序问题
        while (curr != front && *curr < *prev_curr) {
            std::swap(*curr, *prev_curr);
            // 迭代器统一往前移动一位
            --curr;
            --prev_curr;
        }
    }
}

额外注意事项 #

• 涉及双向迭代器的前后访问时，提前用std::prev/std::next保存相邻迭代器，避免在同一条语句内对同一个迭代器同时执行取值和修改操作，从根源上规避未定义行为
• STL的std::list本身已经提供了成员函数sort()，内部已经优化为高效的稳定排序，实际开发中优先使用官方实现即可

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