Verifica se un flusso è un file zip

Question

Abbiamo un requisito per determinare se un InputStream in ingresso è un riferimento a un file zip o dati zip. Non abbiamo riferimenti alla fonte sottostante del flusso. Miriamo a copiare il contenuto di questo stream in un OutputStream diretto in una posizione alternativa.

Ho provato a leggere il flusso utilizzando ZipInputStream ed estraendo uno ZipEntry. ZipEntry è nullo se lo stream è un file normale, come previsto, tuttavia, nel controllo di uno ZipEntry, ho perso la coppia iniziale di byte dallo stream. Quindi, quando so che lo stream è un flusso regolare, ho già perso i dati iniziali dallo stream.

Qualsiasi idea su come verificare se InputStream è un archivio senza perdita di dati sarebbe utile.

Grazie.

Answer 1

Supponendo che il flusso di input originale non venga memorizzato nel buffer, proverei a inserire lo stream originale in BufferedInputStream, prima di eseguirne il wrapping in un file ZipInputStream. È possibile utilizzare "mark" e "reset" in BufferedInputStream per tornare alla posizione iniziale nello stream, dopo il controllo.

Answer 2

Sembra un po 'un trucco, ma è possibile implementare un proxy java.io.InputStream da sedersi tra ZipInputStream e lo stream passato in origine al costruttore di ZipInputStream. Il tuo proxy passerebbe a un buffer finché non saprai se si tratta di un file ZIP o meno. In caso contrario, il buffer salva la giornata.

Answer 3

Hai descritto un java.io.PushbackInputStream - oltre a read(), ha un unread(byte[]) che permette li spinge bck verso la parte anteriore del torrente, e di ri- read() di nuovo.

È in java.io da JDK1.0 (anche se ammetto che non ne ho visto l'uso fino ad oggi).

Answer 4

È possibile controllare i primi byte di flusso per la firma di intestazione locale ZIP (PK 0x03 0x04), che sarebbe sufficiente per la maggior parte dei casi. Se hai bisogno di maggiore precisione, dovresti prendere gli ultimi ~ 100 byte e controllare i campi del localizzatore di directory centrale.

Answer 5

Ecco come l'ho fatto.

Utilizzare mark/reset per ripristinare lo stream se GZIPInputStream rileva il formato zip errato (lancia l'eccezione ZipException).

/** 
* Wraps the input stream with GZIPInputStream if needed. 
* @param inputStream 
* @return 
* @throws IOException 
*/ 
private InputStream wrapIfZip(InputStream inputStream) throws IOException { 
    if (!inputStream.markSupported()) { 
     inputStream = new BufferedInputStream(inputStream); 
    } 
    inputStream.mark(1000); 
    try { 
     return new GZIPInputStream(inputStream); 
    } catch (ZipException e) { 
     inputStream.reset(); 
     return inputStream; 
    } 
}