我的经理让我这样做,因为zip文件非常庞大并且解压缩需要很长时间。 在Zip文件中,我已成功获取文件的所有名称,但仍然不知道如何将所有文件复制到另一个文件夹。这是获取所有名称的代码:
zipJavaFile = java.io.File('filename.zip');
zipFile = org.apache.tools.zip.ZipFile('filename.zip')
entries = zipFile.getEntries
filelist={};
while entries.hasMoreElements
filelist = cat(1,filelist,char(entries.nextElement));
end
感谢您的时间和帮助!你可以根据我的代码帮我一个忙,你也可以告诉我一个更好的方法。