从文件头获取特定元素?所以我有这种格式的数据: #NUMBER OF AGES=37 MAGS= 5 #---------------------------------------------------- ...2024-10-01 已阅读: n次