La chaîne PHP obtient l'extension de fichier

Cet article présente principalement la chaîne PHP pour obtenir l'extension de fichier. Les amis intéressés peuvent s'y référer. J'espère qu'il sera utile à tout le monde.

Le code est le suivant :

$filename="123.jpg";
//方法一：
function get_ext($file_name){
  return array_pop(explode('.', $file_name));
  //用.号对字符串进行分组
}
echo get_ext($filename);
//方法二：
$fileEx=strtolower(substr(strrchr($filename,"."),1));
echo $fileEx;
//方法三：
$extend=pathinfo($filename);
echo $extend['extension'];
//方法四：
$filetype=array("image/gif","image/jpeg");
//判断文件扩展名类型是否在该 数组中
if(in_array($_FILES['file']['type'],$filetype)){
//针对上传文件判断
  echo $_FILES['file']['type'];
}

Résumé : Ce qui précède est l'intégralité du contenu de cet article, j'espère qu'il sera utile à l'étude de chacun.

Recommandations associées :

Méthode php pour obtenir le nombre de lignes de fichier

Résumé de l'utilisation de la fonction de commande d'exécution externe php

Explication détaillée de l'exemple de code de formatage des données de l'arbre de classification illimité php

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!