4.6.1 使用HAVING关键字对分组结果进行筛选