#陈震称小米17命名很成功# 单纯从营销角度来说，小米17命名成功了，还有Pro