Python中是否有`string.split()`的生成器版本?