ORDER BY 是第10步，但排序动作实际发生在 SELECT 之后、LIMIT 之前
在MySQL的官方文档里，ORDER BY子句的语法顺序确实排得比较靠后，但这很容易让人产生一个误解：以为它是最后一步，简单地对已经准备好的最终结果集排个序就完事了。实际情况可没这么简单。
排序，其实是执行过程中一个独立的、计算密集型的阶段。当Server层从存储引擎（比如InnoDB）拿到所有满足WHERE条件的数据行之后，它并不会等到SELECT列表里的列都投影完，或者DISTINCT去重完成，而是立刻就会把这些行数据送入一个叫做sort buffer的内存区域，开始为排序做准备。
这就引出了一个关键的性能隐患：如果你的查询是SELECT *，却只按照其中的一两个字段排序，MySQL可不会那么“聪明”地只把排序字段和主键装进缓冲区。它会老老实实地把整行数据——包括那些可能很大的TEXT或BLOB字段——全部载入sort buffer。内存一旦不够用，就会触发磁盘临时文件排序，也就是执行计划里那个让人头疼的Using filesort。
为什么有时候没写 ORDER BY 却看起来有序？
很多开发者都遇到过这个情况：明明没写ORDER BY，查询返回的数据看起来却总是按主键顺序排列的。这其实是一种危险的错觉，MySQL从未保证过没有ORDER BY时的返回顺序。
你看到的“有序”，很可能只是巧合。比如，当查询简单地通过InnoDB的聚簇索引进行全表扫描时，数据碰巧就是按主键顺序返回的。但是，一旦查询条件变得复杂，比如加入了JOIN、WHERE过滤，或者查询优化器选择了另一个更合适的二级索引，这个“看似稳定”的顺序立刻就会被打乱。
更让人困惑的是，一些外部因素，比如Buffer Pool中缓存页的状态变化、数据库版本的升级，甚至是并行查询的引入，都可能改变数据的返回顺序。所以，如果线上环境突然出现“昨天查出来还是有序的，今天怎么就乱了”的情况，先别怀疑是MySQL出了bug，大概率是执行计划发生了改变。
文件排序（filesort）到底怎么工作的？
当待排序的数据量太大，内存中的sort buffer装不下时，MySQL就会启动它的“备胎”方案：基于磁盘的归并排序，也就是我们常说的filesort。
这个过程可以拆解为几步：首先，MySQL会尽量利用sort buffer，对数据进行多批次的快速排序。每一批排序好的数据，都会作为一个临时文件（temp_file）写入磁盘，同时会生成一个记录其起始位置和记录数的块文件（chunk_file）。
接下来，就是多路归并的舞台了。MySQL会同时读取多个（最多7个）临时文件块，将它们合并成一个更大的有序块。这个过程层层迭代，最终将所有临时文件合并成一个完整的有序输出流，返回给用户。
当然，最高效的方式永远是避免排序。如果ORDER BY字段上存在合适的索引，并且这个索引“覆盖”了查询所需的所有列（即使用覆盖索引），那么MySQL就可以直接按索引的B+树顺序进行遍历读取，结果自然就是有序的，从而完全跳过filesort这个步骤。举个例子，对于表orders(pay_time, status, amount)和查询SELECT amount FROM orders WHERE status='SUCCESS' ORDER BY pay_time，如果有一个联合索引(status, pay_time, amount)，那么这个查询就能走覆盖索引，实现“零排序”。
最容易被忽略的坑：HA VING 和 ORDER BY 的字段依赖关系
在涉及分组聚合的查询中，ORDER BY和HA VING的配合常常埋着坑。HA VING是用来过滤分组后的聚合结果的，而ORDER BY子句里能用的字段，默认情况下只能是SELECT列表中间出现的列，或者是GROUP BY子句中的分组字段。
一个常见的误解是，可以直接使用SELECT中定义的聚合函数别名进行排序。在MySQL 5.7及以后，这么写语法上确实允许，例如ORDER BY total_sales，但这只是一种便利的“语法糖”，底层执行时还是会映射回原始的聚合表达式，比如SUM(payment_amount)。
真正的问题是，如果ORDER BY引用了一个既没有出现在SELECT列表里，也不属于GROUP BY字段的列，那么MySQL就会报错：Unknown column 'y' in 'order clause'。
还有一个更隐蔽的陷阱：在GROUP BY a之后，尝试ORDER BY b（假设b既不是分组字段，也不是聚合结果）。在MySQL 8.0及以上版本，默认的SQL模式（sql_mode）包含ONLY_FULL_GROUP_BY，会直接拒绝这种模糊的查询。除非你关闭这个严格模式（当然，非常不推荐这么做），否则查询将无法执行。
所以，最安全的实践原则是：确保ORDER BY中使用的每一个字段，都明确地出现在SELECT列表里，或者是GROUP BY子句的一部分。这样才能从根本上避免因字段依赖关系不清而导致的语法错误或不可预期的结果。
