真我一加红米三款性能旗舰 学生党选哪款？

之前冬天的时候，我们说中端档位一加、真我、红米这三个品牌中，一加Ace5 Pro非常适合玩游戏的朋友选择，现在夏天到了，结论还是如此吗？尤其是可以玩上整个暑假的学生朋友，高强度玩游戏，一加Ace5 Pro、真我GT7 Pro和REDMI K80 Pro谁更值得买？