FileNameExtensionFilterでFile.listFilesを使用する

ディレクトリ内の特定の拡張子を持つファイルのリストを取得したいと思います。API（Java 6）には、File.listFiles(FileFilter)これを行うメソッドがあります。

特定の拡張子が必要なため、を作成しましたFileNameExtensionFilter。ただしlistFiles、これを使用するとコンパイルエラーが発生します。以来FileNameExtensionFilter implements FileFilter、私はこれを行うことができるはずだと思いました。コードは次のとおりです。

FileNameExtensionFilter filter = new FileNameExtensionFilter("text only","txt");
String dir  = "/users/blah/dirname";
File f[] = (new File(dir)).listFiles(filter);

最後の行はコンパイルエラーを示しています。

タイプFileのメソッドlistFiles（FileNameFilter）は、タイプFileNameExtensionFilterの引数には適用できません。

私は使用しようとしていますがlistFiles(FileFilter)、ではありませんlistFiles(FileNameFilter)。コンパイラがこれを認識しないのはなぜですか？

これは、を拡張する独自の拡張フィルターを作成した場合に機能しますFileFilter。自分FileNameExtensionFilterで書くよりも使いたいです。私は何が間違っているのですか？

このFileNameExtensionFilterクラスは、Swingをで使用することを目的としていJFileChooserます。

FilenameFilter代わりに使用してみてください。例えば：

File dir = new File("/users/blah/dirname");
File[] files = dir.listFiles(new FilenameFilter() {
    public boolean accept(File dir, String name) {
        return name.toLowerCase().endsWith(".txt");
    }
});

Java 8構文のワンライナー：

pdfTestDir.listFiles((dir, name) -> name.toLowerCase().endsWith(".txt"));

使用したい具体的な理由はありますFileNameExtensionFilterか？私はこれがうまくいくことを知っています。

private File[] getNewTextFiles() {
    return dir.listFiles(new FilenameFilter() {
        @Override
        public boolean accept(File dir, String name) {
            return name.toLowerCase().endsWith(".txt");
        }
    });
}

Duh .... listFilesにはjava.io.FileFilterが必要です。FileNameExtensionFilterは、javax.swing.filechooser.FileFilterを拡張します。java.io.FileFilterのインスタンスを実装することで問題を解決しました

編集：@cFreinerの答えに似たものを使用しました。独自の実装を作成する代わりにJavaAPIメソッドを使用しようとしたため、FileNameExtensionFilterを使用しようとしました。私のアプリケーションには多くのFileChoosersがあり、そのためにFileNameExtensionFiltersを使用しましたが、java.io.FileFilterも拡張していると誤って想定していました。

これは私がすぐに作成したもので、File.getName（）。endsWith（ "。xxxx"）;よりもはるかに優れたパフォーマンスを発揮するはずです。

import java.io.File;
import java.io.FileFilter;

public class ExtensionsFilter implements FileFilter 
{
    private char[][] extensions;

    private ExtensionsFilter(String[] extensions)
    {
        int length = extensions.length;
        this.extensions = new char[length][];
        for (String s : extensions)
        {
            this.extensions[--length] = s.toCharArray();
        }
    }

    @Override
    public boolean accept(File file)
    {
        char[] path = file.getPath().toCharArray();
        for (char[] extension : extensions)
        {
            if (extension.length > path.length)
            {
                continue;
            }
            int pStart = path.length - 1;
            int eStart = extension.length - 1;
            boolean success = true;
            for (int i = 0; i <= eStart; i++)
            {
                if ((path[pStart - i] | 0x20) != (extension[eStart - i] | 0x20))
                {
                    success = false;
                    break;
                }
            }
            if (success)
                return true;
        }
        return false;
    }
}

さまざまな画像形式の例を次に示します。

private static final ExtensionsFilter IMAGE_FILTER = 
      new ExtensionsFilter(new String[] {".png", ".jpg", ".bmp"});

Javaラムダ（Java 8以降で使用可能）を使用するjavax.swing.filechooser.FileFilterとjava.io.FileFilter、1行で簡単に変換できます。

javax.swing.filechooser.FileFilter swingFilter = new FileNameExtensionFilter("jpeg files", "jpeg");
java.io.FileFilter ioFilter = file -> swingFilter.accept(file);
new File("myDirectory").listFiles(ioFilter);