想买一台副机（不是主力机），想知道是买13的128号还是13mini的128好啊？平时有安卓机当主力机使用，因为有一些功能苹果的没那么方便，而且安卓的大容量更便宜，可以区分工作和生活。想跟各位咨询一下，以前还没有用过苹果的手机。