C语言数组第二小元素查找函数array_second_min功能异常求助

• 数组越界访问
  用于判断全数组相等的循环设置为i <n，循环内部访问w[i+1]。当i遍历到最后一个有效下标n-1时，i+1 =n已经超出数组内存范围，读到的是栈上的随机垃圾值，直接导致count计数失真，本该返回无效值的全相等场景判断错误。
• 第二小值判断的逻辑维度错位
  这是最后一个循环的核心错误：变量zweit存储的是数组元素的实际值，但比较判断时使用w[i] - erst（当前元素与最小值的差值）和zweit做大小比对，两个数值不属于同一维度，会触发大量错误更新。
  举个可复现的错误场景：数组为[5,6,7]，第一轮遍历得到最小值erst=5。进入找第二小的循环后：
  1. 处理元素6：计算差值6-5=1，与初始值zweit=UINT_MAX比较成立，将zweit赋值为6
  2. 处理元素7：计算差值7-5=2，拿2和当前zweit存储的6比较，因2<6条件成立，错误把zweit更新为7
     最终返回错误结果7，实际正确的第二小值应为6。
• 冗余的全相等判断
  单独编写循环判断数组全相等完全没有必要，遍历完所有元素后只要检查zweit是否仍为初始值UINT_MAX，就能判断是否存在符合要求的第二小元素，额外循环不仅带来越界风险，还增加了一次全数组遍历的性能损耗。
• 边界值判断失效
  比较条件使用严格小于，当数组中存在元素UINT_MAX时，计算得到的差值等于zweit的初始值UINT_MAX，条件不成立，会漏选本该作为第二小值的边界元素。

unsigned int array_second_min (unsigned int w[], unsigned int n)
{
    // 元素总数不足2，直接返回无效标识
    if (n < 2)
        return UINT_MAX;

    unsigned int i, min1 = UINT_MAX, min2 = UINT_MAX;
    for (i = 0; i < n; i++) {
        // 当前元素小于已知最小值，顺位更新两个最小值
        if (w[i] < min1) {
            min2 = min1;
            min1 = w[i];
        }
        // 当前元素介于两个最小值之间，且不与最小值重复，更新第二小值
        else if (w[i] < min2 && w[i] != min1) {
            min2 = w[i];
        }
    }

    // 遍历结束后若第二小值仍为初始值，说明没有可返回的第二小元素
    return min2;
}

修正后的代码仅需一次全数组遍历，无越界风险，可同时兼容最小值重复、数组全相等、无符号边界值等各类场景，从根源上避免了维度错位的比较错误。

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