Java File.copy 方法：文件复制指南

Java 的 File 类中有一个 copy 方法，用于将一个文件复制到另一个目标位置。 \n\njava\npublic static void copy(Path source, Path target, CopyOption... options) throws IOException\n\n\n该方法接收两个参数：源文件的路径和目标文件的路径。也可以选择性地传递 CopyOption 参数，用于指定复制操作的选项，如覆盖目标文件、保留文件属性等。\n\n下面是一个示例代码，展示了如何使用 copy 方法将一个文件复制到另一个目标位置：\n\njava\nimport java.io.IOException;\nimport java.nio.file.Files;\nimport java.nio.file.Path;\nimport java.nio.file.Paths;\n\npublic class FileCopyExample {\n public static void main(String[] args) {\n Path source = Paths.get("source.txt");\n Path target = Paths.get("target.txt");\n\n try {\n Files.copy(source, target);\n System.out.println("文件复制成功！");\n } catch (IOException e) {\n System.out.println("文件复制失败：" + e.getMessage());\n } \n }\n}\n\n\n上述代码中，我们使用 Paths.get 方法创建了源文件和目标文件的 Path 对象，并将其传递给 Files.copy 方法来执行文件复制操作。在 try-catch 块中，我们捕获可能发生的 IOException 并进行处理。\n\n需要注意的是，如果目标文件已经存在，Files.copy 方法将会抛出 FileAlreadyExistsException 异常。如果希望覆盖目标文件，可以使用 StandardCopyOption.REPLACE_EXISTING 选项：\n\njava\nFiles.copy(source, target, StandardCopyOption.REPLACE_EXISTING);\n\n\n另外，还可以使用其他选项来指定如何处理文件的属性、符号链接等。详细信息可以查阅 Java 官方文档。