怎么改java扩展名,如何在Java中更改运行时的文件扩展名

I am trying to implement program to zip and unzip a file. All I want to do is to zip a file (fileName.fileExtension) with name as fileName.zip and on unzipping change it again to fileName.fileExtension.

解决方案

This is how I used to rename files or change its extension.

public static void modify(File file)

{

int index = file.getName().indexOf(".");

//print filename

//System.out.println(file.getName().substring(0, index));

//print extension

//System.out.println(file.getName().substring(index));

String ext = file.getName().substring(index);

//use file.renameTo() to rename the file

file.renameTo(new File("Newname"+ext));

}

edit: John's method renames the file (keeping the extension). To change the extension do:

public static File changeExtension(File f, String newExtension) {

int i = f.getName().lastIndexOf('.');

String name = f.getName().substring(0,i);

return new File(f.getParent() + "/" + name + newExtension);

}

This only changes the last extension to a filename, i.e. the .gz part of archive.tar.gz. Therfore it works fine with linux hidden files, for which the name starts with a .

This is quite safe because if getParent() returns null (i.e. in the event of the parent being the system root) it is "cast" to an empty String as the whole argument to the File constructor is evaluated first.

The only case where you will get a funny output is if you pass in a File representing the system root itself, in which case the null is prepended to the rest of the path string.