假设有一个文件夹“视频”，文件名为 1.avi ,2.avi ,3.avi ,4.avi .. 直到 100.avi 。我创建了一个输出一些数字的程序（比如说 92、31、92、85、45）。现在我希望将所有名为 92.avi 、 31.avi 、 92.avi 、85.avi 、 45.avi 的文件复制到另一个名为“Chosen Videos”的文件夹中，注意 92 出现了两次，所以我希望将其复制2 次。第一个为 92.avi，第二个为 92(1).avi
如何在 java 或 php 中执行此操作