4.2 sed：字符流编辑器