mysql中使用json_arrayagg(),指定数组中元素排序

背景：

        按照某个字段分组，分组后将同类型的元素聚合在一个数组中，最后再比较数组是否相等。

使用json_arrayagg()，数组中元素排序为数据所属表的默认排序，不满足比较数组是否相等的需求。

        既然要排序，于是写一个子查询，先将数据按照要求排好顺序，结果失败，数组中元素还是按照默认排序。

        用with as语法，将子查询语句丢进去，再将with as 的结果分类聚合，结果失败，数组中元素还是按照默认排序。

        猜测：不管是子查询还是with as都是在原表的基础上做排序，生成的临时表的数据是一一能与原表对应上的，所以能按照默认排序（猜测是mysql的策略）。那么就把原表的数据打破，生成的临时表不能与原表一一对应，于是用了group by 和 distinct ，再对临时表分类聚合，数组中元素顺序就是我们指定的顺序。（测试时用 distinct 与 开窗函数有冲突，查询结果少数据，写此文时已忘记具体什么场景，还是优先用group by吧）。