ホームページ > バックエンド開発 > PHPチュートリアル > PHPでファイル拡張子を取得する方法

PHPでファイル拡張子を取得する方法

WBOY
リリース: 2016-07-25 09:03:28
オリジナル
959 人が閲覧しました
  1. $pic = 'abc.3434.342.12123.123.exe';

  2. $pics =explode('.' , $pic);

  3. < p>/*配列の合計数を取得し、最後の数を取得します*/
  4. echo $num = count($pics);
  5. echo '
    '.$pics[$num-1];< ;/p>
  6. < ;p>/*配列を走査して最後の要素を取得*/
  7. foreach ($pics as $value) //2
  8. {
  9. $a = $value;
  10. }
  11. echo $a.'
    ';
  12. /*配列の最後の要素を直接出力*/
  13. echo end($pics);
  14. echo '
    ';
  15. /*配列の最後の要素を選択します。注意してくださいend() との違い*/
  16. //echo array_pop($pics);
  17. /*まず配列をキー値で逆順に並べ替えてから、最初の要素を選び出します*/
  18. krsort($pics);
  19. echo array_shift($pics);
  20. echo '
    ' ;

  21. /*pathinfo()関数の戻り値の拡張インデックスに相当する値*/

  22. $res = pathinfo ($pic); //5
  23. var_dump($res);
  24. echo $ res['extension'].'
    ';

  25. /*文字列インターセプト、下 3 桁*/

  26. echo substr($pic, -3, 3) ;
  27. ?>

コードをコピー


ソース:php.cn
このウェブサイトの声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。
最新の問題
人気のチュートリアル
詳細>
最新のダウンロード
詳細>
ウェブエフェクト
公式サイト
サイト素材
フロントエンドテンプレート