历史背景是这样：红魔3上市时间：2019年5月3日；一加7 Pro 上市时间：2019年5月21日红魔3比一加7 Pro还要早，但有趣的是，人们更多只记住了后者。