在java中保存和检索文件扩展名时的小问题

import java.io.File;

public class FileExtensionExample {
    public static void main(String[] args) {
        String fileName = "example.txt";
        
        // 保存文件时，获取文件名和扩展名
        String name = fileName.substring(0, fileName.lastIndexOf("."));
        String extension = fileName.substring(fileName.lastIndexOf(".") + 1);
        
        // 输出文件名和扩展名
        System.out.println("文件名：" + name);
        System.out.println("扩展名：" + extension);
        
        // 检索文件时，判断文件扩展名
        File file = new File("path/to/file/example.txt");
        if (file.isFile()) {
            String fileExtension = getFileExtension(file);
            if (fileExtension.equals("txt")) {
                System.out.println("文件扩展名匹配");
            } else {
                System.out.println("文件扩展名不匹配");
            }
        } else {
            System.out.println("文件不存在");
        }
    }
    
    // 获取文件扩展名的方法
    public static String getFileExtension(File file) {
        String fileName = file.getName();
        return fileName.substring(fileName.lastIndexOf(".") + 1);
    }
}