MySQL先排序后分组（order by first then group by）

SELECT * FROM (SELECT * FROM result r WHERE r.activity_id = 2 ORDER BY r.score DESC,r.elapsed_time,r.play_time) t
GROUP BY t.player ORDER BY t.score DESC,t.elapsed_time,t.play_time;