我不确定这是否需要，因为优化器可能会处理它，但问题是：
[ x.strip() for x in f.readlines() if x.strip() ]
双方都需要条带，（只是“如果 x”还不够）。
我建议使用map：
map
[ x for x in map(str.strip, f.readlines()) if x ]
