system.io.path下有好几个实用的方法. system.io.path.getExtension(path) 得到扩展名 system.io.path.getfilename(path) 相关文章: 2022-12-23 2021-06-29 2021-11-30 2022-12-23 2022-01-14 2021-05-31