Java 批量重命名视频文件：去除前缀并添加分隔符

以下是 Java 代码实现：

import java.io.File;

public class VideoFileRenamer {
    public static void main(String[] args) {
        File directory = new File('path/to/directory'); // 要遍历的目录路径
        File[] files = directory.listFiles(); // 获取目录下所有文件
        for (File file : files) {
            if (file.isFile() && isVideoFile(file.getName())) { // 如果是视频文件
                String newName = renameVideoFile(file.getName()); // 生成新的文件名
                File newFile = new File(directory, newName); // 构造新文件对象
                if (file.renameTo(newFile)) { // 重命名文件
                    System.out.println(file.getName() + ' -> ' + newName); // 输出重命名结果
                } else {
                    System.out.println('Failed to rename ' + file.getName()); // 输出重命名失败信息
                }
            }
        }
    }

    private static boolean isVideoFile(String fileName) {
        String extension = fileName.substring(fileName.lastIndexOf('.') + 1); // 获取文件扩展名
        return extension.equalsIgnoreCase('mp4') || extension.equalsIgnoreCase('avi')
                || extension.equalsIgnoreCase('mov') || extension.equalsIgnoreCase('wmv');
    }

    private static String renameVideoFile(String fileName) {
        String newName = fileName.substring(6); // 去掉前6个字符
        int dotIndex = newName.indexOf('.') - 1; // 获取文件名中第二个字符的下标
        if (dotIndex > 0) {
            newName = newName.substring(0, dotIndex) + '.' + newName.substring(dotIndex + 1); // 在第二个字符后面添加.符号
        }
        if (newName.startsWith('0')) {
            newName = newName.substring(1); // 去掉0开头的字符
        }
        return newName;
    }
}

需要注意的是，以上代码只对扩展名为 mp4、avi、mov、wmv 的视频文件进行重命名。如果需要对其他扩展名的视频文件进行重命名，可以在 isVideoFile 方法中添加相应的判断逻辑。