如何使用python提取txt文档中包含特定字符串的全部行并保存到另一份txt文档中且不会出现编解码错误 'gbk' codec can't decode byte

如：将a.txt中含有’TIF_HAL_API_TEST '字符串的全部行保存到b.txt文档中：
1）首先将目标文件a.txt放到脚本保存的根目录下
2）创建一个用于需要输出的b.txt空白文档
3）关键点：在打开文件的编码时加入encoding=‘utf-8’,来解决编码出错

doc=open(‘b.txt’,‘w’,encoding=‘utf-8’)
for l in open(‘a.txt’,encoding=‘utf-8’):
if ‘TIF_HAL_API_TEST’ in l:
print(l,file=doc)
doc.close()