python-生成器，filter的理解