java – 获取文件区分大小写的名称,不区分大小写拼写

FilePicker.PickFile(文件名)

其中filename是一个字符串.

在该方法中,它将转换为：

文件文件=新文件(文件名);

这并没有错.接下来,我做,

if(file.exists()){
    System.out.println(file.getName());
}
else{
    System.out.println("Fail.");
}

这就是问题的开始.我想得到文件的名称,比如说“HELLO.txt”,但如果filename是“hello.txt”,它仍会传递file.exists()检查,而file.getName()则返回“hello.txt”,“不是”HELLO.txt“.有没有办法,将file.getName()作为区分大小写的版本返回为“HELLO.txt？”谢谢！

一个例子：

HELLO.txt是真实的文件

FilePicker.PickFile( “hello.txt的”);

OUTPUT：

hello.txt的