SQL分区场景下ORDER BY子句的作用解析——窗口函数MAX的特殊行为疑问

首先，你已经精准抓住了窗口函数的核心规则：当窗口函数指定ORDER BY时，默认的窗口框架是RANGE UNBOUNDED PRECEDING AND CURRENT ROW。那为什么按EmpId排序（分区内所有EmpId值完全相同）时，max(ArchiveId)能直接返回整个分区的最大值呢？

核心原因在于RANGE框架的判定逻辑：RANGE是基于排序键的相等性来划定范围的——当你按一个在分区内所有行值都相同的列排序时，CURRENT ROW对应的RANGE会自动包含分区内的所有行。因为所有行的排序键值和当前行完全一致，数据库会把它们归为同一个"排序组"，此时RANGE UNBOUNDED PRECEDING AND CURRENT ROW的实际效果就等价于RANGE UNBOUNDED PRECEDING AND UNBOUNDED FOLLOWING（也就是覆盖整个分区）。

对比你提到的按ArchiveId asc排序的情况：假设ArchiveId是唯一标识，每一行的排序键值都不同，那么每个CURRENT ROW的RANGE只包含当前行及之前的行，因此max只能逐行累积计算，直到最后一行才会拿到整个分区的最大值。

另外你之前猜测的"引擎默认按ArchiveId降序二次排序"并不成立——实际上当排序键的所有值都相同时，数据库根本不需要对分区内的行做任何实际排序操作，直接认定所有行属于同一排序组，窗口框架自然覆盖整个分区，所以max会直接返回全局最大值。

总结关键结论：

• 当ORDER BY的列在分区内存在重复值时，RANGE框架会包含所有和当前行排序键相等的行
• 当排序键在分区内所有值都相同时，RANGE框架等价于整个分区，因此max的结果和不指定ORDER BY完全一致

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