Python中如何从路径中获取不带扩展名的文件名