如何用Python实现类似awk的字符串分割功能?