Comment obtenir une extension de fichier

Comment obtenir une extension de fichier ?

Analysez d'abord le problème :

Le formulaire d'extension de fichier est séparé par "." après le chemin du fichier, nous pouvons donc utiliser l'interception de chaîne de Python. Sélectionnez pour obtenir l'extension du fichier.

 def get_file_extension(filename):   
 arr = os.path.splitext(filename)
    return arr[len(arr) - 1]
    #return arr[len(arr) - 1].replace(".","") 可以将结果中的.去掉
 
 
print(get_file_extension("abc.jpg"))
#返回 .jpg
 
print(get_file_extension("2014.01.25.gif"))
#返回 .gif

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!