咱们一步步来搞清楚你这段排序脚本的运行原理，解决你关于a/b更新和return 0的疑惑。

首先搞懂lsort -command的核心机制 #

Tcl的lsort命令加上-command参数时，会把你传入的脚本当作自定义比较器。排序过程中，Tcl的排序算法（比如快速排序或归并排序）会反复调用这个比较器，每次传入两个待比较的列表元素——也就是你看到的a和b。

变量a和b是怎么更新的？ #

a和b的取值完全由排序算法的执行过程决定：算法会不断从列表中选取不同的元素对，传入比较器进行判断。比如第一次可能拿0和-1，第二次拿5和-5，第三次拿1和-1……没有固定的“更新规则”，目的是通过多次两两比较，最终确定所有元素的正确顺序。

你可以在比较器里加个puts "正在比较a=$a和b=$b"来观察每次传入的元素，就能直观看到排序过程中a和b的变化啦。

为什么必须要有return 0？ #

根据Tcllsort的规则，比较器的返回值有明确含义：

• 返回-1：表示a应该排在b的前面
• 返回1：表示b应该排在a的前面
• 返回0：表示a和b完全相等，排序时它们的相对位置保持原列表中的顺序（这是稳定排序的特性）

如果没有return 0，当两个元素绝对值相等且本身也相等时（比如你的列表里的两个-10），比较器没有返回值，会导致lsort出现不可预料的行为。return 0是用来覆盖所有“两个元素完全相同”的情况，保证排序逻辑的完整性。

逐行解释你的排序脚本 #

咱们把这段脚本拆解开看：

lsort -command {
    apply { {a b} {
        # 第一优先级：比较绝对值，绝对值小的排前面
        if {[expr {abs($a)}] < [expr {abs($b)}]} {return -1}
        if {[expr {abs($a)}] > [expr {abs($b)}]} {return 1}
        # 第二优先级：绝对值相等时，比较元素本身的大小，小的排前面
        if {$a < $b} {return -1}
        if {$a > $b} {return 1}
        # 最后：绝对值和元素本身都相等，顺序保持不变
        return 0
    }}
} $listNums

1. 首先比较两个元素的绝对值：比如-1和1的绝对值都是1，这时候会进入下一层判断；
2. 绝对值相等时，比较元素本身的数值：比如-5和5，-5更小，所以-5会排在5前面；
3. 如果两个元素完全一样（比如两个-10），返回0，告诉lsort不需要调换它们的顺序。

用你的列表运行这段脚本，最终会得到排序结果：
0 -1 1 -5 5 5 -10 -10 10 100 1000

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