#JAVA 初心者ですが構文の意味がわかりません。

Question

JAVAを勉強中で初歩的な質問で恐縮すが、以下の構文の意味とくに（java.util.zip.ZipEntryの（）でentriesとつなぐ？　意味。

java.util.zip.ZipEntry.entries.nextElement()
のような？　意味でしょうか？

　ググってもうまくヒットしないので　（ググり方が悪いと思いますが）　　出典は以下の示したように、JAVA本家Oracleの説明より。

該当部分；
String zipEntryName = ((java.util.zip.ZipEntry)entries.nextElement()).getName() + newLine;

出典ページ；
https://docs.oracle.com/javase/tutorial/essential/exceptions/tryResourceClose.html

因みにclass 全体（上記出典ページの一部）；

public static void writeToFileZipFileContents(String zipFileName,
String outputFileName)
throws java.io.IOException {

java.nio.charset.Charset charset =
     java.nio.charset.StandardCharsets.US_ASCII;
java.nio.file.Path outputFilePath =
     java.nio.file.Paths.get(outputFileName);

// Open zip file and create output file with 
// try-with-resources statement

try (
    java.util.zip.ZipFile zf =
         new java.util.zip.ZipFile(zipFileName);
    java.io.BufferedWriter writer = 
        java.nio.file.Files.newBufferedWriter(outputFilePath, charset)
) {
    // Enumerate each entry
    for (java.util.Enumeration entries =
                            zf.entries(); entries.hasMoreElements();) {
        // Get the entry name and write it to the output file
        String newLine = System.getProperty("line.separator");
        String zipEntryName =
             ((java.util.zip.ZipEntry)entries.nextElement()).getName() +
             newLine;
        writer.write(zipEntryName, 0, zipEntryName.length());
    }
}

}

Comments

[azuapricot]

具体的に何がわからないのかが、分かりません。
実際に困っているのはどの構文ですか？

あとコードはマークダウン（<code>)を使って提示してください

[dodox86]

私も意味が分かりませんでしたが、機械翻訳のような気がしました。もしかして留学生の方でしょうか。（だとするとあまり厳しいことは書きたくないので確認まで）

Answer 1

(java.util.zip.ZipEntry)はキャスト（型変換）ですが、このコードは（現代のJavaとして考えると）書き方が悪いです。

ZipFile.entriesはjava.util.Enumeration<? extends ZipEntry>型を返しますので、原型のjava.util.Enumeration entriesではなく正しくjava.util.Enumeration<? extends ZipEntry> entriesとすれば、キャストなしに動かせます。

String zipEntryName = entries.nextElement().getName() + newLine;

Comments

[swordone]

try-with-resources使ってる分、余計ちぐはぐですね…

[takaSW]

キャストでしたね　初歩的な質問で恐縮です。　また、回答内容から、ジェネリクスというのも知ることができました。　ありがとうございました！

Answer 2

多分、「キャスト」(type Casting)ですね。

String zipEntryName = ((java.util.zip.ZipEntry)entries.nextElement()).getName() + newLine;

は、entries.nextElement() が返すオブジェクトかなんかをjava.util.zip.ZipEntryとして,
そのオブジェクトの getNameを呼び出している状態ですね。

// Type-casting to java.util.zip.ZipEntry
java.util.zip.ZipEntry zipEntry = (java.util.zip.ZipEntry)entries.nextElement();
// Get the name and add another string
String zipEntryName = zipEntry.getName() + newLine;

と一緒ですね。