如题。iPhone 用腻了也有点卡了，想换个小米，4000左右预算，买啥好。听说现在Miui优化爆炸，也不清楚增强版有没有好点。然后安卓现在消息推送怎么样了？还要常驻后台才能收消息吗？微信会漏消息吗？iphone 的消息推送着实省心，不过也想知道安卓现在消息推送怎么样了。