lines = [line.strip() for line in lines if line.strip()]解释含义

这段代码使用了列表推导式，可以简化代码并快速生成一个新的列表。

具体来说，`lines = [line.strip() for line in lines if line.strip()]` 可以拆分为三个部分：

1. `for line in lines`：对于`lines`列表中的每一个元素（即文件的每一行），进行以下操作；
2. `if line.strip()`：如果这一行去除首尾空格后不为空（即不是空行），则继续进行操作；
3. `line.strip()`：对于符合条件的这一行，去除首尾空格后，将其加入一个新的列表中。

因此，这段代码的作用是去除文件中的空行，并将去除空行和首尾空格后的非空行保存在一个新的列表中。