C语言快速排序动态数组遇Valgrind内存越界错误求助

你实现的sort_int_vector快速排序函数能得到正确排序结果，但Valgrind检测到partition_int_vec函数存在Invalid read内存越界，以下是常见的问题原因及排查方向：

一、Partition函数边界处理失误 #

快速排序的分区逻辑是越界高发区，常见问题包括：

• 左右指针移动时未及时终止：比如左指针已经超过右指针，仍继续执行arr[left]的访问操作；
• 排序方向切换时比较逻辑未对应调整边界判断：比如REVERSE模式下，本该停止移动的指针因比较条件反转，继续向数组外部移动；
• 基准值选择后，指针移动的终止条件遗漏了等于基准值的情况，导致指针越界。

二、自定义swap函数的调用或实现问题 #

如果swap本身实现没问题，大概率是调用时传入了越界的元素地址：

• 比如在partition中，错误地传入了arr[high+1]或arr[low-1]这类超出数组合法索引范围的元素指针；
• 若swap函数内部使用了错误的指针解引用方式，比如未正确指向数组元素，也可能触发非法内存访问。

三、递归调用的边界条件错误 #

快速排序的递归终止条件如果写得不严，会导致处理无效区间：

• 比如终止条件写成if (left > right) return;，当left == right时仍会进入partition函数，此时若分区逻辑对单个元素进行不当操作，可能触发越界；
• 正确的终止条件应该是if (left >= right) return;，直接跳过无效或单个元素的区间。

四、动态数组的长度与索引不匹配 #

动态数组的合法索引范围是0 ~ len-1，如果在调用排序或分区函数时，错误地将数组长度当作最大索引传入（比如把长度5的数组，右边界设为5而非4），会直接导致访问arr[5]这类越界内存。

排查建议 #

• 在partition_int_vec函数中添加日志，打印每次循环的left、right值，以及访问的数组索引，确认是否有超出合法区间的情况；
• 检查所有调用swap函数的位置，验证传入的两个元素索引是否都在0 ~ 数组长度-1范围内；
• 确认递归终止条件是否严格，避免处理无效区间；
• 核对动态数组的分配长度和实际使用的索引范围，确保没有索引溢出。

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