用列表生成式实现差集运算功能