Comment récupérer l'extension d'un fichier ?
Par Olivier HUET, vendredi 15 novembre 2002 à 01:11 :: Trucs et Astuces PHP :: #326 :: rss
Il existe de très nombreuses méthodes pour réaliser ce tour de force. On pourrait par exemple utiliser des expressions régulières. Mais il existe une solution triviale à ce problème pour peu que l'on cherche un peu dans le manuel.
En effet la fonction strrchr() nous permet de le faire en quelques lignes.
// Exemple de nom de fichier dont // on souhaite récupéré l'extension $filename='mon_fichier.gif'; // A ce stade $extension vaudra ".gif" $extension=strrchr($filename,'.'); // Comme le point ne vous intéresse pas // forcément on le supprime $extension=substr($extension,1) ;Cette technique est valable dans la très grande majorité des cas. Cependant si le nom de fichier ne comporte pas d'extension strrchr retournera FALSE. Il convient donc de tester la valeur de $extension avant tout autre traitement. Par exemple comme ceci.
if($extension!==FALSE) echo "L'extension du fichier $filename est $extension"; else echo "Le fichier $filename ne comporte pas d'extension";Voilà c'est aussi simple que cela !
strrchr







Commentaires
#1 - Le lundi 6 février 2006 à 22:38, par alex
#2 - Le samedi 11 février 2006 à 00:00, par JP
#3 - Le jeudi 16 mars 2006 à 12:09, par FenX
#4 - Le dimanche 7 mai 2006 à 10:00, par Benjy
#5 - Le mardi 30 mai 2006 à 13:52, par Elderion
#6 - Le mardi 30 mai 2006 à 17:34, par snarky
#7 - Le vendredi 15 décembre 2006 à 22:53, par laurent
#8 - Le mardi 3 juillet 2007 à 12:38, par aavan
#9 - Le samedi 17 novembre 2007 à 13:57, par lg
Ajouter un commentaire
Vous pouvez soumettre un commentaire en remplissant le formulaire ci-dessous. Toutes les contributions font l'objet d'une étape de modération par notre équipe.
Le code HTML dans le commentaire sera affiché comme du texte, les adresses internet seront converties automatiquement.