大家对红米K100Pro系列感兴趣吗？最近也没出什么新机，有点机荒。