假设有一个文件夹"视频"，文件名为1.avi、2.avi、3.avi、4.avi……直到100.avi。我创建了一个程序，输出一些数字（比如92、31、92、85、45）。现在我想把所有名为92.avi、31.avi、92.avi和85.avi的文件复制到另一个名为"选择的视频"的文件夹中注意92发生了两次，所以我希望它被复制两次。第一次是92.avi，第二次是92（1）.avi
如何在java或php 中做到这一点
对于java，请在此处查看FileUtils类。
假设有一个文件夹"视频"，文件名为1.avi、2.avi、3.avi、4.avi……直到100.avi。我创建了一个程序，输出一些数字（比如92、31、92、85、45）。现在我想把所有名为92.avi、31.avi、92.avi和85.avi的文件复制到另一个名为"选择的视频"的文件夹中注意92发生了两次，所以我希望它被复制两次。第一次是92.avi，第二次是92（1）.avi
如何在java或php 中做到这一点
对于java，请在此处查看FileUtils类。