C语言自定义sort函数为何未实现数字从高到低排序？

1. 值传递机制导致函数修改不影响原变量 #

C语言默认参数传递为值传递，调用sort(x,y,z)时，函数形参first、second、third只是main中x、y、z的临时拷贝。所有在sort内部对形参的修改，都只会作用在这些临时副本上，完全无法改动原变量的值，这是排序结果没变化的最根本原因。

2. 函数返回逻辑完全不符合C语言执行规则 #

C语言函数一旦执行到第一个return语句就会立刻退出，你在代码中连续书写三个return：

return first;
return second;
return third;

后两个return属于永远不会执行的无效代码，整个函数最多只能返回first的值，根本无法传递三个变量的排序结果。同时你调用sort时完全没有接收返回值，就算函数算出了排序结果，没有赋值给x、y、z，原变量也不会有任何变化。

3. 内部判断逻辑自相矛盾，无法实现排序 #

你写的嵌套判断条件存在逻辑冲突，根本不可能完成排序：

• 第一个分支已经进入first > second && first > third的判断，说明first已经是三个数里的最大值，后续嵌套的判断条件first > second && first < third和外层的判断前提（first>third）完全互斥，永远不可能成立，嵌套内的赋值代码根本不会触发。
• 剩下两个分支的逻辑同样存在问题：判断条件冲突、赋值操作混乱，哪怕解决了传值的问题，这套逻辑也排不出正确的高低顺序。

正确实现思路 #

要实现直接修改原变量值的效果，需要改用指针传递：

• 将sort的参数修改为接收三个int类型的指针，函数返回值设为void（不需要返回值）
• 函数内部通过解引用操作，直接修改指针指向的原变量值
• 调用sort时传入x、y、z的内存地址，而非变量本身的数值

可参考的简化实现：

// 将三个输入值按从高到低排序，直接修改原变量
void sort(int *first, int *second, int *third) {
    int temp;
    // 保证first位置存放最大值
    if (*first < *second) {
        temp = *first;
        *first = *second;
        *second = temp;
    }
    if (*first < *third) {
        temp = *first;
        *first = *third;
        *third = temp;
    }
    // 保证second位置存放中间值，third自然为最小值
    if (*second < *third) {
        temp = *second;
        *second = *third;
        *third = temp;
    }
}

// main函数中的调用方式
sort(&x, &y, &z);

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