Comment vérifier l'extension d'un fichier sur Android

Question

Dans mon application, lorsque nous parcourons les fichiers de la carte SD, les fichiers sont des fichiers .text, .jpg et des fichiers vidéo mpeg4ie.

Je veux stocker chaque type de fichier dans un dossier particulier. Par exemple, les fichiers .text vont dans le dossier text. Lorsque je sélectionne le fichier, comment puis-je vérifier l'extension du fichier ?

Answer 1

Je récupère le nom du fichier sous la forme d'une chaîne, je le divise en un tableau avec "." comme délimiteur, puis je récupère le dernier indice du tableau, qui est l'extension du fichier. Par exemple :

public class main {
    public static void main(String[] args) {
        String filename = "image.jpg";
        String filenameArray[] = filename.split("\\.");
        String extension = filenameArray[filenameArray.length-1];
        System.out.println(extension);
    }
}

Quelles sorties :

jpg

Answer 2

public static String getFileExt(String fileName) {
    return fileName.substring(fileName.lastIndexOf(".") + 1, fileName.length());
}

Answer 3

Ou vous pouvez simplement le faire :

MimeTypeMap.getFileExtensionFromUrl(myfile.toURL().toString());

Note : cette méthode n'est cependant pas très fiable...

Answer 4

Vous pouvez utiliser FilenameUtils de Apache Commons :

String extension = FilenameUtils.getExtension(mFile.getName());

Answer 5

Vous pouvez également faire quelque chose comme le modèle ci-dessous et utiliser endsWith.

public void walkdir(File dir) {
    String txtPattern = ".txt";
    String jpgPattern = ".jpg";
    String mp3Pattern = ".mp3";

    File listFile[] = dir.listFiles();

    if (listFile != null) {
        for (int i = 0; i < listFile.length; i++) {

            if (listFile[i].isDirectory()) {
                walkdir(listFile[i]);
            }
            else {
                if (listFile[i].getName().endsWith(txtPattern)){
                    // Put in txt folder

                } else if (listFile[i].getName().endsWith(jpgPattern.toLowerCase())){
                    // Put in jpg folder

                } else if (istFile[i].getName().endsWith(mp3Pattern.toLowerCase())) {
                    // Put in mp3 folder
                }
            }
        }
    }
}

Désolé, je n'ai pas vérifié le travail, mais ça devrait le faire pour vous.